A Search Engine for Mathematical Formulae
From MaRDI portal
Publication:5302917
DOI10.1007/11856290_21zbMath1156.68306OpenAlexW1593320022WikidataQ63184524 ScholiaQ63184524MaRDI QIDQ5302917
Michael Kohlhase, Ioan A. Şucan
Publication date: 15 January 2009
Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11856290_21
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval ⋮ A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics ⋮ Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources ⋮ A Query Language for Formal Mathematical Libraries ⋮ OpenMP Implementation of Parallel Longest Common Subsequence Algorithm for Mathematical Expression Retrieval ⋮ Making PVS accessible to generic services by interpretation in a universal format ⋮ Transforming large collections of scientific publications to XML ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Unnamed Item ⋮ MathWebSearch ⋮ Which One Is Better: Presentation-Based or Content-Based Math Search? ⋮ Towards Knowledge Management for HOL Light ⋮ An Approach to Math-Similarity Search ⋮ Mathematical physics branches: identifying mixed type equations ⋮ The future of logic: foundation-independence
Uses Software
This page was built for publication: A Search Engine for Mathematical Formulae
