Statistics
Publications
22
Citations
640
H-Index
14
Active since
1983
Affiliations
Freek Wiedijk is an author at Radboud University Nijmegen specializing in engineering, formal methods, and computer science.
Publications per year
1983–2021
22
22
Formal proof -- getting started
Freek Wiedijk · Data Archiving and Networked Services (DANS) · 2008 · 66 citations · Full text
A Constructive Algebraic Hierarchy in Coq
Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 65 citations · Full text
Algebraic Logic, Constructive Mathematics, Automated Reasoning +2
A Comparison of Mizar and Isar
Markus Wenzel, Freek Wiedijk · Journal of Automated Reasoning · 2002 · 53 citations
1–5 of 22