Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants
Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
Henrik Kragh Sørensen - Andet
- Institut for Naturfagenes Didaktik
- Videnskabsteori og videnskabshistorie
okt. 2017
Ekstern organisation (Akademisk)
Navn | Cornell University |
---|---|
Akronym | CU |
By | Ithaca, New York |
Land/Område | USA |
ID: 227132391