Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants
- Sørensen, H. K. (Andet)
Aktivitet: Præsentationer, medlemskaber og andre aktivitetstyper › Foredrag og mundtlige bidrag