| Publication | Date of Publication | Type |
|---|
Formalizing zeta and L-functions in Lean
Annals of Formalized Mathematics. AFM | 2026-01-28 | Paper |
Formalizing zeta and L-functions in Lean
Annals of Formalized Mathematics. AFM | 2025-07-15 | Paper |
Minimization of hypersurfaces
Mathematics of Computation | 2024-06-27 | Paper |
| Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$ | 2023-12-12 | Paper |
Dynamics of quadratic polynomials and rational points on a curve of genus 4
Mathematics of Computation | 2023-10-23 | Paper |
| Brauer-Manin obstructions requiring arbitrarily many Brauer classes | 2023-09-11 | Paper |
On strongly walk regular graphs, triple sum sets and their codes
Designs, Codes and Cryptography | 2023-04-21 | Paper |
Torsion points on elliptic curves over number fields of small degree
Algebra & Number Theory | 2023-03-29 | Paper |
| The Cassels-Tate pairing on 2-Selmer groups of elliptic curves | 2023-02-03 | Paper |
The Weierstrass–Durand–Kerner root finder is not generally convergent
Mathematics of Computation | 2022-12-21 | Paper |
Elliptic curves with common torsion 𝑥-coordinates and hyperelliptic torsion packets
Proceedings of the American Mathematical Society | 2022-10-12 | Paper |
Exact verification of the strong BSD conjecture for some absolutely simple abelian surfaces
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2022-05-31 | Paper |
Elliptic curves with a point of order \(13\) defined over cyclic cubic fields
Functiones et Approximatio. Commentarii Mathematici | 2022-02-11 | Paper |
| Minimization of hypersurfaces | 2021-10-09 | Paper |
On strongly walk regular graphs, triple sum sets and their codes
(available as arXiv preprint) | 2020-12-11 | Paper |
Eventually stable quadratic polynomials over \(\mathbb{Q}\)
The New York Journal of Mathematics | 2020-06-22 | Paper |
Eventually stable quadratic polynomials over \(\mathbb{Q}\)
The New York Journal of Mathematics | 2020-06-22 | Paper |
The Weierstrass root finder is not generally convergent
(available as arXiv preprint) | 2020-04-09 | Paper |
Elliptic curves with common torsion $x$-coordinates and hyperelliptic torsion packets
(available as arXiv preprint) | 2019-12-20 | Paper |
Irreducibility of polynomials with a large gap
Acta Arithmetica | 2019-12-19 | Paper |
| An application of "Selmer group Chabauty" to arithmetic dynamics | 2019-12-12 | Paper |
The generalized Fermat equation with exponents \(2,3,n\)
Compositio Mathematica | 2019-12-09 | Paper |
Diagonal genus 5 curves, elliptic curves over \(\mathbb{Q}(t)\), and rational Diophantine quintuples
Acta Arithmetica | 2019-10-16 | Paper |
Smallest representatives of $\operatorname{SL}(2,\mathbb{Z})$-orbits of binary forms and endomorphisms of $\mathbb{P}^1$
Acta Arithmetica | 2019-07-31 | Paper |
Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell-Weil rank
Journal of the European Mathematical Society (JEMS) | 2019-03-14 | Paper |
An explicit theory of heights for hyperelliptic Jacobians of genus three
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory | 2018-11-16 | Paper |
Chabauty Without the Mordell-Weil Group
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory | 2018-11-16 | Paper |
| Applied mathematics. A textbook for student teachers | 2018-04-24 | Paper |
Simultaneous Torsion in the Legendre Family
Experimental Mathematics | 2017-12-05 | Paper |
Geometry and arithmetic of primary Burniat surfaces
Mathematische Nachrichten | 2017-11-06 | Paper |
Torsion points on elliptic curves over number fields of small degree
(available as arXiv preprint) | 2017-07-02 | Paper |
Computing canonical heights on elliptic curves in quasi-linear time
LMS Journal of Computation and Mathematics | 2017-04-04 | Paper |
Canonical heights on genus-2 Jacobians
Algebra & Number Theory | 2016-12-16 | Paper |
| Descent and covering collections | 2016-07-20 | Paper |
Generalized explicit descent and its application to curves of genus 3
Forum of Mathematics, Sigma | 2016-03-11 | Paper |
Wie man Diophantische Gleichungen löst
Eine Einladung in die Mathematik | 2015-10-29 | Paper |
How to solve a Diophantine equation
An Invitation to Mathematics | 2015-06-26 | Paper |
Most odd degree hyperelliptic curves have only one rational point
Annals of Mathematics. Second Series | 2014-12-16 | Paper |
The generalised Fermat equation \(x^{2} + y^{3} = z^{15}\)
Archiv der Mathematik | 2014-08-01 | Paper |
Descent on elliptic curves
(available as arXiv preprint) | 2014-06-24 | Paper |
On elliptic curves with an isogeny of degree 7
American Journal of Mathematics | 2014-04-10 | Paper |
On elliptic curves with an isogeny of degree 7
American Journal of Mathematics | 2014-04-10 | Paper |
| scientific article; zbMATH DE number 6181440 (Why is no real title available?) | 2013-06-26 | Paper |
Explicit Selmer groups for cyclic covers of \(\mathbb {P}^1\)
Acta Arithmetica | 2013-05-21 | Paper |
Explicit isogeny descent on elliptic curves
Mathematics of Computation | 2013-03-20 | Paper |
| Stability of peak solutions of a non-linear transport equation on the circle | 2012-10-25 | Paper |
Stability of peak solutions of a non-linear transport equation on the circle
(available as arXiv preprint) | 2012-10-25 | Paper |
Rational points on curves
Journal de Théorie des Nombres de Bordeaux | 2012-08-31 | Paper |
Rational points on curves
Journal de Théorie des Nombres de Bordeaux | 2012-08-31 | Paper |
Reduction theory of point clusters in projective space
Groups, Geometry, and Dynamics | 2012-02-29 | Paper |
Partial descent on hyperelliptic curves and the generalized Fermat equation \(x^3+y^4+z^5=0\)
Bulletin of the London Mathematical Society | 2012-02-11 | Paper |
On the number of rational iterated preimages of the origin under quadratic dynamical systems
International Journal of Number Theory | 2011-11-29 | Paper |
Rational 6-cycles under iteration of quadratic polynomials
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
The Mordell-Weil sieve: proving non-existence of rational points on curves
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
The yoga of the Cassels-Tate pairing
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
Two-cover descent on hyperelliptic curves
Mathematics of Computation | 2010-11-07 | Paper |
Minimisation and reduction of 2-, 3- and 4-coverings of elliptic curves
Algebra & Number Theory | 2010-11-02 | Paper |
On a problem of Hajdu and Tengely
Lecture Notes in Computer Science | 2010-09-29 | Paper |
| The surface parametrizing cuboids | 2010-09-02 | Paper |
On the Diophantine equation X<sup>2</sup>-(2<sup>2m</sup>+1)Y<sup>4</sup>=-2<sup>2m</sup>
Acta Arithmetica | 2009-10-14 | Paper |
| How to obtain global information from computations over finite fields | 2009-08-10 | Paper |
Integral points on hyperelliptic curves
Algebra & Number Theory | 2009-03-16 | Paper |
Finite descent obstructions and rational points on curves
Algebra & Number Theory | 2009-03-16 | Paper |
| On the average number of rational points on curves of genus 2 | 2009-02-24 | Paper |
Deciding Existence of Rational Points on Curves: An Experiment
Experimental Mathematics | 2008-12-18 | Paper |
Deciding Existence of Rational Points on Curves: An Experiment
Experimental Mathematics | 2008-12-18 | Paper |
| Documentation for the ratpoints program | 2008-03-21 | Paper |
| An introduction to Conway's games and numbers | 2007-08-24 | Paper |
An introduction to Conway's games and numbers
(available as arXiv preprint) | 2007-08-24 | Paper |
Twists of \(X(7)\) and primitive solutions to \(x^2+y^3=z^7\)
Duke Mathematical Journal | 2007-04-23 | Paper |
On the number of rational squares at fixed distance from a fifth power
Acta Arithmetica | 2007-01-05 | Paper |
Independence of rational points on twists of a given curve
Compositio Mathematica | 2006-10-31 | Paper |
| The equation \(x^2+y^3=z^7\) | 2006-08-16 | Paper |
Minimal Models for 2-coverings of Elliptic Curves
LMS Journal of Computation and Mathematics | 2004-11-18 | Paper |
ON THE L-FUNCTION OF THE CURVES $\lowercase{y}^2 = \lowercase{x}^5 + A$
Journal of the London Mathematical Society | 2004-06-10 | Paper |
How to do a 𝑝-descent on an elliptic curve
Transactions of the American Mathematical Society | 2004-01-07 | Paper |
On the reduction theory of binary forms
Journal für die reine und angewandte Mathematik (Crelles Journal) | 2004-01-05 | Paper |
| scientific article; zbMATH DE number 1306929 (Why is no real title available?) | 2003-11-24 | Paper |
Bifurcation analysis of an orientational aggregation model
Journal of Mathematical Biology | 2003-11-04 | Paper |
On the height constant for curves of genus two, II
Acta Arithmetica | 2002-08-27 | Paper |
On the arithmetic of the curves \(y^2=x^l+A\). II
Journal of Number Theory | 2002-07-10 | Paper |
Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves
Mathematics of Computation | 2001-07-05 | Paper |
Implementing 2-descent for Jacobians of hyperelliptic curves
Acta Arithmetica | 2001-06-17 | Paper |
The Cassels-Tate pairing on polarized Abelian varieties
Annals of Mathematics. Second Series | 2001-05-14 | Paper |
The Cassels-Tate pairing on polarized Abelian varieties
Annals of Mathematics. Second Series | 2001-05-14 | Paper |
The Cassels-Tate pairing on polarized Abelian varieties
Annals of Mathematics. Second Series | 2001-05-14 | Paper |
On the height constant for curves of genus two
Acta Arithmetica | 1999-12-01 | Paper |
On the arithmetic of the curves o y2 = xℓ + A and their Jacobians
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1998-10-28 | Paper |
Bounds for the length of recurrence relations for convolutions of P-recursive sequences
European Journal of Combinatorics | 1998-02-12 | Paper |
Rational and transcendental growth series for the higher Heisenberg groups
Inventiones Mathematicae | 1997-06-22 | Paper |
| scientific article; zbMATH DE number 897634 (Why is no real title available?) | 1997-02-01 | Paper |
| scientific article; zbMATH DE number 848043 (Why is no real title available?) | 1997-01-20 | Paper |
On the Asymptotics of the Growth of 2-Step Nilpotent Groups
Journal of the London Mathematical Society | 1996-12-12 | Paper |
| scientific article; zbMATH DE number 851658 (Why is no real title available?) | 1996-05-09 | Paper |
Construction of semiabelian Galois extensions
Glasgow Mathematical Journal | 1996-02-21 | Paper |
| scientific article; zbMATH DE number 781760 (Why is no real title available?) | 1995-08-03 | Paper |
Galois group over \(\mathbb{Q}\) of some iterated polynomials
Archiv der Mathematik | 1993-02-10 | Paper |
