Generalized Fermat equations: a miscellany MA Bennett, I Chen, SR Dahmen, S Yazdani accepted for publication in International Journal of Number Theory, 2014 | 59 | 2014 |

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 | 23 | 2013 |

Counting integral Lamé equations by means of dessins d’enfants SR Dahmen Transactions of the American Mathematical Society 359 (2), 909-922, 2007 | 23 | 2007 |

Formalizing the solution to the cap set problem SR Dahmen, J Hölzl, RY Lewis arXiv preprint arXiv:1907.01449, 2019 | 22 | 2019 |

Perfect powers expressible as sums of two fifth or seventh powers SR Dahmen, S Siksek Acta Arithmetica 164 (1), 65-100, 2014 | 17 | 2014 |

A REFINED MODULAR APPROACH TO THE DIOPHANTINE EQUATION x^{2} + y^{2n} = z^{3}SR Dahmen International Journal of Number Theory 7 (05), 1303-1316, 2011 | 17 | 2011 |

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 | 12 | 2015 |

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 | 11 | 2003 |

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 | 9 | 2021 |

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 | 8 | 2022 |

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 | 5 | 2021 |

Level lowering modulo prime powers and twisted Fermat equations SR Dahmen, S Yazdani Canadian Journal of Mathematics 64 (2), 282-300, 2012 | 5 | 2012 |

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 | 4 | 2023 |

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 |