Sander R. Dahmen

Follow

Generating author description...

All published works
Action Title Year Authors
+ Certifying Rings of Integers in Number Fields 2025 Anne Baanen
Alain Chavarri Villarello
Sander R. Dahmen
+ PDF Chat Certifying rings of integers in number fields 2024 Anne Baanen
Alain Chavarri Villarello
Sander R. Dahmen
+ Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves 2023 Anne Baanen
Alex J. Best
Nirvana Coppola
Sander R. Dahmen
+ Explicitly bounding perfect powers in elliptic divisibility sequences 2023 Sander R. Dahmen
Joey M. van Langen
+ PDF Chat A Formalization of Dedekind Domains and Class Groups of Global Fields 2022 Anne Baanen
Sander R. Dahmen
Ashvni Narayanan
Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio
+ Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves 2022 Anne Baanen
Alex J. Best
Nirvana Coppola
Sander R. Dahmen
+ Formalizing the solution to the cap set problem 2019 Sander R. Dahmen
Johannes Hölzl
Robert Y. Lewis
+ Formalizing the Solution to the Cap Set Problem 2019 Sander R. Dahmen
Johannes Hölzl
Robert Y. Lewis
+ Andrew Wiles en de Abelprijs 2017 Sander R. Dahmen
Arno Kret
+ PDF Chat Shifted powers in binary recurrence sequences 2015 Michael A. Bennett
Sander R. Dahmen
Maurice Mignotte
Samir Siksek
+ Generalized Fermat equations: A miscellany 2014 Michael A. Bennett
Imin Chen
Sander R. Dahmen
Soroosh Yazdani
+ PDF Chat On the equation a<sup>3</sup>+ b<sup>3n</sup>= c<sup>2</sup> 2014 Michael A. Bennett
Imin Chen
Sander R. Dahmen
Soroosh Yazdani
+ PDF Chat Perfect powers expressible as sums of two fifth or seventh powers 2014 Sander R. Dahmen
Samir Siksek
+ Perfect powers expressible as sums of two fifth or seventh powers 2013 Sander R. Dahmen
Samir Siksek
+ PDF Chat Klein forms and the generalized superelliptic equation 2013 Michael A. Bennett
Sander R. Dahmen
+ Perfect powers expressible as sums of two fifth or seventh powers 2013 Sander R. Dahmen
Samir Siksek
+ PDF Chat Level Lowering Modulo Prime Powers and Twisted Fermat Equations 2011 Sander R. Dahmen
Soroosh Yazdani
+ PDF Chat On the residue class distribution of the number of prime divisors of an integer 2011 Michael James Coons
Sander R. Dahmen
+ PDF Chat On the residue class distribution of the number of prime divisors of an integer 2011 Michael James Coons
Sander R. Dahmen
+ PDF Chat A REFINED MODULAR APPROACH TO THE DIOPHANTINE EQUATION x<sup>2</sup> + y<sup>2n</sup> = z<sup>3</sup> 2011 Sander R. Dahmen
+ A refined modular approach to the Diophantine equation $x^2+y^{2n}=z^3$ 2010 Sander R. Dahmen
+ PDF Chat Visualizing elements of Sha[3] in genus 2 jacobians 2010 Nils Bruin
Sander R. Dahmen
+ PDF Chat Visualizing Elements of Sha[3] in Genus 2 Jacobians 2010 Nils Bruin
Sander R. Dahmen
+ A refined modular approach to the Diophantine equation $x^2+y^{2n}=z^3$ 2010 Sander R. Dahmen
+ On the residue class distribution of the number of prime divisors of an integer 2009 Michael James Coons
Sander R. Dahmen
+ Classical and modular methods applied to Diophantine equations 2008 Sander R. Dahmen
+ Lower bounds for numbers of ABC-hits 2007 Sander R. Dahmen
+ PDF Chat Counting integral LamĂ© equations by means of dessins d’enfants 2006 Sander R. Dahmen
+ Counting Integral Lamé Equations by Means of Dessins d'Enfants 2003 Sander R. Dahmen
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Modular Elliptic Curves and Fermat's Last Theorem 1995 Andrew Wiles
9
+ On modular representations of $$(\bar Q/Q)$$ arising from modular forms 1990 Kenneth A. Ribet
8
+ Classical and modular methods applied to Diophantine equations 2008 Sander R. Dahmen
7
+ On the modularity of elliptic curves over 𝐐: Wild 3-adic exercises 2001 Christophe Breuil
Brian Conrad
Fred Diamond
Richard Taylor
6
+ PDF Chat Winding quotients and some variants of Fermat's Last Theorem. 1997 Henri Darmon
6
+ The Magma Algebra System I: The User Language 1997 Wieb Bosma
John Cannon
Catherine Playoust
6
+ Rational isogenies of prime degree 1978 Barry Mazur
Dorian Goldfeld
5
+ Ring-Theoretic Properties of Certain Hecke Algebras 1995 Richard Taylor
Andrew Wiles
5
+ PDF Chat Perfect powers expressible as sums of two cubes 2009 Imin Chen
Samir Siksek
5
+ PDF Chat Twists of X(7) and primitive solutions to x2+y3=z7 2007 Bjorn Poonen
Edward F. Schaefer
Michael Stoll
5
+ PDF Chat Ternary Diophantine Equations via Galois Representations and Modular Forms 2004 Michael A. Bennett
Chris M. Skinner
5
+ Advanced Topics in the Arithmetic of Elliptic Curves 1994 Joseph H. Silverman
4
+ Faltings plus epsilon, Wiles plus epsilon, and the Generalized Fermat Equation 2007 Henri Darmon
4
+ PDF Chat Modular Forms, a Computational Approach 2007 William Stein
3
+ Bounding the number of rational points on certain curves of high rank 2001 Joseph L. Wetherell
3
+ Chabauty methods using elliptic curves 2003 Nils Bruin
3
+ PDF Chat Explicit Chabauty over number fields 2013 Samir Siksek
3
+ PDF Chat Implementing 2-descent for Jacobians of hyperelliptic curves 2001 Michael Stoll
3
+ Generalized Fermat equations: A miscellany 2014 Michael A. Bennett
Imin Chen
Sander R. Dahmen
Soroosh Yazdani
3
+ PDF Chat On the Equations <i>z<sup>m</sup> </i> = <i>F</i> (<i>x, y</i> ) and <i>Ax<sup>p</sup> </i> + <i>By<sup>q</sup> </i> = <i>Cz<sup>r</sup> </i> 1995 Henri Darmon
Andrew Granville
3
+ On the Arithmetic of the Curves y2=xℓ+A, II 2002 Michael Stoll
3
+ PDF Chat Some diophantine equations of the form $x^n + y^n = z^m$ 1998 Bjorn Poonen
3
+ Algebraic Number Theory 1999 JĂŒrgen Neukirch
3
+ PDF Chat The Mordell–Weil sieve: proving non-existence of rational points on curves 2010 Nils Bruin
Michael Stoll
3
+ PDF Chat Majorations Effectives Pour L’ Équation de Fermat GĂ©nĂ©ralisĂ©e 1997 Alain Kraus
3
+ PDF Chat On the Diophantine Equation <i>n</i>(<i>n</i> + <i>d</i>) · · · (<i>n</i> + (<i>k</i> − 1)<i>d</i>) = <i>by</i><sup><i>l</i></sup> 2004 KĂĄlmĂĄn GyƑry
Lajos Hajdu
N. Saradha
3
+ Propriïżœtïżœs galoisiennes des points d'ordre fini des courbes elliptiques 1971 Jean-Pierre Serre
3
+ The primitive solutions to <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mi>y</mml:mi></mml:mrow><mml:mrow><mml:mn>9</mml:mn></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> 2005 Nils Bruin
3
+ PDF Chat The Cassels-Tate Pairing on Polarized Abelian Varieties 1999 Bjorn Poonen
Michael Stoll
3
+ PDF Chat Galois representations attached to [inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="01i" /]-curves and the generalized Fermat equation A 4 + B 2 = C P 2004 Jordan S. Ellenberg
3
+ Sur l'Ă©quation a<sup>3</sup>+ b<sup>3</sup>= c<sup>p</sup> 1998 Alain Kraus
2
+ PDF Chat A note on the congruent distribution of the number of prime factors of natural numbers 2001 Tomio Kubota
Mariko Yoshida
2
+ The Generalized Fermat Equation 2016 Michael A. Bennett
Preda Mihăilescu
Samir Siksek
2
+ None 1999 Alain Kraus
2
+ PDF Chat On the equation $s^2+y^{2p} = \alpha^3$ 2007 Imin Chen
2
+ PDF Chat Introduction to Analytic Number Theory 1976 Tom M. Apostol
2
+ A sharp inequality of HalĂĄsz type for the mean value of a multiplicative arithmetic function 1995 R. R. Hall
2
+ THE DIOPHANTINE EQUATION A<sup>4</sup> + 2<sup>ÎŽ</sup>B<sup>2</sup> = C<sup>n</sup> 2010 Michael A. Bennett
Jordan S. Ellenberg
Nathan Ng
2
+ PDF Chat Ternary Diophantine equations of signature (<i>p</i>, <i>p</i>, 3) 2004 Michael A. Bennett
Vinayak Vatsal
Soroosh Yazdani
2
+ PDF Chat Reduction of Binary Cubic and Quartic Forms 1999 J. E. Cremona
2
+ PDF Chat Elliptic curves over real quadratic fields are modular 2014 Nuno Freitas
Bao V. Le Hung
Samir Siksek
2
+ Rigid local systems, Hilbert modular forms, and Fermat's last theorem 2000 Henri Darmon
2
+ PDF Chat Sign changes in sums of the Liouville function 2008 Peter Borwein
Ron Ferguson
Michael J. Mossinghoff
2
+ PDF Chat None 1999 Nils Bruin
2
+ PDF Chat On the arithmetic of abelian varieties 1972 J. S. Milne
2
+ Solving Fermat-type equations via modular ℚ-curves over polyquadratic fields 2009 Luis Dieulefait
Jorge Jiménez Urroz
2
+ PDF Chat Visualizing Elements in the Shafarevich—Tate Group 2000 J. E. Cremona
Barry Mazur
2
+ Neron Classification of Elliptic Curves Where the Residual Characteristics Equal 2 Or 3 1993 Ioannis Papadopoulos
2
+ PDF Chat Abelian Varieties over Q and Modular Forms 2004 Kenneth A. Ribet
2
+ The Diophantine equation Axp+Byq=Czr 1998 Frits Beukers
2