Modelling the way mathematics is actually done
| Title: | Modelling the way mathematics is actually done |
|---|---|
| Authors: | Corneli, Joseph; Martin, Ursula; Murray-Rust, Dave; Pease, Alison; Puzio, Raymond; Rino Nesin, Gabriela |
| Source: | Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. :10-19 |
| Availability: | http://dl.acm.org/doi/10.1145/3122938.3122942 |
| Database: | ACM Full-Text Collection |