Projects per year
Search results
-
Active
Formalizing Diophantine algorithms
Dahmen, S. (Principal Investigator) & Chavarri Villarello, A. (Project Researcher)
1/05/22 → 31/08/26
Project: Research
-
Finished
New Diophantine Directions
van Langen, J., Dahmen, S., Putz, C., Coppola, N. & Best, A.
1/01/17 → 31/12/22
Project: Research
-