Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge-Reference-Cited by-同舟云学术

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

Published: Issue: Volume: Page:356-370
ISSN:0302-9743
Container-title:Towards Mechanized Mathematical Assistants
language:
Short-container-title:

Author:

Normann Immanuel,Kohlhase Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73086-6_28.pdf

Reference19 articles.

1. Bancerek, G.: On the structure of Mizar types. Electronic Notes in Theoretical Computer Science, 85(7) (2003)

2. Bancerek, G., Kohlhase, M.: The mizar mathematical library in omdoc (submitted, 2007)

3. Robert, L., Constable, S., Allen, H., Bromly, W., Cleaveland, J., Cremer, R., Harper, D., Howe, T., Knoblock, N., Mendler, P., Panangaden, J., Sasaki, J., Smith, S.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs (1986)

4. Lecture Notes in Computer Science;S. Dalmas,1996

5. Hähnle, R., Kerber, M., Weidenbach, C.: Common syntax of dfg-schwerpunktprogramm “deduktion”. Interner Bericht 10/96, Universität Karlsruhe, Fakultät für Informatik (1996)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatically Finding Theory Morphisms for Knowledge Management;Lecture Notes in Computer Science;2018

2. A Survey on Retrieval of Mathematical Knowledge;Lecture Notes in Computer Science;2015

3. Structure Formation in Large Theories;Lecture Notes in Computer Science;2015

4. MathWebSearch 0.5: Scaling an Open Formula Search Engine;Lecture Notes in Computer Science;2012

5. Recognition and retrieval of mathematical expressions;International Journal on Document Analysis and Recognition (IJDAR);2011-10-26