Sander Dahmen
Associate Professor in Mathematics
Department of Mathematics
VU Amsterdam
De Boelelaan 1111
1081 HV Amsterdam
The Netherlands
NU-Building
Office 9A-85
+31 20 598 77 01
s.r.(my last name)@vu.nl
Publications
Teaching
Interesting Links
Some libraries of formalized mathematics in
Lean
,
Coq
,
Isabelle
,
Hol Light
,
Mizar
,
etc.
The
On-Line Encyclopedia of Integer Sequences
The
Great Internet Mersenne Prime Search