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

DOI10.1007/978-3-540-73086-6_28zbMath1202.68157OpenAlexW1770310498MaRDI QIDQ5428284

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

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

Related Items (2)

A survey on retrieval of mathematical knowledge ⋮ Structure Formation in Large Theories

Uses Software

• Mizar

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