![]() |
| 1997 | ||
|---|---|---|
| 1 | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. ISSAC 1997: 384-391 | |
| 1 | Bruno Buchberger | [1] |
| 2 | Tudor Jebelean | [1] |
| 3 | Franz Kriftner | [1] |
| 4 | Mircea Marin | [1] |
| 5 | Daniela Vasaru | [1] |