Search the dblp DataBase
Freek Wiedijk :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Michael Beeson , Freek Wiedijk The Meaning of Infinity in Calculus and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP ] AISC, 2002, pp:246-258 [Conf ] Sjouke Mauw , Freek Wiedijk Specification of the Transit Node in PSFd . [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1989, pp:341-361 [Conf ] Luís Cruz-Filipe , Herman Geuvers , Freek Wiedijk C-CoRN, the Constructive Coq Repository at Nijmegen. [Citation Graph (0, 0)][DBLP ] MKM, 2004, pp:88-103 [Conf ] Freek Wiedijk Comparing Mathematical Provers. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:188-202 [Conf ] Luís Cruz-Filipe , Freek Wiedijk Hierarchical Reflection. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2004, pp:66-81 [Conf ] Herman Geuvers , Freek Wiedijk , Jan Zwanenburg Equational Reasoning via Partial Reflection. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2000, pp:162-178 [Conf ] Freek Wiedijk Mizar Light for HOL Light. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:378-394 [Conf ] Freek Wiedijk Introduction. [Citation Graph (0, 0)][DBLP ] The Seventeen Provers of the World, 2006, pp:1-9 [Conf ] Freek Wiedijk , Jan Zwanenburg First Order Logic with Domain Conditions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2003, pp:221-237 [Conf ] Herman Geuvers , Freek Wiedijk , Jan Zwanenburg A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. [Citation Graph (0, 0)][DBLP ] TYPES, 2000, pp:96-111 [Conf ] Freek Wiedijk Formal Proof Sketches. [Citation Graph (0, 0)][DBLP ] TYPES, 2003, pp:378-393 [Conf ] Jan A. Bergstra , Sjouke Mauw , Freek Wiedijk Uniform Algebraic Specifications of Finite Sets with Equality. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:43-65 [Journal ] Freek Wiedijk Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2006, v:4, n:4, pp:622-645 [Journal ] Markus Wenzel , Freek Wiedijk A Comparison of Mizar and Isar. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:29, n:3-4, pp:389-411 [Journal ] Freek Wiedijk A New Implementation of Automath. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:29, n:3-4, pp:365-387 [Journal ] Michael Beeson , Freek Wiedijk The meaning of infinity in calculus and computer algebra systems. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2005, v:39, n:5, pp:523-538 [Journal ] Herman Geuvers , Randy Pollack , Freek Wiedijk , Jan Zwanenburg A Constructive Algebraic Hierarchy in Coq. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2002, v:34, n:4, pp:271-286 [Journal ] Cezary Kaliszyk , Freek Wiedijk Certified Computer Algebra on Top of an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Calculemus/MKM, 2007, pp:94-105 [Conf ] Freek Wiedijk Mizar's Soft Type System. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2007, pp:383-399 [Conf ] Bas Spitters , Herman Geuvers , Milad Niqui , Freek Wiedijk Preface to the special issue: Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:1- [Journal ] Herman Geuvers , Milad Niqui , Bas Spitters , Freek Wiedijk Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:3-36 [Journal ] Proviola: A Tool for Proof Re-animation. [Citation Graph (, )][DBLP ] Merging Procedural and Declarative Proof. [Citation Graph (, )][DBLP ] A Real Semantic Web for Mathematics Deserves a Real Semantics. [Citation Graph (, )][DBLP ] Proviola: A Tool for Proof Re-animation [Citation Graph (, )][DBLP ] A Logical Framework with Explicit Conversions. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs