| |
| 2005 | ||
|---|---|---|
| 2 | EE | Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen: An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329 |
| 2004 | ||
| 1 | EE | Lionel Elie Mamane: Surreal Numbers in Coq. TYPES 2004: 170-185 |
| 1 | Andrea Asperti | [2] |
| 2 | Claudio Sacerdoti Coen | [2] |
| 3 | Herman Geuvers | [2] |
| 4 | Iris Loeb | [2] |