Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Datasets
Search by expertise, name or affiliation
Formalization of Algorithms and Logical inference Systems in Proof Assistants
Schlichtkrull, Anders
(PhD Student)
Villadsen, Jørgen
(Main Supervisor)
Blanchette, Jasmin Christian
(Supervisor)
Bolander, Thomas
(Supervisor)
Mödersheim, Sebastian Alexander
(Examiner)
Bengtson, Jesper
(Examiner)
Nipkow, Tobias
(Examiner)
Overview
Fingerprint
Research output
(1)
Project Details
Status
Finished
Effective start/end date
15/09/2015
→
14/11/2018
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Calculus
Mathematics
100%
Formalization
Mathematics
100%
Completeness
Mathematics
40%
Soundness
Computer Science
40%
Computer Program
Mathematics
30%
Natural Deduction
Computer Science
30%
σ property
Mathematics
20%
Truth Value
Mathematics
10%
Research output
Research output per year
2018
2018
2018
1
Ph.D. thesis
Research output per year
Research output per year
Formalization of Logic in the Isabelle Proof Assistant
Schlichtkrull, A.
,
2018
,
DTU Compute
.
168 p.
(DTU Compute PHD-2018, Vol. 493).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Calculus
100%
Formalization
100%
Completeness
40%
Soundness
40%
Computer Program
30%
606
Downloads (Pure)