"Designing Mathematical Libraries Based on Requirements for Theorems."

Christoph Schwarzweller (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics