Representing, Archiving, and Searching the Space of Mathematical Knowledge

DOI10.1007/978-3-662-44199-2_5zbMath1403.68280OpenAlexW1043918343WikidataQ57389329 ScholiaQ57389329MaRDI QIDQ2879093

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)

Related Items (1)

Mathematical models as research data via flexiformal theory graphs

Uses Software

• MathHub.info

This page was built for publication: Representing, Archiving, and Searching the Space of Mathematical Knowledge