|
| Resource |
|
|
|
|
|
|
|
Comparisons among other Math Search System
| Math Search System |
Math Query Language |
Formats of Supporting MathMatical Expression |
Index Method |
Supporting for Content Query |
Web-Based |
Framework of the prototype |
| MathDex |
MathML(Presentation) |
MathML,LaTex,OpenMath,Infix.etc |
Text Retrieval |
NO |
NO |
Nought |
| DLMF Search |
LaTex |
Tex/LaTex |
Text Retrieval |
NO |
NO |
Lucene |
| LeActive Math |
OpenMath |
OMDoc |
Text Retrieval |
NO |
YES |
Lucene |
| EgoMath |
LaTex |
MathML,PDF |
Text Retrieval |
YES |
YES |
Egothor v2 |
| MathWebSearch |
MathML(Content) |
Content MathML、OpenMath、Limited Presentation MathML |
Replacement Tree |
YES |
YES |
Nought |
|
Related Articles
-
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli.A Content Based Mathematical Search Engine: Whelp.in Types for Proofs and Programs,SpringerLink, 2006
Abdou.Youssef,CanonicalMathML-Extreme07 Robert Miner , Rajesh Munavalli. An Approach to Mathematical Search Through Query Formulation and Data Normalization，in Towards Mechanized Mathematical Assistants,SpringerLink, 2007 -
Abdou.Youssef,Moody EAltamimi. An Extensive Math Query Language. The 16th International Conference on Software Engineering and Data Engineering,2007
Abdou.Youssef. An Information Search And Retrieval of Mathematical Contents: Issues And Methods. The ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2005), Toronto, Canada ,July 2005 Abdou. Youssef. Roles of Math Search in Mathematics. The 5th International Conference on Mathematical Knowledge Management, Wokingham, UK, August11-12, 2006
|
|
|
|