The main goal of most systems for formalizing mathematics is creating the database of formalized knowledge. Every system uses its own way of storing that knowledge. Pieces of the information stored in such a database are something more than just elements of that database - we may also look at it from another perspective. Namely, the information is the reflection of some text and that text is the representation of some logical reasoning. Therefore every such piece of information may be treated as an element of some set and then we may analyze the relationships between all these elements. This article describes such an approach to one of the systems for formalizing mathematics. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Milewski, R. (2006). Transformations of MML database’s elements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3863 LNAI, pp. 376–388). https://doi.org/10.1007/11618027_25
Mendeley helps you to discover research relevant for your work.