Gebruiker:Freek Wiedijk
Uit Werkplaats
|
Freek Wiedijk http://www.cs.ru.nl/~freek/ e-mail 1961 Institute for Computing and Information Sciences, Radboud University Utrecht http://www.cs.ru.nl/ Universitair Docent |
|
Mijn onderzoek gaat over het verifiëren van de correctheid van wiskunde met de computer. |
|
Personal pages |
