Sciweavers

TYPES
2004
Springer

A Content Based Mathematical Search Engine: Whelp

13 years 9 months ago
A Content Based Mathematical Search Engine: Whelp
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The prototype — called Whelp — exploits a metadata approach for indexing the information that looks far more flexible than traditional indexing techniques for structured expressions like substitution, discrimination, or context trees. The prototype has been instantiated to the standard library of the Coq proof assistant extended with many user contributions.
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TYPES
Authors Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
Comments (0)