scientific article; zbMATH DE number 1200746
\(S\)-unit equationsCatalan's equationcurves of genus greater than onedecomposable form equationsdiscriminant form equationselliptic curvesFermat curveshyperelliptic curvesindex form equationsMordell-Weil theoremrational pointsresolution of Thue-Mahler equationssieve methodssuperelliptic equationsThue equations
Research exposition (monographs, survey articles) pertaining to number theory (11-02) Cubic and quartic Diophantine equations (11D25) Multiplicative and norm form equations (11D57) Diophantine inequalities (11D75) Elliptic curves over global fields (11G05) [https://duckduckgo.com/?q=MSC%2011G30%20%22Curves+of+arbitrary+genus+or+genus+%28%0D%0Ae+1%29+over+global+fields%22 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Linear forms in logarithms; Baker's method (11J86) Computer solution of Diophantine equations (11Y50) Rational points (14G05)
The constructive theory of Diophantine equations has undergone a very fast development in the last two decades. About ten years ago \textit{B. de Weger}'s book [Algorithms for Diophantine equations, Centre for Mathematics and Computer Science Amsterdam, CWI-Tract 65 (1989; Zbl 0687.10013)] collected the main techniques of the 1980's. The present book gives a useful, up to date and very interesting summary of the latest developments. Part 1 of the book starts with introducing classical techniques like local methods and Skolem's method. The theory of ternary quadratic forms is described, as well as continued fractions and the LLL basis reduction algorithm, which play an important role in the subsequent parts of the book. Part 2 deals with practical algorithms for the resolution of Thue equations according to the methods of \textit{N. Tzanakis} and \textit{B. de Weger} [J. Number Theory 31, 99--132 (1989; Zbl 0657.10014)] and \textit{Y. Bilu} and \textit{G. Hanrot} [J. Number Theory 60, 373--392 (1996; Zbl 0867.11017)]. The theory of integral points on elliptic curves is introduced following Mordell's book. The algorithm of \textit{N. Tzanakis} and \textit{B. de Weger} [Compos. Math. 84, 223--288 (1992; Zbl 0773.11023)] for the resolution of Thue-Mahler equations is detailed. The effective theory of \(S\)-unit equations is investigated along the lines first shown by \textit{K. Győry} [cf. e.g. Comment. Math. Helv. 54, 583--600 (1979; Zbl 0437.12004)] as well as practical methods for the resolution of them using reduction and sieve methods. (The book mentions but unfortunately does not include, \textit{K. Wildanger}'s enumeration algorithm [Ph. D. Thesis, Technische Univ. Berlin (1997)].) The theory of unit equations is then applied to triangularly connected decomposable form equations as introduced by \textit{K. Győry} [Ann. Acad. Sci. Fenn., Ser. A I 4, 341--355 (1979; Zbl 0419.10021)]. The algorithm of \textit{N. Smart} [Math. Comput. 64, 819--840 (1995; Zbl 0831.11027)] that enables one to solve explicitly such equations of low degree is also detailed. These ideas are then applied to discriminant form equations. The method of \textit{N. Smart} [Publ. Math. 43, 29--39 (1993; Zbl 0796.11047)] is described for the resolution of a discriminant form equation of Mahler-type in a quartic field. The algorithm of \textit{I. Gaál, A. Pethő} and \textit{M. Pohst} [J. Symb. Comput. 16, 563--584 (1993; Zbl 0808.11023); J. Number Theory 57, 90--104 (1996; Zbl 0853.11023)] is then detailed, which gives a much more efficient method for the resolution of discriminant form equations (or equivalently index form equations) in any quartic field. Some algorithms for the resolution of index form equations in certain fields of higher degree are also mentioned. Part 3 includes the theory of rational points on elliptic curves [cf. e.g. \textit{J. Cremona}, Algorithms for modular elliptic curves, Cambridge Univ. Press (1992; Zbl 0758.14042)]. The application of the Mordell-Weil theorem is shown with hints to the techniques developed by \textit{S. Siksek} [Rocky Mt. J. Math. 25, 1501--1538 (1995; Zbl 0852.11028)]. One of the central topics of this part is the theory of integral points on elliptic curves. The book includes a survey of the important tools and gives many references to recent achievements like \textit{S. David} [Mém. Soc. Math. Fr. 62 (1995; Zbl 0859.11048)] who gave the first lower bounds for linear forms in elliptic logarithms, \textit{R. Stroeker} and \textit{N. Tzanakis} [Acta Arith. 67, 177--196 (1994; Zbl 0805.11026)] and \textit{J. Gebel, A. Pethő} and \textit{H. Zimmer} [Acta Arith. 68, 171--192 (1994; Zbl 0816.11019)] who independently worked out efficient algorithms for solving elliptic equations in integers, and \textit{N. Smart} [Math. Proc. Camb. Philos. Soc. 116, 391--399 (1994; Zbl 0817.11031)] who considered \(S\)-integral points on elliptic curves. Finally, curves of genus larger than one are investigated, with emphasis on hyperelliptic and superelliptic equations, as well as Fermat curves and Catalan's equation. The book gives many interesting historical notes throughout and includes exercises that may introduce the reader to modern techniques. The book will surely become useful both for interested students and researchers of the area.
- scientific article; zbMATH DE number 4154522
- scientific article; zbMATH DE number 44151
- Algorithms for integral solutions of a class of Diophantine equations
- Algorithms for solution of systems of linear Diophantine equations in residue fields
- Algorithms for solution of two general classes of Diophantine equations
- Algorithms for solving systems of linear Diophantine equations in residue rings
- scientific article; zbMATH DE number 4212180
- Algorithms for solving systems of linear Diophantine equations in integer domains
- scientific article; zbMATH DE number 3908511
- An algorithm for solving systems of linear diophantine equations in naturals
- Iterative root approximation in \(p\)-adic numerical analysis
- An absolute bound for the size of Diophantine \(m\)-tuples
- Sums of \(S\)-units in recurrence sequences
- On the Diophantine equation \((x+1)^{k}+(x+2)^{k}+\ldots+(2x)^{k}=y^{n}\)
- Effective resolution of Diophantine equations of the form \(u_n+u_m=w p_1^{z_1} \dotsm p_s^{z_s}\)
- On the smallest number of terms of vanishing sums of units in number fields
- Good reduction of elliptic curves over imaginary quadratic fields
- Non-monogeneity in a family of sextic fields
- A complete Diophantine characterization of the rational torsion of an elliptic curve
- Finitely generated sets of fuzzy values: if ``and is exact, then ``or is almost always approximate, and vice versa -- a theorem
- Powers in arithmetic progressions
- A Lucas-Lehmer approach to generalised Lebesgue-Ramanujan-Nagell equations
- On data compression and recovery for sequences using constraints on the spectrum range
- Quartic polynomials with a given discriminant
- Odd values of the Ramanujan tau function
- On the extensions of the Diophantine triples in Gaussian integers
- On a variant of Pillai's problem involving \(S\)-units and Fibonacci numbers
- Finding all \(S\)-Diophantine quadruples for a fixed set of primes \(S\)
- On the size of sets in which xy + 4 is always a square
- Class field theory, Diophantine analysis and the asymptotic Fermat's last theorem
- Prime powers in sums of terms of binary recurrence sequences
- Shifted powers in Lucas-Lehmer sequences
- On the parametrization of solutions of quadratic equations
- Effective solution of linear Diophantine equation systems with an application in chemistry
- On arithmetic progressions in Lucas sequences. II
- Cullen numbers in sums of terms of recurrence sequence
- Additive Diophantine equations with binary recurrences, \(\mathcal{S}\)-units and several factorials
- On the representation of unity by binary cubic forms
- Integral Points on Elliptic Curves Defined by Simplest Cubic Fields
- Superelliptic equations arising from sums of consecutive powers
- Three consecutive almost squares
- Discriminant equations in Diophantine number theory
- Computing integral points on hyperelliptic curves using quadratic Chabauty
- Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass Tubes and Tori of Roots
- \(D(-1)\)-triples of the form \(\{1,b,c\}\) in the ring \(\mathbb Z[\sqrt{-t}]\), \(t>0\)
- On a family of Thue equations of degree 16
- On the generalized Fermat equation over totally real fields
- Quadratic Chabauty: p-adic heights and integral points on hyperelliptic curves
- The Diophantine Equation 𝑥⁴+2𝑦⁴=𝑧⁴+4𝑤⁴
- Formes linéaires de logarithmes effectives sur les variétés abéliennes
- scientific article; zbMATH DE number 4152461 (Why is no real title available?)
- scientific article; zbMATH DE number 4154522 (Why is no real title available?)
- Unimodular integer circulants
- scientific article; zbMATH DE number 5524164 (Why is no real title available?)
- scientific article; zbMATH DE number 3908511 (Why is no real title available?)
- scientific article; zbMATH DE number 44151 (Why is no real title available?)
- scientific article; zbMATH DE number 1127888 (Why is no real title available?)
- Solving quadratic equations using reduced unimodular quadratic forms
- Efficient solution of rational conics
- Computing the Rank of Elliptic Curves over Number Fields
- scientific article; zbMATH DE number 849903 (Why is no real title available?)
- A solution to weighted sums of squares as a square
- \(\mathbb{Q}(\sqrt{-3})\)-integral points on a Mordell curve
- Differences between perfect powers: The Lebesgue-Nagell equation
- On cubic polynomials with a given discriminant
- On a family of cubic Thue equations involving Fibonacci and Lucas numbers
- An application of the modular method and the symplectic argument to a Lebesgue-Nagell equation
- scientific article; zbMATH DE number 7303939 (Why is no real title available?)
- LLL: a tool for effective Diophantine approximation
- Selected applications of LLL in number theory
- On the Lucas sequence equation \(\frac{1}{U_n}=\sum_{k=1}^{\infty} \frac{U_{k-1}}{x^k} \)
- Effective results for linear equations in members of two recurrence sequences
- A Remark on Prime Divisors of Lengths of Sides of Heron Triangles
- On the Diophantine equation \(x^2= y^p+2^kz^p\)
- scientific article; zbMATH DE number 3337762 (Why is no real title available?)
- Computing all elliptic curves over an arbitrary number field with prescribed primes of bad reduction
- scientific article; zbMATH DE number 4185700 (Why is no real title available?)
- On a cubic family of Thue equations involving Fibonacci numbers and powers of two
- On a problem of Erdős and Graham
- On the equation \(1^{k}+2^{k}+\cdots +x^{k}=y^{n}\) for fixed \(x\)
- Asymptotic Fermat for signatures (p,p,2)$(p,p,2)$ and (p,p,3)$(p,p,3)$ over totally real fields
- Computational Number Theory, Past, Present, and Future
- Solving 𝑆-unit, Mordell, Thue, Thue–Mahler and Generalized Ramanujan–Nagell Equations via the Shimura–Taniyama Conjecture
- On a variant of Pillai’s problem with binary recurrences and S-units
- On a variant of Pillai's problem with factorials and S-units
- On the Diophantine equation 𝑈_{𝑛}-𝑏^{𝑚}=𝑐
- Sums of Fibonacci numbers that are perfect powers
- Solutions to a Pillai-type equation involving tribonacci numbers and \(S\)-units
- Improved bounds for some \(S\)-unit equations
- Effective \(S\)-unit equations beyond three terms: Newman's conjecture
- A robust implementation for solving the \(S\)-unit equation and several applications
- On products of prime powers in linear recurrence sequences
- Common values of linear recurrences related to Shank's simplest cubics
- On the Diophantine equations of the form \(\lambda_1 U_{n_1} + \lambda_2 U_{n_2} +\cdots +\lambda_k U_{n_k} = wp_1^{z_1}p_2^{z_2} \cdots p_s^{z_s}\)
- On the Diophantine equation 2s + p^k = m^2 with a Fermat prime p
- Two-torsion subgroups of some modular Jacobians
- Isotropic vectors over global fields
- On differences of perfect powers and prime powers
- Three-torsion subgroups and wild conductor exponents of plane quartics
- Three-torsion subgroups and wild conductors of genus 3 hyperelliptic curves
- On the largest value of the solutions of Erdős' last equation
- Multiplicative independence in the sequence of k-generalized Lucas numbers
- On the Diophantine equation F_n^x + F_k^x = F_m^y
- Efficient resolution of Thue-Mahler equations
- On the resolution of the Diophantine equation U_n + U_m = x^q
- Multivariate Hensel lemma for ultrametric fields
- More on consecutive multiplicatively dependent triples of integers
- Rational numbers whose sum and product are both integers
- k-generalized Fibonacci numbers that are palindromic concatenations of two distinct repdigits
- Additive Diophantine equations involving S-units, factorials and ternary recurrences with repeated root
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210105)
