Research output per year
Research output per year
Personal profile
Ancillary activities
- Boswell-Bèta | Utrecht | extern lid examencommissie | 2021-03-01 - present
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Sander Dahmen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Certifying Rings of Integers in Number Fields
Baanen, A., Villarello, A. C. & Dahmen, S. R., 2025, CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. Stark, K., Timany, A., Blazy, S. & Tabareau, N. (eds.). Association for Computing Machinery, Inc, p. 50-66 17 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Baanen, A., Best, A. J., Coppola, N. & Dahmen, S. R., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 47-62 16 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Recurrence-Driven Summations in Automated Deduction
Nummelin, V., Blanchette, J. & Dahmen, S. R., 2023, Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 23-40 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
A Formalization of Dedekind Domains and Class Groups of Global Fields
Baanen, A., Dahmen, S. R., Narayanan, A. & Nuccio Mortarino Majno di Capriglio, F. A. E., Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 611-637 27 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
A formalization of Dedekind domains and class groups of global fields
Baanen, A., Dahmen, S. R., Narayanan, A. & Di Capriglio, F. A. E. N. M. M., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access
Courses
-
Formalizing Diophantine algorithms
Dahmen, S. (Principal Investigator) & Chavarri Villarello, A. (Project Researcher)
1/05/22 → 31/08/26
Project: Research
-
New Diophantine Directions
van Langen, J., Dahmen, S., Putz, C., Coppola, N. & Best, A.
1/01/17 → 31/12/22
Project: Research
-