Freek Wiedijk

Computational Theory and Mathematics · 2014

A researcher in the Science corpus: 1 paper; trusts 12 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 11 citations into it
• Artificial Intelligence — 9 citations into it
• Program Analysis & Verification — 5 citations into it

Whom Freek Wiedijk trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Xavier Leroy
2. Pablo A. Parrilo
3. Norman D. Megill
4. Peter Dybjer
5. E. Goldberg
6. Allen Newell
7. Niklas Eén
8. Gerwin Klein

Papers from Freek Wiedijk's perspective

Ordered by how strongly the researchers Freek Wiedijk trusts endorse each paper. Same corpus, a different order for every researcher.

1. seL4: formal verification of an operating-system kernel (Communications of the ACM)
2. Formal Proof—The Four- Color Theorem
3. seL4: formal verification of an OS kernel
4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
5. A proof of the Kepler conjecture
6. Formal verification of a realistic compiler
7. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
8. Semidefinite programming relaxations for semialgebraic problems
9. HOL Light: A Tutorial Introduction
10. E – a brainiac theorem prover (AI Communications)

Their papers

• History of Interactive Theorem Proving (2014) — 94 citations