AbstractWe describe the current (v.0.1) data model of the MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers a universal repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts
How can Mathematics and the Semantic Web effectively join? In this paper we provide an account of th...
Mathematical world knowledge is a fundamental component of Wikidata. However, to date, no expertly c...
Automated extraction of knowledge from natural language texts is a major technical challenge that re...
AbstractIn this article we describe the data model of the MB ase system, a web-based, distributed ma...
192 p.Mathematics is an important subject learned by students studying in schools and universities. ...
Abstract. Mathematics is a ubiquitous foundation of sci-ence, technology, and engineering. Specific ...
The mathematical community has started the Math-Net initiative, an activity building up a distribute...
Abstract. In this paper, we present an ontology of mathematical knowl-edge concepts that covers a wi...
Formal libraries are treasure troves of detailed mathematical knowledge, but this treasure is usuall...
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are ...
© Springer International Publishing Switzerland 2014. In this paper, we present an ontology of mathe...
Automated extraction of knowledge from natural language texts is a major technical challenge that re...
Based on the project activities planned in the context of the Specialized Information Service for Ma...
The World Wide Web (WWW) is useful for distributing scientific data. Most existing web data resource...
This paper describes an extension of the ebXML registry for publishing and discovering mathematical ...
How can Mathematics and the Semantic Web effectively join? In this paper we provide an account of th...
Mathematical world knowledge is a fundamental component of Wikidata. However, to date, no expertly c...
Automated extraction of knowledge from natural language texts is a major technical challenge that re...
AbstractIn this article we describe the data model of the MB ase system, a web-based, distributed ma...
192 p.Mathematics is an important subject learned by students studying in schools and universities. ...
Abstract. Mathematics is a ubiquitous foundation of sci-ence, technology, and engineering. Specific ...
The mathematical community has started the Math-Net initiative, an activity building up a distribute...
Abstract. In this paper, we present an ontology of mathematical knowl-edge concepts that covers a wi...
Formal libraries are treasure troves of detailed mathematical knowledge, but this treasure is usuall...
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are ...
© Springer International Publishing Switzerland 2014. In this paper, we present an ontology of mathe...
Automated extraction of knowledge from natural language texts is a major technical challenge that re...
Based on the project activities planned in the context of the Specialized Information Service for Ma...
The World Wide Web (WWW) is useful for distributing scientific data. Most existing web data resource...
This paper describes an extension of the ebXML registry for publishing and discovering mathematical ...
How can Mathematics and the Semantic Web effectively join? In this paper we provide an account of th...
Mathematical world knowledge is a fundamental component of Wikidata. However, to date, no expertly c...
Automated extraction of knowledge from natural language texts is a major technical challenge that re...
DOI
Add to ORKG