dr. Sander Dahmen

dr.

20142019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 4 Article
  • 1 Conference contribution
  • 1 Review article
2019

Formalizing the solution to the cap set problem

Dahmen, S. R., Hölzl, J. & Lewis, R. Y., 2019, 10th International Conference on Interactive Theorem Proving (ITP 2019). Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 141).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2017

Andrew Wiles en de Abelprijs

Translated title of the contribution: Andrew Wiles and the Abel PrizeDahmen, S. R. & Kret, A., Jun 2017, In : Nieuw archief voor de wiskunde. 18, 2, p. 88-98 11 p.

Research output: Contribution to JournalReview article

2015

Generalized Fermat equations: A miscellany

Bennett, M. A., Chen, I., Dahmen, S. R. & Yazdani, S., 2015, In : International Journal of Number Theory. 11, 1, p. 1-28 28 p.

Research output: Contribution to JournalArticle

Shifted powers in binary recurrence sequences

Bennett, M. A., Dahmen, S. R., Mignotte, M. & Siksek, S., 2015, In : Mathematical Proceedings of the Cambridge Philosophical Society. 158, 2, p. 305-329 25 p.

Research output: Contribution to JournalArticle

2014

On the equation $a^3+b^{3n}=c^2$

Bennett, M. A., Chen, I., Dahmen, S. R. & Yazdani, S., 2014, In : Acta Arithmetica. 163, 4, p. 327-343 17 p.

Research output: Contribution to JournalArticle

Perfect powers expressible as sums of two fifth or seventh powers

Dahmen, S. R. & Siksek, S., 2014, In : Acta Arithmetica. 164, 1, p. 65-100 36 p.

Research output: Contribution to JournalArticle