Local:>>
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


 
 
 
Copyright © 2009,the WME project team
all rights reserved