Matches in SemOpenAlex for { <https://semopenalex.org/work/W4321347226> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4321347226 endingPage "279" @default.
- W4321347226 startingPage "255" @default.
- W4321347226 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)." @default.
- W4321347226 created "2023-02-20" @default.
- W4321347226 creator A5054103364 @default.
- W4321347226 date "2022-12-01" @default.
- W4321347226 modified "2023-10-12" @default.
- W4321347226 title "Prime Representing Polynomial with 10 Unknowns" @default.
- W4321347226 cites W2091485072 @default.
- W4321347226 cites W2295728669 @default.
- W4321347226 cites W2326165709 @default.
- W4321347226 cites W2592247277 @default.
- W4321347226 cites W2770430340 @default.
- W4321347226 cites W2887880196 @default.
- W4321347226 cites W4313308222 @default.
- W4321347226 cites W4321347688 @default.
- W4321347226 doi "https://doi.org/10.2478/forma-2022-0021" @default.
- W4321347226 hasPublicationYear "2022" @default.
- W4321347226 type Work @default.
- W4321347226 citedByCount "1" @default.
- W4321347226 countsByYear W43213472262023 @default.
- W4321347226 crossrefType "journal-article" @default.
- W4321347226 hasAuthorship W4321347226A5054103364 @default.
- W4321347226 hasBestOaLocation W43213472261 @default.
- W4321347226 hasConcept C101044782 @default.
- W4321347226 hasConcept C101525915 @default.
- W4321347226 hasConcept C11252640 @default.
- W4321347226 hasConcept C114614502 @default.
- W4321347226 hasConcept C118615104 @default.
- W4321347226 hasConcept C126352355 @default.
- W4321347226 hasConcept C134306372 @default.
- W4321347226 hasConcept C163635466 @default.
- W4321347226 hasConcept C174072685 @default.
- W4321347226 hasConcept C182365436 @default.
- W4321347226 hasConcept C184992742 @default.
- W4321347226 hasConcept C206530611 @default.
- W4321347226 hasConcept C33923547 @default.
- W4321347226 hasConcept C45025165 @default.
- W4321347226 hasConcept C90119067 @default.
- W4321347226 hasConcept C97395012 @default.
- W4321347226 hasConcept C9991821 @default.
- W4321347226 hasConceptScore W4321347226C101044782 @default.
- W4321347226 hasConceptScore W4321347226C101525915 @default.
- W4321347226 hasConceptScore W4321347226C11252640 @default.
- W4321347226 hasConceptScore W4321347226C114614502 @default.
- W4321347226 hasConceptScore W4321347226C118615104 @default.
- W4321347226 hasConceptScore W4321347226C126352355 @default.
- W4321347226 hasConceptScore W4321347226C134306372 @default.
- W4321347226 hasConceptScore W4321347226C163635466 @default.
- W4321347226 hasConceptScore W4321347226C174072685 @default.
- W4321347226 hasConceptScore W4321347226C182365436 @default.
- W4321347226 hasConceptScore W4321347226C184992742 @default.
- W4321347226 hasConceptScore W4321347226C206530611 @default.
- W4321347226 hasConceptScore W4321347226C33923547 @default.
- W4321347226 hasConceptScore W4321347226C45025165 @default.
- W4321347226 hasConceptScore W4321347226C90119067 @default.
- W4321347226 hasConceptScore W4321347226C97395012 @default.
- W4321347226 hasConceptScore W4321347226C9991821 @default.
- W4321347226 hasIssue "4" @default.
- W4321347226 hasLocation W43213472261 @default.
- W4321347226 hasLocation W43213472262 @default.
- W4321347226 hasOpenAccess W4321347226 @default.
- W4321347226 hasPrimaryLocation W43213472261 @default.
- W4321347226 hasRelatedWork W1543706171 @default.
- W4321347226 hasRelatedWork W1576380577 @default.
- W4321347226 hasRelatedWork W1973507931 @default.
- W4321347226 hasRelatedWork W2084988136 @default.
- W4321347226 hasRelatedWork W2140446896 @default.
- W4321347226 hasRelatedWork W2293042482 @default.
- W4321347226 hasRelatedWork W2519172631 @default.
- W4321347226 hasRelatedWork W3185830269 @default.
- W4321347226 hasRelatedWork W4321347226 @default.
- W4321347226 hasRelatedWork W103050704 @default.
- W4321347226 hasVolume "30" @default.
- W4321347226 isParatext "false" @default.
- W4321347226 isRetracted "false" @default.
- W4321347226 workType "article" @default.