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

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)

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (12)

• Mathematical knowledge representation. (Extended abstract)
• Mathematical models as research data via flexiformal theory graphs
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A survey on retrieval of mathematical knowledge
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Mathematical Knowledge Management
• Indexing and Searching Mathematics in Digital Libraries
• Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
• Mathematical Knowledge Management

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)