Creating subjective and objective sentence classifiers from unannotated texts J Wiebe, E Riloff International conference on intelligent text processing and computational …, 2005 | 1001* | 2005 |
C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004 | 130 | 2004 |
Formal proof--getting started F Wiedijk | 111 | 2008 |
History of interactive theorem proving J Harrison, J Urban, F Wiedijk Handbook of the History of Logic 9, 135-214, 2014 | 110 | 2014 |
Some metrical observations on the approximation by continued fractions W Bosma, H Jager, F Wiedijk Indagationes Mathematicae (Proceedings) 86 (3), 281-299, 1983 | 110 | 1983 |
The Seventeen Provers of the World, volume 3600 of LNCS F Wiedijk Springer, 2006 | 105 | 2006 |
The challenge of computer mathematics H Barendregt, F Wiedijk Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005 | 103 | 2005 |
Formal proof sketches F Wiedijk Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004 | 90 | 2004 |
Comparing mathematical provers F Wiedijk Mathematical Knowledge Management: Second International Conference, MKM 2003 …, 2003 | 90 | 2003 |
A comparison of Mizar and Isar M Wenzel, F Wiedijk Journal of Automated Reasoning 29 (3), 389-411, 2002 | 89 | 2002 |
A constructive algebraic hierarchy in Coq H Geuvers, R Pollack, F Wiedijk, J Zwanenburg Journal of Symbolic Computation 34 (4), 271-286, 2002 | 83 | 2002 |
The QED manifesto revisited F Wiedijk Studies in Logic, Grammar and Rhetoric 10 (23), 121-133, 2007 | 66 | 2007 |
A constructive proof of the fundamental theorem of algebra without using the rationals H Geuvers, F Wiedijk, J Zwanenburg Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK …, 2002 | 66 | 2002 |
Formal C semantics: CompCert and the C standard R Krebbers, X Leroy, F Wiedijk Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 59 | 2014 |
Formalizing 100 theorems F Wiedijk | 59 | 2008 |
Mizar light for HOL light F Wiedijk Theorem Proving in Higher Order Logics: 14th International Conference …, 2001 | 58 | 2001 |
The de Bruijn factor F Wiedijk | 56 | 2000 |
Teaching logic using a state-of-the-art proof assistant M Hendriks, C Kaliszyk, F Raamsdonk, F Wiedijk | 51 | 2010 |
Certified computer algebra on top of an interactive theorem prover C Kaliszyk, F Wiedijk International Conference on Mathematical Knowledge Management, 94-105, 2007 | 44 | 2007 |
Mizar: an impression F Wiedijk Unpublished paper, 1999 | 42 | 1999 |