Full entry |
PDF
(0.8 MB)
Feedback

mathematical discourse; EgoMath

References:

1.
**Egothor v2 search engine**. http://www.egothor.org

2. Zhao, J., Kan, M., Theng, Y. L.: **Math Information Retrieval: User Requirements and Prototype Implementation**. To appear in JCDL ’08, Pennsylvania (2008).

3. Kohlhase, M., S̨ucan, I. A.: **A search engine for mathematical formulae**. Proceedings of Artificial Intelligence and Symbolic Computation, AISC ’06, LNAI 4120, Springer Verlag, Germany (2006). Zbl 1156.68306

4. Miller, B., Youssef, A.: **Technical aspects of the digital library of mathematical functions**. Annals of Mathematics and Artificial Intelligence, 121–136 (2003). MR 1990417 | Zbl 1019.65002

5. Miner, R., Munavalli, R.: **An approach to mathematical search through query formulation and data normalization**. In Towards Mechanized Mathematical Assistants, MKM 2007, 342–355 (2007). Zbl 1202.68130

6. Libbrecht, P., Melis, E.: **Methods for access and retrieval of mathematical content in ActiveMath**. Proceedings of ICMS 2006, LNAI 4151, Springer Berlin/Heidelberg, 331–342 (2006).

7. Kohlhase, M., Franke, A.: **MBase: Representing knowledge and context for the integration of mathematical software systems**. Journal of Symbolic Computation, Special Issue on the Integration of Computer algebra and Deduction Systems, 365–402 (2001). MR 1856848 | Zbl 0981.68153

8. Asperti, A., Selmi, M.: **Efficient retrieval of mathematical statements**. In Mathematical Knowledge Management, LNCS 3119, Springer Verlag, 1–4 (2004). Zbl 1108.68582

9. Asperti, A., Guidi, F., Sacerdoti Coen, C., Tassi, E., Zacchiroli, S.: **A content based mathematical search engine: Whelp**. Proceedings of the TYPES 2004, LNCS 3839, Springer Verlag, 17–32 (2004).

10. Stuber, J., van den Brand, M.: **Extracting Mathematical Semantics from LaTeX Documents**. LNCS 2901, Springer, Germany, 160–173 (2003).

11. Mišutka, J.: **Mathematical search engine**. Master thesis, Faculty of Mathematics and Physics, Charles University in Prague (2007).

12. Miller, B. R.: **Authoring mathematical knowledge**. In 2$nd$ North American Workshop on Mathematical Knowledge Management, Phoenix (2004). http://dlmf.nist.gov/LaTeXML/

13. Miller, B. R.: **DLMF, LaTeXML and some lessons learned**. Hot Topic Workshop on The Evolution of Mathematical Communication in the Age of Digital Libraries (2006).

14. Suzuki, M., Tamari, F., Fukuda, R., Uchida, S., Kanahori, T.: **INFTY — An integrated OCR system for mathematical documents**. Proceedings of DocEng, France (2003).