| 2007 |
|---|
| 23 | EE | Cezary Kaliszyk,
Freek Wiedijk:
Certified Computer Algebra on Top of an Interactive Theorem Prover.
Calculemus/MKM 2007: 94-105 |
| 22 | EE | Freek Wiedijk:
Mizar's Soft Type System.
TPHOLs 2007: 383-399 |
| 21 | EE | Bas Spitters,
Herman Geuvers,
Milad Niqui,
Freek Wiedijk:
Preface to the special issue: Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 1 (2007) |
| 20 | EE | Herman Geuvers,
Milad Niqui,
Bas Spitters,
Freek Wiedijk:
Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 3-36 (2007) |
| 2006 |
|---|
| 19 | | Freek Wiedijk:
The Seventeen Provers of the World, Foreword by Dana S. Scott
Springer 2006 |
| 18 | EE | Freek Wiedijk:
Introduction.
The Seventeen Provers of the World 2006: 1-9 |
| 17 | EE | Freek Wiedijk:
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics.
J. Applied Logic 4(4): 622-645 (2006) |
| 2005 |
|---|
| 16 | EE | Michael Beeson,
Freek Wiedijk:
The meaning of infinity in calculus and computer algebra systems.
J. Symb. Comput. 39(5): 523-538 (2005) |
| 2004 |
|---|
| 15 | EE | Luís Cruz-Filipe,
Herman Geuvers,
Freek Wiedijk:
C-CoRN, the Constructive Coq Repository at Nijmegen.
MKM 2004: 88-103 |
| 14 | EE | Luís Cruz-Filipe,
Freek Wiedijk:
Hierarchical Reflection.
TPHOLs 2004: 66-81 |
| 2003 |
|---|
| 13 | | Herman Geuvers,
Freek Wiedijk:
Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Springer 2003 |
| 12 | EE | Freek Wiedijk:
Comparing Mathematical Provers.
MKM 2003: 188-202 |
| 11 | EE | Freek Wiedijk,
Jan Zwanenburg:
First Order Logic with Domain Conditions.
TPHOLs 2003: 221-237 |
| 10 | EE | Freek Wiedijk:
Formal Proof Sketches.
TYPES 2003: 378-393 |
| 2002 |
|---|
| 9 | EE | Michael Beeson,
Freek Wiedijk:
The Meaning of Infinity in Calculus and Computer Algebra Systems.
AISC 2002: 246-258 |
| 8 | | Freek Wiedijk:
A New Implementation of Automath.
J. Autom. Reasoning 29(3-4): 365-387 (2002) |
| 7 | | Markus Wenzel,
Freek Wiedijk:
A Comparison of Mizar and Isar.
J. Autom. Reasoning 29(3-4): 389-411 (2002) |
| 6 | EE | Herman Geuvers,
Randy Pollack,
Freek Wiedijk,
Jan Zwanenburg:
A Constructive Algebraic Hierarchy in Coq.
J. Symb. Comput. 34(4): 271-286 (2002) |
| 2001 |
|---|
| 5 | EE | Freek Wiedijk:
Mizar Light for HOL Light.
TPHOLs 2001: 378-394 |
| 2000 |
|---|
| 4 | | Herman Geuvers,
Freek Wiedijk,
Jan Zwanenburg:
Equational Reasoning via Partial Reflection.
TPHOLs 2000: 162-178 |
| 3 | EE | Herman Geuvers,
Freek Wiedijk,
Jan Zwanenburg:
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.
TYPES 2000: 96-111 |
| 1991 |
|---|
| 2 | | Jan A. Bergstra,
Sjouke Mauw,
Freek Wiedijk:
Uniform Algebraic Specifications of Finite Sets with Equality.
Int. J. Found. Comput. Sci. 2(1): 43-65 (1991) |
| 1989 |
|---|
| 1 | | Sjouke Mauw,
Freek Wiedijk:
Specification of the Transit Node in PSFd.
Algebraic Methods 1989: 341-361 |
