Results 1  10
of
42
Existence of primitive divisors of Lucas and Lehmer numbers
 J. Reine Angew. Math
, 2001
"... We prove that for n ? 30, every nth Lucas and Lehmer number has a primitive divisor. This allows us to list all Lucas and Lehmer numbers without a primitive divisor. Whether the mathematicians like it or not, the computer is here to stay. ..."
Abstract

Cited by 61 (0 self)
 Add to MetaCart
We prove that for n ? 30, every nth Lucas and Lehmer number has a primitive divisor. This allows us to list all Lucas and Lehmer numbers without a primitive divisor. Whether the mathematicians like it or not, the computer is here to stay.
On the practical solution of the Thue equation
 INSTITUTE OF MATHEMATICS, UNIVERSITY OF DEBRECEN
, 1989
"... This paper gives in detail a practical general method for the explicit determination of all solutions of any Thue equation. It uses a combination of Baker’s theory of linear forms in logarithms and recent computational diophantine approximation techniques. An elaborated example is presented. ..."
Abstract

Cited by 57 (16 self)
 Add to MetaCart
(Show Context)
This paper gives in detail a practical general method for the explicit determination of all solutions of any Thue equation. It uses a combination of Baker’s theory of linear forms in logarithms and recent computational diophantine approximation techniques. An elaborated example is presented.
A family of quartic Thue inequalities
 Acta Arith
, 2004
"... In this paper we prove that the only primitive solutions of the 1). 1 ..."
Abstract

Cited by 15 (10 self)
 Add to MetaCart
In this paper we prove that the only primitive solutions of the 1). 1
A parametric family of quartic Thue equations
, 2002
"... In this paper we prove that the Diophantine equation where c 3 is an integer, has only the trivial solutions (1, 0), (0, 1). ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
In this paper we prove that the Diophantine equation where c 3 is an integer, has only the trivial solutions (1, 0), (0, 1).
AUTOMATIC SOLUTION OF FAMILIES OF THUE EQUATIONS AND AN EXAMPLE OF DEGREE 8
 TO APPEAR IN JOURNAL OF SYMBOLIC COMPUTATION
"... We describe a procedure implemented in Mathematica r ○ to solve parametrized families of Thue equations Fn(X, Y) = ±1, where Fn is a binary irreducible form in X and Y of degree d ≥ 3 whose coefficients are polynomials in the parameter n. This procedure uses Baker’s method and asymptotic expansio ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
We describe a procedure implemented in Mathematica r ○ to solve parametrized families of Thue equations Fn(X, Y) = ±1, where Fn is a binary irreducible form in X and Y of degree d ≥ 3 whose coefficients are polynomials in the parameter n. This procedure uses Baker’s method and asymptotic expansions of the quantities involved with exact remainder terms. As an example, we solve a family of degree 8.
On the representation of unity by binary cubic forms
 Trans. Amer. Math. Soc
"... Abstract. If F (x, y) is a binary cubic form with integer coefficients such that F (x, 1) has at least two distinct complex roots, then the equation F (x, y) =1 possesses at most ten solutions in integers x and y, nineifF has a nontrivial automorphism group. If, further, F (x, y) is reducible over Z ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
(Show Context)
Abstract. If F (x, y) is a binary cubic form with integer coefficients such that F (x, 1) has at least two distinct complex roots, then the equation F (x, y) =1 possesses at most ten solutions in integers x and y, nineifF has a nontrivial automorphism group. If, further, F (x, y) is reducible over Z[x, y], then this equation has at most 2 solutions, unless F (x, y) is equivalent under GL2(Z)action to either x(x 2 − xy − y 2)orx(x 2 − 2y 2). The proofs of these results rely upon the method of ThueSiegel as refined by Evertse, together with lower bounds for linear forms in logarithms of algebraic numbers and techniques from computational Diophantine approximation. Along the way, we completely solve all Thue equations F (x, y) =1forF cubic and irreducible of positive discriminant DF ≤ 10 6. As corollaries, we obtain bounds for the number of solutions to more general cubic Thue equations of the form F (x, y) =m and to Mordell’s equation y 2 = x 3 + k, wherem and k are nonzero integers. 1.
Algebraic Geometry Over Four Rings and the Frontier to Tractability
 CONTEMPORARY MATHEMATICS
"... We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic set (b) the height of the zerodimensional part of an algeb ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic set (b) the height of the zerodimensional part of an algebraic set over C (c) the number of connected components of a semialgebraic set We also present some results which significantly lower the complexity of deciding the emptiness of hypersurface intersections over C and Q, given the truth of the Generalized Riemann Hypothesis. Furthermore, we state some recent progress on the decidability of the prefixes 989 and 9989, quantified over the positive integers. As an application, we conclude with a result connecting Hilbert's Tenth Problem in three variables and height bounds for integral points on algebraic curves. This paper
THOMAS’ FAMILY OF THUE EQUATIONS OVER IMAGINARY QUADRATIC FIELDS
"... We consider the family of relative Thue equations = ; where the parameter t, the root of unity and the solutions x and y are integers in the same imaginary quadratic number eld. We prove that there are only trivial solutions (with jxj, jyj 1), if jtj is large enough or if the discriminan ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
We consider the family of relative Thue equations = ; where the parameter t, the root of unity and the solutions x and y are integers in the same imaginary quadratic number eld. We prove that there are only trivial solutions (with jxj, jyj 1), if jtj is large enough or if the discriminant of the quadratic number eld is large enough or if Re t = 1=2 (there are a few more solutions in this case which are explicitly listed). In the case Re t = 1=2, an algebraic method is used, in the general case, Baker's method yields the result.
On a Conjecture of E. Thomas concerning parametrized Thue Equations
, 2000
"... this paper, we shall prove Thomas' conjecture for a very large class of polynomials p i , subject only to certain technical conditions on the degrees of the p i . After the presentation of the results in this section we shall, in Section 2, give some comments on the technical hypothesis occurin ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
this paper, we shall prove Thomas' conjecture for a very large class of polynomials p i , subject only to certain technical conditions on the degrees of the p i . After the presentation of the results in this section we shall, in Section 2, give some comments on the technical hypothesis occuring in our Theorems 1 and 2 and we will discuss its relation to Thomas' technical hypothesis in the case n = 3. In Sections 3 and 4 we collect and adapt standard material for the solution of parametrized Thue equations. In Section 5 we will present the main idea to exclude \small" solutions, which will be carried out in detail in Sections 6 and 7. In Section 8 we will exclude \large" solutions using Baker's method via application of a result of Bugeaud and Gy}ory [5]. Finally we will prove a weaker formulation of the technical hypothesis in Section 9. The main result of the present paper is
THE METHOD OF THUESIEGEL FOR BINARY QUARTIC FORMS
, 906
"... Abstract. We will use ThueSiegel method, based on Padé approximation via hypergeometric functions, to give upper bounds for the number of integral solutions to the equation F(x, y)  = 1 as well as the inequalities F(x, y)  ≤ h, for a certain family of irreducible quartic binary forms. 1. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We will use ThueSiegel method, based on Padé approximation via hypergeometric functions, to give upper bounds for the number of integral solutions to the equation F(x, y)  = 1 as well as the inequalities F(x, y)  ≤ h, for a certain family of irreducible quartic binary forms. 1.