MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Term Indexing
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
Technical Aspects of the Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence
The Mathematica Book
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Communities of practice in MKM: an extensional model
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Methods to access and retrieve mathematical content in ACTIVEMATH
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Math information retrieval: user requirements and prototype implementation
Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Research on asynchronous communication-oriented page searching
AIRS'08 Proceedings of the 4th Asia information retrieval conference on Information retrieval technology
A new mathematics retrieval system
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Towards meaningful mathematical expressions in e-learning
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
A lattice-based approach for mathematical search using Formal Concept Analysis
Expert Systems with Applications: An International Journal
Methods to access and retrieve mathematical content in ACTIVEMATH
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Answering math queries with search engines
Proceedings of the 21st international conference companion on World Wide Web
A query language for formal mathematical libraries
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
MathWebSearch 0.5: scaling an open formula search engine
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
A math-aware search engine for math question answering system
Proceedings of the 21st ACM international conference on Information and knowledge management
Adaptive two-view online learning for math topic classification
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
The Mizar Mathematical Library in OMDoc: Translation and Applications
Journal of Automated Reasoning
WikiMirs: a mathematical information retrieval system for wikipedia
Proceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries
Retrieving documents with mathematical content
Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval
Structural similarity search for mathematics retrieval
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Automatic Semantic Generation and Arabic Translation of Mathematical Expressions on the Web
International Journal of Web-Based Learning and Teaching Technologies
Codewebs: scalable homework search for massive open online programming courses
Proceedings of the 23rd international conference on World wide web
Hi-index | 0.00 |
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application.