@inproceedings{102676e0cd7b4e3ba3f911e6e0f78dc2,
title = "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.",
author = "Andrea Asperti and Ferruccio Guidi and Coen, \{Claudio Sacerdoti\} and Enrico Tassi and Stefano Zacchiroli",
year = "2006",
month = jun,
day = "23",
doi = "10.1007/11617990\_2",
language = "English",
isbn = "3540314288",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "17--32",
booktitle = "Types for Proofs and Programs - International Workshop, TYPES 2004, Revised Selected Papers",
note = "International Workshop on Types for Proofs and Programs, TYPES 2004 ; Conference date: 15-12-2004 Through 18-12-2004",
}