| Publication | Date of Publication | Type |
|---|
Formally certifying number field invariants
(available as arXiv preprint) | 2026-01-01 | Paper |
On the generalized Fermat equation $x^{13} + y^{13} = z^n$
(available as arXiv preprint) | 2025-01-01 | Paper |
| Recurrence-Driven Summations in Automated Deduction | 2024-05-03 | Paper |
Certifying rings of integers in number fields
(available as arXiv preprint) | 2024-01-01 | Paper |
| Explicitly bounding perfect powers in elliptic divisibility sequences | 2023-10-19 | Paper |
| scientific article; zbMATH DE number 7699422 (Why is no real title available?) | 2023-06-20 | Paper |
scientific article; zbMATH DE number 7649964 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Explicitly bounding perfect powers in elliptic divisibility sequences
(available as arXiv preprint) | 2023-01-01 | Paper |
A formalization of Dedekind domains and class groups of global fields
Journal of Automated Reasoning | 2022-12-12 | Paper |
| Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves | 2022-09-30 | Paper |
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
(available as arXiv preprint) | 2022-01-01 | Paper |
A formalization of Dedekind domains and class groups of global fields
(available as arXiv preprint) | 2021-02-04 | Paper |
Formalizing the Solution to the Cap Set Problem
(available as arXiv preprint) | 2019-07-02 | Paper |
| scientific article; zbMATH DE number 6823388 (Why is no real title available?) | 2018-01-09 | Paper |
Shifted powers in binary recurrence sequences
Mathematical Proceedings of the Cambridge Philosophical Society | 2017-09-28 | Paper |
Generalized Fermat equations: a miscellany
International Journal of Number Theory | 2015-01-21 | Paper |
Perfect powers expressible as sums of two fifth or seventh powers
Acta Arithmetica | 2014-06-12 | Paper |
On the equation a<sup>3</sup>+ b<sup>3n</sup>= c<sup>2</sup>
Acta Arithmetica | 2014-06-10 | Paper |
Klein forms and the generalized superelliptic equation
Annals of Mathematics. Second Series | 2013-03-19 | Paper |
Level lowering modulo prime powers and twisted Fermat equations
Canadian Journal of Mathematics | 2012-05-11 | Paper |
Level lowering modulo prime powers and twisted Fermat equations
Canadian Journal of Mathematics | 2012-05-11 | Paper |
A refined modular approach to the Diophantine equation \(x^{2} + y^{2n} = z^{3}\)
International Journal of Number Theory | 2011-09-27 | Paper |
On the residue class distribution of the number of prime divisors of an integer
Nagoya Mathematical Journal | 2011-07-14 | Paper |
Visualizing elements of Sha[3] in genus 2 Jacobians
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Lower bounds for numbers of \(ABC\)-hits
Journal of Number Theory | 2008-06-09 | Paper |
Counting integral Lamé equations by means of dessins d’enfants
Transactions of the American Mathematical Society | 2007-02-01 | Paper |
