Freek Wiedijk

Available identifiers

zbMath Open wiedijk.freekMaRDI QIDQ865657

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4964711	2021-03-03	Paper
Proof-checking Euclid	2019-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q2988060	2017-05-18	Paper
A probabilistic analysis of the Game of the Goose	2016-05-20	Paper
Pollack-inconsistency	2014-07-22	Paper
A logical framework with explicit conversions	2014-01-10	Paper
Separation Logic for Non-local Control Flow and Block Scope Variables	2013-03-18	Paper
A synthesis of the procedural and declarative styles of interactive theorem proving	2012-04-03	Paper
A Formalization of the C99 Standard in HOL, Isabelle and Coq	2011-07-29	Paper
Proviola: A Tool for Proof Re-animation	2010-08-24	Paper
First Order Logic with Domain Conditions	2010-05-07	Paper
Formalizing Arrow's theorem	2009-11-23	Paper
Merging Procedural and Declarative Proof	2009-07-02	Paper
The challenge of computer mathematics	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5302561	2009-01-07	Paper
Mizar’s Soft Type System	2008-09-02	Paper
Certified Computer Algebra on Top of an Interactive Theorem Prover	2007-11-28	Paper
The meaning of infinity in calculus and computer algebra systems	2007-10-19	Paper
Constructive analysis, types and exact real numbers	2007-04-12	Paper
Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics	2007-02-20	Paper
Types for Proofs and Programs	2005-12-23	Paper
Mathematical Knowledge Management	2005-08-26	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4808723	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736392	2004-08-09	Paper
A constructive algebraic hierarchy in Coq.	2003-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413894	2003-07-21	Paper
A new implementation of Automath	2003-04-27	Paper
A comparison of Mizar and Isar	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4790672	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754042	2001-11-11	Paper
UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3669515	1983-01-01	Paper

Research outcomes over time

This page was built for person: Freek Wiedijk