Follow
Sander R. Dahmen
Sander R. Dahmen
Verified email at vu.nl
Title
Cited by
Cited by
Year
Generalized Fermat equations: a miscellany
MA Bennett, I Chen, SR Dahmen, S Yazdani
accepted for publication in International Journal of Number Theory, 2014
592014
Classical and modular methods applied to Diophantine equations
SR Dahmen
Utrecht University, 2008
41*2008
Klein forms and the generalized superelliptic equation
MA Bennett, SR Dahmen
Annals of Mathematics 177, 171-239, 2013
232013
Counting integral Lamé equations by means of dessins d’enfants
SR Dahmen
Transactions of the American Mathematical Society 359 (2), 909-922, 2007
232007
Formalizing the solution to the cap set problem
SR Dahmen, J Hölzl, RY Lewis
arXiv preprint arXiv:1907.01449, 2019
222019
Perfect powers expressible as sums of two fifth or seventh powers
SR Dahmen, S Siksek
Acta Arithmetica 164 (1), 65-100, 2014
172014
A REFINED MODULAR APPROACH TO THE DIOPHANTINE EQUATION x2 + y2n = z3
SR Dahmen
International Journal of Number Theory 7 (05), 1303-1316, 2011
172011
Shifted powers in binary recurrence sequences
MA Bennett, SR Dahmen, M Mignotte, S Siksek
Mathematical Proceedings of the Cambridge Philosophical Society 158 (2), 305-329, 2015
122015
On the equation a³+ b³ⁿ= c²
M Bennett, I Chen, S Dahmen, S Yazdani
Acta Arithmetica 4 (163), 327-343, 2014
12*2014
Counting integral Lamé equations with finite monodromy by means of modular forms
S Dahmen
Master Thesis, Utrecht University, 2003
112003
A formalization of Dedekind domains and class groups of global fields
A Baanen, SR Dahmen, A Narayanan, FAE Nuccio
arXiv preprint arXiv:2102.02600, 2021
92021
A formalization of Dedekind domains and class groups of global fields
A Baanen, SR Dahmen, A Narayanan, ...
Journal of Automated Reasoning 66 (4), 611-637, 2022
82022
Filippo AE Nuccio Mortarino Majno di Capriglio.“
A Baanen, SR Dahmen, A Narayanan
A Formalization of Dedekind Domains and Class Groups of Global Fields.” In …, 2021
52021
Level lowering modulo prime powers and twisted Fermat equations
SR Dahmen, S Yazdani
Canadian Journal of Mathematics 64 (2), 282-300, 2012
52012
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
A Baanen, AJ Best, N Coppola, SR Dahmen
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
42023
On the residue class distribution of the number of prime divisors of an integer
M Coons, SR Dahmen
Nagoya Mathematical Journal 202, 15-22, 2011
42011
Visualizing elements of Sha [3] in genus 2 Jacobians
N Bruin, SR Dahmen
International Algorithmic Number Theory Symposium, 110-125, 2010
42010
Lower bounds for numbers of ABC-hits
SR Dahmen
Journal of Number Theory 128 (6), 1864-1873, 2008
32008
Modular forms
P Bruin, S Dahmen
Course notes online at http://www. few. vu. nl/~ sdn249/modularforms16/Notes …, 2016
22016
Understanding the electromagnetic field in an MRI scanner
JB van den Berg, N van den Berg, B van den Bergen, A Boer, ...
58th European Study Group Mathematics with Industry, 69-90, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–20