Representing, archiving, and searching the space of mathematical knowledge

DOI10.1007/978-3-662-44199-2_5zbMATH Open1403.68280OpenAlexW1043918343WikidataQ57389329 ScholiaQ57389329MaRDI QIDQ2879093FDOQ2879093

Authors Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu 

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_5

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Mathematical knowledge representation. (Extended abstract)
• Mathematical Knowledge Management
• Mathematical knowledge representation: semantic models and formalisms
• scientific article; zbMATH DE number 1951625
• Formal representation issues in an open mathematical knowledge base. (Extended abstract)

Cited in

(11)

• Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
• Mathematical Knowledge Management
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Formal representation issues in an open mathematical knowledge base. (Extended abstract)
• From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management
• scientific article; zbMATH DE number 5270834 (Why is no real title available?)
• scientific article; zbMATH DE number 5124871 (Why is no real title available?)
• Mathematical models as research data via flexiformal theory graphs
• Mathematical knowledge representation. (Extended abstract)
• Mathematical Knowledge Management
• Indexing and Searching Mathematics in Digital Libraries

Describes a project that uses

Uses Software

• MathHub.info

This page was built for publication: Representing, archiving, and searching the space of mathematical knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879093)