Results 1 to 10 of about 20,084 (157)
On the Relationship Between Matiyasevich's and Smorynski's Theorems [PDF]
Scientific Annals of Computer Science, 2019 Let R be a non-zero subring of Q with or without 1. We assume that for every positive integer n there exists a computable surjection from N onto Rn. Every R \in {Z,Q} satisfi es these conditions.
Agnieszka Peszek, Apoloniusz Tyszka
doaj +4 more sources
On the System of Diophantine Equations x2-6y2=-5 and x=az2-b [PDF]
The Scientific World Journal, 2014 Mignotte and Pethö used the Siegel-Baker method to find all the integral solutions (x,y,z) of the system of Diophantine equations x2-6y2=-5 and x=2z2-1. In this paper, we extend this result and put forward a generalized method which can completely solve ...
Silan Zhang, Jianhua Chen, Hao Hu
doaj +2 more sources
Diophantine equations in semiprimes
Discrete Analysis, 2019 Diophantine equations in semiprimes, Discrete Analysis 2019:17, 21 pp. This paper considers the problem of finding integer solutions to integral polynomial equations of the form $$f(x_1,\dots,x_n)=0\qquad\qquad (*)$$ with the condition that each ...
Shuntaro Yamagishi
doaj +2 more sources
Open Computer Science, 2018 We define a computable function f from positive integers to positive integers. We formulate a hypothesis which states that if a system S of equations of the forms xi· xj = xk and xi + 1 = xi has only finitely many solutions in non-negative integers x1, .
Tyszka Apoloniusz
doaj +2 more sources
Diophantine imaging reveals the broken symmetry of sums of integer cubes [PDF]
Scientific ReportsWe introduced a novel method for visualizing large diophantine datasets and in particular found that mapping the known integer triplets $$\{a,b,c\}$$ { a , b , c } solving either equations of the type $$a^3+b^3+c^3=d$$ a 3 + b 3 + c 3 = d or $$a^3+b^3+c ...
Eldar Sultanow +2 more
doaj +2 more sources
Research and development of the mathematic models of cryptosystems based on the universal Diophantine language [PDF]
SHS Web of Conferences, 2022 This paper shows the objective necessity of improving the information security systems under the development of information and telecommunication technologies.
Osipyan V.O., Litvinov K.I., Zhuck A.S.
doaj +1 more source
From Diophantian Equations to Matrix Equations (III) - Other Diophantian Quadratic Equations and Diophantian Equations of Higher Degree [PDF]
Educaţia 21, 2023 In this paper, we propose to continue the steps started in the first two papers with the same generic title and symbolically denoted by (I) and (II), namely, the presentation of ways of achieving a systemic vision on a certain mathematical notional ...
Teodor Dumitru Vălcan
doaj +1 more source
Hilbert's Tenth Problem in Coq (Extended Version) [PDF]
Logical Methods in Computer Science, 2022 We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory.
Dominique Larchey-Wendling +1 more
doaj +1 more source
Solution to a pair of linear, two-variable, Diophantine equations with coprime coefficients from balancing and Lucas-balancing numbers [PDF]
Notes on Number Theory and Discrete Mathematics, 2023 Let Bₙ and Cₙ be the n-th balancing and Lucas-balancing numbers, respectively. We consider the Diophantine equations ax + by = (1/2)(a - 1)(b - 1) and 1 + ax + by = (1/2)(a - 1)(b - 1) for (a,b) ∈ {(Bₙ,Bₙ₊₁), (B₂ₙ₋₁,B₂ₙ₊₁), (Bₙ,Cₙ), (Cₙ,Cₙ₊₁)} and ...
R. K. Davala
doaj +1 more source
Diophantine problems in solvable groups [PDF]
Bulletin of Mathematical Sciences, 2020 We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc.), which satisfy some natural “non-commutativity” conditions.
Albert Garreta +2 more
doaj +1 more source