Wolfgang Windsteiger,
"Theorema 2.0: A System for Mathematical Theory Exploration"
, in Chee Yap and Hoon Hong: Proceedings International Congress on Mathematical Software (ICMS 2014), Serie Lecture Notes in Computer Science (LNCS), Vol. 8592, Seite(n) 49-52, 2014, ISBN: 978-3-662-44198-5
Original Titel:
Theorema 2.0: A System for Mathematical Theory Exploration
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings International Congress on Mathematical Software (ICMS 2014)