scientific article; zbMATH DE number 1497743
From MaRDI portal
Publication:4499153
zbMATH Open0958.68163MaRDI QIDQ4499153FDOQ4499153
Authors: Andreas Franke, Michael Kohlhase 
Publication date: 6 March 2001
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Supporting data-driven mathematics: database and interface generation
- System description: MathHub.info
- Virtual theories -- a uniform interface to mathematical knowledge bases
Uses Software
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)
