3,302 research outputs found
Documentation and formal mathematics : web technology meets theorem proving
No full textContains fulltext :
119001.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 17 december 2013Promotor : Geuvers, J.H. Co-promotor : McKinna, J.H.109 p
Interactive mathematical documents : creation and presentation
No full textContains fulltext :
122866.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 23 september 2013Promotor : Geuvers, J.H. Co-promotor : McKinna, J.H.199 p
Constructing Higher Inductive Types
No full textContains fulltext :
226923.pdf (Publisher’s version ) (Open Access)Radboud University, 08 december 2020Promotores : Geuvers, J.H., Hinze, R.T.W.vi, 111 p
Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web
No full textContains fulltext :
75399.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 03 september 2009Promotor : Geuvers, J.H. Co-promotor : Wiedijk, F.141 p
Incompleteness & completeness : formalizing logic and analysis in type theory
No full textContains fulltext :
76032.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 05 oktober 2009Promotor : Geuvers, J.H. Co-promotor : Spitters, B.A.W.151 p
The C standard formalized in Coq
No full textContains fulltext :
147182.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 01 december 2015Promotor : Geuvers, J.H. Co-promotor : Wiedijk, F.VIII, 227 p
Machine Learning for Automated Reasoning
No full textContains fulltext :
135136.pdf (Publisher’s version ) (Open Access)Radboud Universiteit Nijmegen, 14 april 2014Promotores : Heskes, T.M., Geuvers, J.H. Co-promotor : Urban, J.129 p
Generation and presentation of formal mathematical documents
No full textItem does not contain fulltextTechnische Universiteit Eindhoven, 18 september 2001Promotores : Baeten, J.C.M., Barendregt, H.P. Co-promotor : Geuvers, J.H.144 p
Concurrent Separation Logics for Safety, Refinement, and Security
No full textContains fulltext :
230654.pdf (Publisher’s version ) (Open Access)Radboud University, 12 maart 2021Promotor : Geuvers, J.H. Co-promotores : Krebbers, R.J., Wiedijk, F.v, 201 p
Formalising Exact Arithmetic. Representations, Algorithms and Proofs
No full textContains fulltext :
60666.pdf (Publisher’s version ) (Open Access)RU Radboud Universiteit Nijmegen, 27 september 2004Promotor : Barendregt, H.P. Co-promotor : Geuvers, J.H.VI, 195 p
- …
