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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Freek Wiedijk