Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

DOI10.1007/978-3-540-73086-6_28MaRDI QIDQ5428284zbMATH OpenOpenAlexFDO

Authors Immanuel Normann, Michael Kohlhase

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_28

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Knowledge representation (68T30)

Recommendations

• An Approach to Mathematical Search Through Query Formulation and Data Normalization
• A Search Engine for Mathematical Formulae
• Improving mathematics retrieval
• Extending full text search engine for mathematical content

Cited in

(3)

• Structure formation in large theories
• Mathematical world knowledge contained in the multilingual Wikipedia project
• An Approach to Mathematical Search Through Query Formulation and Data Normalization

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428284)