Freek Wiedijk - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

PrefaceJacques Carette, Makarius Wenzel, Freek Wiedijk. JAR, 44(1-2):1-2, 2010. [doi]

Proviola: A Tool for Proof Re-animationCarst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk. AISC 2010: 440-454 [doi]

2008

2007

2006

Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematicsFreek Wiedijk. japll, 4(4):622-645, 2006. [doi]

IntroductionFreek Wiedijk. tphol 2006: 1-9 [doi]

2005

The meaning of infinity in calculus and computer algebra systemsMichael Beeson, Freek Wiedijk. JSC, 39(5):523-538, 2005. [doi]

2004

Hierarchical ReflectionLuís Cruz-Filipe, Freek Wiedijk. tphol 2004: 66-81 [doi]

C-CoRN, the Constructive Coq Repository at NijmegenLuís Cruz-Filipe, Herman Geuvers, Freek Wiedijk. mkm 2004: 88-103 [doi]

2003

Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected PapersHerman Geuvers, Freek Wiedijk, editors, Volume 2646 of Lecture Notes in Computer Science, Springer, 2003.

Comparing Mathematical ProversFreek Wiedijk. mkm 2003: 188-202 [doi]

Formal Proof SketchesFreek Wiedijk. TYPES 2004: 378-393 [doi]

First Order Logic with Domain ConditionsFreek Wiedijk, Jan Zwanenburg. tphol 2003: 221-237 [doi]

2002

The Meaning of Infinity in Calculus and Computer Algebra SystemsMichael Beeson, Freek Wiedijk. AISC 2002: 246-258 [doi]

A Constructive Algebraic Hierarchy in CoqHerman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg. JSC, 34(4):271-286, 2002. [doi]

A Comparison of Mizar and IsarMarkus Wenzel, Freek Wiedijk. JAR, 29(3-4):389-411, 2002.

A New Implementation of AutomathFreek Wiedijk. JAR, 29(3-4):365-387, 2002.

2001

Mizar Light for HOL LightFreek Wiedijk. tphol 2001: 378-394 [doi]

2000

Equational Reasoning via Partial ReflectionHerman Geuvers, Freek Wiedijk, Jan Zwanenburg. tphol 2000: 162-178

A Constructive Proof of the Fundamental Theorem of Algebra without Using the RationalsHerman Geuvers, Freek Wiedijk, Jan Zwanenburg. TYPES 2002: 96-111 [doi]

1991

Uniform Algebraic Specifications of Finite Sets with EqualityJan A. Bergstra, Sjouke Mauw, Freek Wiedijk. ijfcs, 2(1):43-65, 1991.

1989

Specification of the Transit Node in PSF::d::Sjouke Mauw, Freek Wiedijk. am 1991: 341-361