Generalized Fermat equations: a miscellany MA Bennett, I Chen, SR Dahmen, S Yazdani accepted for publication in International Journal of Number Theory, 2014 | 61 | 2014 |
Classical and modular methods applied to Diophantine equations SR Dahmen Utrecht University, 2008 | 42* | 2008 |
Klein forms and the generalized superelliptic equation MA Bennett, SR Dahmen Annals of Mathematics 177, 171-239, 2013 | 28 | 2013 |
Counting integral Lamé equations by means of dessins d’enfants SR Dahmen Transactions of the American Mathematical Society 359 (2), 909-922, 2007 | 27 | 2007 |
Formalizing the solution to the cap set problem SR Dahmen, J Hölzl, RY Lewis arXiv preprint arXiv:1907.01449, 2019 | 24 | 2019 |
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 | 20 | 2022 |
Perfect powers expressible as sums of two fifth or seventh powers SR Dahmen, S Siksek Acta Arithmetica 164 (1), 65-100, 2014 | 18 | 2014 |
A REFINED MODULAR APPROACH TO THE DIOPHANTINE EQUATION x2 + y2n = z3 SR Dahmen International Journal of Number Theory 7 (05), 1303-1316, 2011 | 18 | 2011 |
Counting integral Lamé equations with finite monodromy by means of modular forms S Dahmen Master Thesis, Utrecht University, 2003 | 14 | 2003 |
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 | 13 | 2015 |
On the equation a³+ b³ⁿ= c² M Bennett, I Chen, S Dahmen, S Yazdani Acta Arithmetica 4 (163), 327-343, 2014 | 12* | 2014 |
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 | 5 | 2023 |
Level lowering modulo prime powers and twisted Fermat equations SR Dahmen, S Yazdani Canadian Journal of Mathematics 64 (2), 282-300, 2012 | 5 | 2012 |
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 | 4 | 2011 |
Visualizing elements of Sha [3] in genus 2 Jacobians N Bruin, SR Dahmen International Algorithmic Number Theory Symposium, 110-125, 2010 | 4 | 2010 |
Lower bounds for numbers of ABC-hits SR Dahmen Journal of Number Theory 128 (6), 1864-1873, 2008 | 3 | 2008 |
Modular forms P Bruin, S Dahmen Course notes online at http://www. few. vu. nl/~ sdn249/modularforms16/Notes …, 2016 | 2 | 2016 |
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 | 2 | 2007 |
Explicitly bounding perfect powers in elliptic divisibility sequences SR Dahmen, JM van Langen arXiv preprint arXiv:2310.13244, 2023 | | 2023 |
Recurrence-Driven Summations in Automated Deduction V Nummelin, J Blanchette, SR Dahmen International Symposium on Frontiers of Combining Systems, 23-40, 2023 | | 2023 |