Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Type: Preprint

Publication Date: 2023-01-11

Citations: 5

DOI: https://doi.org/10.1145/3573105.3575682

Locations

arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022	Anne Baanen Alex J. Best Nirvana Coppola Sander R. Dahmen
+	Mordell’s Theorem Over Rational Function Fields Via Descent by 3-Isogeny	2020	Sven Bootsma
+	Integral points on elliptic curves and 3-torsion in class groups	2006	H. A. Helfgott Akshay Venkatesh
+ PDF Chat	Linear relations and arithmetic on abelian schemes	2015	Piotr Rzonsowski
+	The Mordell-Weil Theorem	1990	Kenneth Ireland Michael Rosen
+	Descents on curves of Genus 1	1995	Samir Siksek
+	On computing integral points of a Mordell curve – the method of Wildanger revisited	2019	István Gaál Maximilian C. Pohst Michael Pohst
+	Algebraic Number Theory	1991	A. Fröhlich M. J. Taylor
+	Computing annihilators of class groups from derivatives of $L$-functions	2017	Jonathan W. Sands Brett A. Tangedal
+	Integral points on elliptic curves and 3-torsion in class groups	2004	H. A. Helfgott Akshay Venkatesh
+	Ideal Class Groups and Diophantine Equations	1988	伸中野
+	The Birch and Swinnerton-Dyer Conjecture for elliptic curves.	2014	Duncan Smith
+ PDF Chat	On Bounds and Diophantine Properties of Elliptic Curves	2024	Navvye Anand
+	None	2004	Charles Gadéa
+	New techniques for computing the ideal class group and a system of fundamental units in number fields	2012	Jean-François Biasse Claus Fieker
+	Computation of the Mordell-Weil Group	1988	Jasbir S. Chahal
+	On the Mordell--Weil group of the elliptic curve y^2=x^3+n	2010	Yasutsugu Fujita Tadahisa Nara
+ PDF Chat	Three cubes in arithmetic progression over quadratic fields	2010	Enrique González–Jiménez
+	Some Basics of Algebraic Number Theory	2022	Hideaki Ikoma Shu Kawaguchi Atsushi Moriwaki
+	(The) orders of the reductions of a point in the mordell-weil group of an elliptic curve = 타원곡선의 모델-베일군에서 고정된 점의 줄임시 위수들	1997	Jung-Hee Cheon 천정희

Works That Cite This (1)

Action	Title	Year	Authors
+	Certifying Rings of Integers in Number Fields	2025	Anne Baanen Alain Chavarri Villarello Sander R. Dahmen

Works Cited by This (12)

Action	Title	Year	Authors
+	Algebraic Number Theory	1999	Jürgen Neukirch
+	Contributions to the theory of Diophantine equations II. The Diophantine equation <i>y</i> <sup>2</sup> = <i>x</i> <sup>3</sup> + <i>k</i>	1968	A. Baker
+	On the Integer Solutions of the Equation <i>ey</i> <sup>2</sup> = <i>ax</i> <sup>3</sup> +<i>bx</i> <sup>2</sup> +<i>cx</i> +<i>d</i>	1923	L. J. Mordell
+ PDF Chat	The Diophantine Equation <i>y</i> <sup>2</sup> −<i>k</i> =<i>x</i> <sup>3</sup>	1914	L. J. Mordell
+ PDF Chat	Mordell’s equation: a classical approach	2015	Michael A. Bennett Amir Ghadermarzi
+ PDF Chat	Number Theory	2007	Henri Cohen
+	Diophantine Equations	1982	Kenneth Ireland Michael Rosen
+	Fermat’s Last Theorem	1977	Harold M. Edwards
+ PDF Chat	Effective estimates of solutions of some diophantine equations	1973	H. Stärk
+ PDF Chat	The lean mathematical library	2020	The mathlib Community