Automated Classification and Categorization of Mathematical Knowledge
From MaRDI portal
Publication:5505535
DOI10.1007/978-3-540-85110-3_44zbMath1166.68358OpenAlexW1559303472WikidataQ57737551 ScholiaQ57737551MaRDI QIDQ5505535
Publication date: 27 January 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.1116
Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30) Methodology of mathematics (00A35)
Uses Software
Cites Work
This page was built for publication: Automated Classification and Categorization of Mathematical Knowledge