Concepedia

Freek Wiedijk

FW

Statistics

Publications

22

Citations

649

H-Index

14

Active since

1983

Affiliations

Radboud University Nijmegen(Current)

San Jose State University

Freek Wiedijk is an author at Radboud University Nijmegen specializing in computer science, computing, and theorem proving.

Publications per year

1983–2021

22

Publications

22

Some metrical observations on the approximation by continued fractions

W. Bosma, H. Jager, Freek Wiedijk · Indagationes Mathematicae (Proceedings) · 1983 · 81 citations

, , +13

Formal proof -- getting started

Freek Wiedijk · Radboud Repository (Radboud University) · 2008 · 66 citations · Full text

, , +11

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 66 citations · Full text

, , +8

The challenge of computer mathematics

Henk Barendregt, Freek Wiedijk · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2005 · 55 citations · Full text

, , +17

A Comparison of Mizar and Isar

Markus Wenzel, Freek Wiedijk · Journal of Automated Reasoning · 2002 · 54 citations

, , +1

1–5 of 22