Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898532zbMATH OpenOpenAlexFDO

Authors Robert Milewski

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1497743
• Formal representation issues in an open mathematical knowledge base. (Extended abstract)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• scientific article; zbMATH DE number 1951626
• scientific article; zbMATH DE number 1614716

Cited in

(1)

• Relational data across mathematical libraries

This page was built for publication: Mathematical Knowledge Management

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