Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
From MaRDI portal
Publication:3582714
DOI10.1007/978-3-642-14128-7_24zbMath1286.68425OpenAlexW2953374465MaRDI QIDQ3582714
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14128-7_24
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to geometry (51-00)
Related Items
: A Linear Algebra Textbook System, Towards an intelligent and dynamic geometry book, Representation and automated transformation of geometric statements, Automated deduction and knowledge management in geometry
Uses Software