Two conjectures on the arithmetic in ℝ and ℂ

Mathematical Logic Quarterly

Volumn 56, Issue 2, 2010, Pages 175-184

  Tyszka, Apoloniusz ^a  

^a UNIVERSITY OF AGRICULTURE IN KRAKOW   (Poland)

Author keywords

Solution with minimal norm; System of linear equations; System of polynomial equations

Indexed keywords

EID: 77953346284     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200910004     Document Type: Article

References (23)

1. S. Basu, R. Pollack, and M. F. Roy, Algorithms in Real Algebraic Geometry, Second Edition (Springer-Verlag, 2006).
2. L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and Real Computation (Springer-Verlag, 1998).
3. I. Borosh, M. Flahive, D. Rubin, and B. Treybig, A sharp bound for solutions of linear Diophantine equations. Proc. Amer. Math. Soc. 105, 844 - 846 (1989).
4. M. Davis, Hilbert's tenth problem is unsolvable. Amer. Math. Monthly 80, 233 - 269 (1973).
5. M. Davis, Computability and Unsolvability (Dover Publications, 1982).
6. L. E. Dickson, History of the Theory of Numbers, vol. II: Diophantine Analysis (Chelsea Publishing Co., 1966). Reprint of the 1920 ed. published by the Carnegie Institution of Washington.
7. G. Faltings, Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Invent. Math. 73, 349 - 366 (1983). Erratum ibid. 75, 381 (1984).
8. D. Yu. Grigor'ev and N. N. Vorobjov, Jr., Solving systems of polynomial inequalities in subexponential time. J. Symbolic Comput. 5, 37 - 64 (1988).
9. J. P. Jones, D. Sato, H. Wada, and D. Wiens, Diophantine representation of the set of prime numbers. Amer. Math. Monthly 83, 449 - 464 (1976).
10. J. P. Jones and Yu. V. Matijasevič, Proof of recursive unsolvability of Hilbert's tenth problem. Amer. Math. Monthly 98, 689 - 709 (1991).
11. A. Kozłowski and A. Tyszka, A Conjecture of Apoloniusz Tyszka on the Addition of Rational Numbers. http://demonstrations.wolfram.com/AConjectureOfApoloniuszTyszkaOnTheAdditionOfRationalNumbers/, 2008.
12. S. Lang, Number theory III: Diophantine geometry. Encyclopaedia of Mathematical Sciences 60 (Springer-Verlag, 1991).
13. Yu. V. Matijasevič, The Diophantineness of enumerable sets. Soviet Math. Dokl. 11, 354 - 358 (1970).
14. Yu. V. Matijasevič, Hilbert's Tenth Problem (MIT Press, 1993).
15. B. Poonen, Characterizing integers among rational numbers with a universal-existential formula. Amer. J. Math 131, 675 - 682 (2009).
16. G. Sansone and J.W. S. Cassels, Sur le probl'eme de M. Werner Mnich. Acta Arith. 7, 187 - 190 (1961/1962).
17. Th. Skolem, Diophantische Gleichungen (Julius Springer, 1938).
18. Th. Skolem, Unlösbarkeit von Gleichungen, deren entsprechende Kongruenz für jeden Modul lösbar ist. Avh. Norske Vid. Akad. Oslo. I., no. 4 (1942).
19. A. Tyszka, Bounds of some real (complex) solution of a finite system of polynomial equations with rational coefficients. http://arxiv.org/abs/math/0702558
20. A. Tyszka, A system of equations. SIAM Problems and Solutions (electronic only), Problem 07-006, http://www.siam.org/journals/problems/downloadfiles/07-006.pdf (2007).
21. A. Tyszka, Some conjectures on addition and multiplication of complex (real) numbers. Int. Math. Forum 4, 521 - 530 (2009).
22. A. Tyszka, A hypothetical upper bound for the solutions of a Diophantine equation with a finite number of solutions. http://arxiv.org/abs/0901.2093.
23. N. N. Vorobjov, Jr., Estimates of real roots of a system of algebraic equations. J. Sov. Math. 34, 1754 - 1762 (1986).