Mathematical Knowledge Management
From MaRDI portal
Publication:5898532
DOI10.1007/11618027zbMATH Open1151.68670OpenAlexW2480281325MaRDI QIDQ5898532FDOQ5898532
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
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)
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)