![](/img/cover-not-exists.png)
Theorema: Towards computer-aided mathematical theory exploration
Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang WindsteigerVolume:
4
Year:
2006
Language:
english
Pages:
35
DOI:
10.1016/j.jal.2005.10.006
File:
PDF, 580 KB
english, 2006