Personal information

Emails & domains

Verified email domains

Websites & social links

Vrije Universiteit Amsterdam profile page

Other IDs

Scopus Author ID: 24170840400
Scopus Author ID: 24170840400
Digital author ID: 304834890

Activities

Collapse all

Employment (2)

Vrije Universiteit Amsterdam: Amsterdam, NL

Employment
Source: check_circle
Vrije Universiteit Amsterdam

Vrije Universiteit Amsterdam: Amsterdam, Noord-Holland, NL

2014-01-01 to present | Associate professor (Mathematics)
Employment
Source: Self-asserted source
Sander Dahmen

Works (18)

Certifying Rings of Integers in Number Fields

2025-01-10 | Conference paper
DOI: 10.1145/3703595.3705874
Contributors: Anne Baanen; Alain Chavarri Villarello; Sander R. Dahmen
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Recurrence-Driven Summations in Automated Deduction

2023 | Book chapter
DOI: 10.1007/978-3-031-43369-6_2
Contributors: Visa Nummelin; Jasmin Blanchette; Sander R. Dahmen
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

CPP 2023
2023-01-11 | Conference paper | Author
DOI: 10.1145/3573105.3575682
SOURCE-WORK-ID:

cbfcb207-66a1-426b-8c00-7a1bdd3826e8

EID:

2-s2.0-85147005431

Part of ISBN: 9798400700262
Contributors: Anne Baanen; Alex J. Best; Nirvana Coppola; Sander Dahmen
Source: check_circle
Vrije Universiteit Amsterdam

A Formalization of Dedekind Domains and Class Groups of Global Fields

Journal of Automated Reasoning
2022-11 | Journal article
DOI: 10.1007/s10817-022-09644-0
Contributors: Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio Mortarino Majno di Capriglio
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A formalization of dedekind domains and class groups of global fields

Leibniz International Proceedings in Informatics, LIPIcs
2021 | Conference paper
DOI: 10.4230/LIPIcs.ITP.2021.5
EID:

2-s2.0-85115277119

Part of ISSN: 18688969
Contributors: Baanen, A.; Dahmen, S.R.; Narayanan, A.; Di Capriglio, F.A.E.N.M.M.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Formalizing the solution to the cap set problem

Leibniz International Proceedings in Informatics, LIPIcs
2019 | Conference paper
DOI: 10.4230/LIPIcs.ITP.2019.15
EID:

2-s2.0-85074556676

Part of ISSN: 18688969
Contributors: Dahmen, S.R.; Hölzl, J.; Lewis, R.Y.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Andrew Wiles en de Abelprijs

Nieuw archief voor de wiskunde
2017-06 | Journal article | Author
SOURCE-WORK-ID:

824fee42-26ca-4530-a39a-693eee695bf7
Contributors: Sander Dahmen; Arno Kret
Source: check_circle
Vrije Universiteit Amsterdam

Generalized Fermat equations: A miscellany

International Journal of Number Theory
2015 | Journal article
DOI: 10.1142/S179304211530001X
EID:

2-s2.0-84928290868

Part of ISSN: 17930421
Contributors: Bennett, M.A.; Chen, I.; Dahmen, S.R.; Yazdani, S.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Shifted powers in binary recurrence sequences

Mathematical Proceedings of the Cambridge Philosophical Society
2015 | Journal article
DOI: 10.1017/S0305004114000681
EID:

2-s2.0-84922597034

Part of ISSN: 14698064 03050041
Contributors: Bennett, M.A.; Dahmen, S.R.; Mignotte, M.; Siksek, S.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the equation a<sup>3</sup> + b<sup>3n</sup> = c<sup>2</sup>

Acta Arithmetica
2014 | Journal article
DOI: 10.4064/aa163-4-3
EID:

2-s2.0-84907386107

Part of ISSN: 00651036
Contributors: Bennett, M.A.; Chen, I.; Dahmen, S.R.; Yazdani, S.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Perfect powers expressible as sums of two fifth or seventh powers

Acta Arithmetica
2014 | Journal article
DOI: 10.4064/aa164-1-5
EID:

2-s2.0-84907406838

Part of ISSN: 00651036
Contributors: Dahmen, S.R.; Siksek, S.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Klein forms and the generalized superelliptic equation

Annals of Mathematics
2013 | Journal article
DOI: 10.4007/annals.2013.177.1.4
EID:

2-s2.0-84872668672

Part of ISSN: 0003486X
Contributors: Bennett, M.A.; Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Level lowering modulo prime powers and twisted Fermat equations

Canadian Journal of Mathematics
2012 | Journal article
DOI: 10.4153/CJM-2011-059-8
EID:

2-s2.0-84872692932

Part of ISSN: 0008414X
Contributors: Dahmen, S.R.; Yazdani, S.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

A refined modular approach to the diophantine equation x<sup>2</sup> + y<sup>2n</sup> = z<sup>3</sup>

International Journal of Number Theory
2011 | Journal article
DOI: 10.1142/S1793042111004472
EID:

2-s2.0-80051696418

Part of ISSN: 17930421
Contributors: Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the residue class distribution of the number of prime divisors of an integer

Nagoya Mathematical Journal
2011 | Journal article
DOI: 10.1215/00277630-1260423
EID:

2-s2.0-79960598693

Part of ISSN: 00277630
Contributors: Coons, M.; Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Visualizing elements of Sha[3] in Genus 2 jacobians

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-14518-6_12
EID:

2-s2.0-77955340338

Part of ISSN: 03029743 16113349
Contributors: Bruin, N.; Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Lower bounds for numbers of ABC-hits

Journal of Number Theory
2008 | Journal article
DOI: 10.1016/j.jnt.2007.06.009
EID:

2-s2.0-43049113555

Part of ISSN: 0022314X
Contributors: Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Counting integral Lamé equations by means of dessins d'enfants

Transactions of the American Mathematical Society
2007 | Journal article
DOI: 10.1090/S0002-9947-06-03924-9
EID:

2-s2.0-58149355639

Part of ISSN: 00029947
Contributors: Dahmen, S.R.
Source: Self-asserted source
Sander Dahmen via Scopus - Elsevier
grade
Preferred source (of 2)‎

Peer review (2 reviews for 1 publication/grant)

Review activity for Research in number theory. (2)
How many people are using ORCID?