scientific article; zbMATH DE number 1497743
From MaRDI portal
Publication:4499153
Recommendations
- MBase: Representing knowledge and context for the integration of mathematical software systems
- scientific article; zbMATH DE number 1614716
- Mathematical fundamentals of database and knowledge base systems
- scientific article; zbMATH DE number 4045135
- Towards a heterogeneous query language for mathematical knowledge
- Formal representation issues in an open mathematical knowledge base. (Extended abstract)
- Mathematical knowledge representation. (Extended abstract)
- Modelling of logical knowledge and knowledge-based deduction by means of a relational database management system
- scientific article; zbMATH DE number 622673
- Modelling some mathematical objects and operations on them with an expanded relational data model
Cited in
(18)- Towards a heterogeneous query language for mathematical knowledge
- scientific article; zbMATH DE number 1951626 (Why is no real title available?)
- scientific article; zbMATH DE number 1614716 (Why is no real title available?)
- Krextor -- an extensible framework for contributing content math to the web of data
- Formal representation issues in an open mathematical knowledge base. (Extended abstract)
- A data model and encoding for a semantic, multilingual terminology of mathematics
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Mathematical Knowledge Management
- scientific article; zbMATH DE number 4106307 (Why is no real title available?)
- Zeta types and Tannakian symbols as a method for representing mathematical knowledge
- Knowledge-based proof planning
- Towards a unified mathematical data infrastructure: database and interface generation
- Mathematical fundamentals of database and knowledge base systems
- Relational data across mathematical libraries
- scientific article; zbMATH DE number 1927189 (Why is no real title available?)
- Supporting data-driven mathematics: database and interface generation
- System description: MathHub.info
- Virtual theories -- a uniform interface to mathematical knowledge bases
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499153)
