Department of Mathematics and Statistics at the Faculty of Science
University of Calgary
James P. Jones
- Professor Emeritus - Mathematics & Statistics
Research Interests
Publications
Book
- Jones, James P. . Diophantine representation of non-{F}ibonacci numbers Kluwer Acad. Publ., 1993. 387-392.
- Jones, James P. and Matijasevich, Y. V.. Basis for the polynomial time computable functions de Gruyter, 1990. 255-270.
- Jones, James P. . Diophantine representation of {F}ibonacci numbers over natural numbers Kluwer Acad. Publ., 1990. 197-201.
- Jones, James P. . Basis for the {K}alm\'ar elementary functions 265. Kluwer Acad. Publ., 1989. 435-444.
Journal Paper
- Jones, James P. . Representation of solutions of Pell equations using Lucas sequences 30. 2003. 75-86.
- Jones, James P. and Kiss, P . Representation of integers as terms of a linear recurrence with maximal index 25. 1998. 21-37 (1999).
- Jones, James P. and Kiss, P . Some new identities and congruences for {L}ucas sequences 18.1 1998. 39-47.
- Jones, James P. , Levitz, Hilbert and Nichols, Warren D.. On series of ordinals and combinatorics 43.1 1997. 121-133.
- Jones, James P. and Fraenkel, A. S.. Complexities of winning strategies in {D}iophantine games 11.4 1995. 435-455.
- Jones, James P. and Kiss, P . An asymptotic formula concerning {L}ehmer numbers 42.3-4 1993. 199-213.
- Jones, James P. and Kiss, P . On points whose coordinates are terms of a linear recurrence 31.3 1993. 239-245.
- Jones, James P. and Kiss, P. . Some {D}iophantine approximation results concerning linear recurrences 42.5 1992. 583-591.
- Phong, Bui and Jones, James P. . Quadratic residues and related problems 13. 1992. 149-155.
- Jones, James P. and Kiss, P. . Exponential {D}iophantine representation of binomial coefficients, factorials and {L}ucas sequences 12. 1992. 53-65 (1993).
- Jones, James P. and Kiss, P . Linear recursive sequences and power series 41.3-4 1992. 295-306.
- Tsangaris, P. G. and Jones, James P. . An old theorem on the {GCD} and its application to primes 30.3 1992. 194-198.
- Jones, James P. . Computational complexity of computing winning strategies in polynomial games 8.1 1991. 1-5.
- Jones, James P. and Matijasevi{\v{c}}, Y. V.. Proof of recursive unsolvability of {H}ilbert's tenth problem 98.8 1991. 689-709.
- Jones, James P. , Levitz, H. and Wilkie, A. J.. Classification of quantifier prefixes over exponential {D}iophantine equations 32.5 1986. 399-406.
- Jones, James P. and Matijasevi{\v{c}}, Y. V.. Register machine proof of the theorem on exponential {D}iophantine representation of enumerable sets 49.3 1984. 818-829.
- Jones, James P. and Shepherdson, John C.. Variants of {R}obinson's essentially undecidable theory {${\rm R}$} 23.1-2 1983. 61-64.
- Jones, James P. and Matijasevi{\v{c}}, Ju. V.. Exponential {D}iophantine representation of recursively enumerable sets 107. 1982. 159-177.
- Dyson, Verena H., Jones, James P. and Shepherdson, John C.. Some {D}iophantine forms of {G}\"odel's theorem 22.1-2 1982. 51-60.
- Jones, James P. and Matijasevi{\v{c}}, Ju. V.. A new representation for the symmetric binomial coefficient and its applications 6.1 1982. 81-97.
- Jones, James P. . Some undecidable determined games 11.2 1982. 63-70.
- Jones, James P. . Universal {D}iophantine equation 47.3 1982. 549-571.
- Jones, James P. . Classification of quantifier prefixes over {D}iophantine equations 27.5 1981. 403-410.
- Jones, James P. . Undecidable {D}iophantine equations 3.2 1980. 859-862.
- Jones, James P. . Diophantine representation of {M}ersenne and {F}ermat primes 35.3 1979. 209-221.
- Jones, James P. . Three universal representations of recursively enumerable sets 43.2 1978. 335-351.
- Jones, James P. , Sato, Daihachiro , Wada, Hideo and Wiens, Douglas . Diophantine representation of the set of prime numbers 83.6 1976. 449-464.
- Jones, James P. . Diophantine representation of the {L}ucas numbers 14.2 1976. 134.
- Jones, James P. . Formula for the {$N$}th prime number 18.3 1975. 433-434.
- Jones, James P. . Diophantine representation of the {F}ibonacci numbers 13. 1975. 84-88.
- Jones, James P. . Recursive undecidability-an exposition 81. 1974. 724-738.
- Jones, James P. and Toporowski, S. . Irrational numbers 80. 1973. 423-424.
- Jones, James P. . Independent recursive axiomatizability in arithmetic 23. 1969. 107-113.
- Jones, James P. . Effectively retractable theories and degrees of undecidability 34. 1969. 597-604.
Powered by UNITIS. More features.