• Home
  • Search
  • Prime Representing Polynomial with 10 Unknowns
  • Cite Icon3
  • https://doi.org/10.2478/forma-2022-0021Copy DOI Icon

Prime Representing Polynomial with 10 Unknowns

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Summary In this article we formalize in Mizar [1], [2] the final step of our attempt to formally construct a prime representing polynomial with 10 variables proposed by Yuri Matiyasevich in [4]. The first part of the article includes many auxiliary lemmas related to multivariate polynomials. We start from the properties of monomials, among them their evaluation as well as the power function on polynomials to define the substitution for multivariate polynomials. For simplicity, we assume that a polynomial and substituted ones as i-th variable have the same number of variables. Then we study the number of variables that are used in given multivariate polynomials. By the used variable we mean a variable that is raised at least once to a non-zero power. We consider both adding unused variables and eliminating them. The second part of the paper deals with the construction of the polynomial proposed by Yuri Matiyasevich. First, we introduce a diophantine polynomial over 4 variables that has roots in integers if and only if indicated variable is the square of a natural number, and another two is the square of an odd natural number. We modify the polynomial by adding two variables in such a way that the root additionally requires the divisibility of these added variables. Then we modify again the polynomial by adding two variables to also guarantee the nonnegativity condition of one of these variables. Finally, we combine the prime diophantine representation proved in [7] with the obtained polynomial constructing a prime representing polynomial with 10 variables. This work has been partially presented in [8] with the obtained polynomial constructing a prime representing polynomial with 10 variables in Theorem (85).

Similar Papers
  • Research Article

Explorations in college algebra, by Linda Almgren Kime and Judith Clark. Pp. 649. £35.50. 1998. ISBN 0 471 10698 4 (Wiley).

  • Jul 01, 1999
  • The Mathematical Gazette
  • Ll G Chambers
  • Conference Article
  • Citations75

The EZ GCD algorithm

  • Jan 01, 1973
  • Joel Moses +1
  • PDF
  • Research Article

Commutative semigroups whose endomorphisms are power functions

  • Mar 24, 2021
  • Semigroup Forum
  • Ryszard Mazurek
  • Research Article
  • Citations74

Deformation theory and the computation of zeta functions

  • Apr 14, 2004
  • Proceedings of the London Mathematical Society
  • Alan G B Lauder
  • Research Article
  • Citations4

Computing the multilinear factors of lacunary polynomials without heights

  • Apr 30, 2020
  • Journal of Symbolic Computation
  • Arkadev Chattopadhyay +4
  • PDF
  • Research Article
  • Citations34

A new quantum-safe multivariate polynomial public key digital signature algorithm

  • Aug 01, 2022
  • Scientific Reports
  • Randy Kuang +2
  • Conference Article
  • Citations13

On the statistical distribution of prime numbers: A view from where the distribution of prime numbers are not erratic

  • Jan 01, 2017
  • AIP conference proceedings
  • Sandor Kristyan
  • Research Article
  • Citations5

Asymptotic formula for sum of moment mean deviation for order statistics from uniform distribution

  • Apr 01, 2019
  • Discrete Mathematics, Algorithms and Applications
  • Rafał Kapelko
  • Research Article
  • Citations13

FRACTAL DIMENSION OF MULTIVARIATE α-FRACTAL FUNCTIONS AND APPROXIMATION ASPECTS

  • Aug 04, 2022
  • Fractals
  • Megha Pandey +2
  • Research Article
  • Citations29

On weakly group-theoretical non-degenerate braided fusion categories

  • Feb 02, 2015
  • Journal of Noncommutative Geometry
  • Sonia Natale
  • PDF
  • Research Article
  • Citations7

Some Results on Number Theory and Differential Equations

  • Nov 01, 2021
  • Mathematics and Statistics
  • B M Cerna Maguiña +2
  • Research Article
  • Citations18

The multivariate Charlier polynomials as matrix elements of the Euclidean group representation on oscillator states

  • May 13, 2014
  • Journal of Physics A: Mathematical and Theoretical
  • Vincent X Genest +3
  • Research Article
  • Citations14

Vandermonde type determinants and blossoming

  • Jun 01, 1998
  • Advances in Computational Mathematics
  • Marie-Laurence Mazure
  • Research Article
  • Citations3

A new approach to the symbolic factorization of multivariate polynomials

  • Jan 01, 1976
  • Artificial Intelligence
  • Billy G Claybrook
  • Research Article

Solution of a seepage problem in a nonhomogeneous medium by the method of p-analytical functions

  • Oct 01, 1993
  • Journal of Soviet Mathematics
  • A A Kapshivyi +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.