Mining the Archive of Formal Proofs
- 23 June 2015
- book chapter
- Published by Springer Nature
- p. 3-17
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Extending Sledgehammer with SMT SolversJournal of Automated Reasoning, 2013
- System Description: E 1.8Lecture Notes in Computer Science, 2013
- Type Classes and Filters for Mathematical Analysis in Isabelle/HOL2013
- A Machine-Checked Proof of the Odd Order Theorem2013
- ATP and Presentation Service for Mizar FormalizationsJournal of Automated Reasoning, 2012
- A Formally Verified Compiler Back-endJournal of Automated Reasoning, 2009
- Lightweight relevance filtering for machine-generated resolution problemsJournal of Applied Logic, 2009
- Characterizing and Mining the Citation Graph of the Computer Science LiteratureKnowledge and Information Systems, 2004
- Self-similarity in World Wide Web traffic: evidence and possible causesIEEE/ACM Transactions on Networking, 1997
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940