Sander R. Dahmen

Available identifiers

Publication	Date of Publication	Type
Recurrence-Driven Summations in Automated Deduction	2024-05-03	Paper
Explicitly bounding perfect powers in elliptic divisibility sequences	2023-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q6157246	2023-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5875423	2023-02-03	Paper
A formalization of Dedekind domains and class groups of global fields	2022-12-12	Paper
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022-09-30	Paper
A formalization of Dedekind domains and class groups of global fields	2021-02-04	Paper
Formalizing the Solution to the Cap Set Problem	2019-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4602272	2018-01-09	Paper
Shifted powers in binary recurrence sequences	2017-09-28	Paper
Generalized Fermat equations: a miscellany	2015-01-21	Paper
Perfect powers expressible as sums of two fifth or seventh powers	2014-06-12	Paper
On the equation a³+ b³ⁿ= c²	2014-06-10	Paper
Klein forms and the generalized superelliptic equation	2013-03-19	Paper
Level lowering modulo prime powers and twisted Fermat equations	2012-05-11	Paper
A refined modular approach to the Diophantine equation \(x^{2} + y^{2n} = z^{3}\)	2011-09-27	Paper
On the residue class distribution of the number of prime divisors of an integer	2011-07-14	Paper
Visualizing elements of Sha[3] in genus 2 Jacobians	2010-09-29	Paper
Lower bounds for numbers of \(ABC\)-hits	2008-06-09	Paper
Counting integral Lamé equations by means of dessins d’enfants	2007-02-01	Paper

This page was built for person: Sander R. Dahmen