- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Wiedijk, F."
Now showing items 1-44 of 44
-
Proof-checking Euclid Beeson, Michael; Narboux, Julien; Wiedijk, Freek2019, Article / Letter to editor (Annals of Mathematics and Artificial Intelligence, vol. 85, iss. 2-4, (2019), pp. 213-257) -
Preface: Twenty Years of the QED Manifesto Harrison, J.; Urban, Josef; Wiedijk, F.2016, Article / Letter to editor (Journal of Formalized Reasoning, vol. 9, iss. 1, (2016), pp. 1-2)
-
Een wiskundig bewijs correct bewezen: De meest efficiënte manier om bollen op te stapelen (in Dutch) Wiedijk, F. ; Geuvers, H. ; Urban, J.2016, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 5/17, iss. 3, (2016), pp. 177-183)
-
A Probabilistic Analysis of the Game of the Goose Groote, J.F.; Wiedijk, F. ; Zantema, H.2016, Article / Letter to editor (Siam Review, vol. 58, iss. 1, (2016), pp. 143-155)
-
A Typed C11 Semantics for Interactive Theorem Proving 2015, Article in monograph or in proceedings (Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 15-27) -
Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science Théry, L.; Wiedijk, F.2015, Article / Letter to editor (Mathematics in Computer Science, vol. 9, iss. 1, (2015), pp. 1-3)
-
Formal C semantics: CompCert and the C standard Krebbers, R. ; Leroy, X.; Wiedijk, F.2014, Part of book or chapter of book (Klein, G. (ed.), Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, pp. 543-548)
-
Separation Logic for Non-local Control Flow and Block Scope Variables 2013, Part of book or chapter of book (Pfenning, F. (ed.), Foundations of Software Science and Computation Structures, pp. 257-272)
-
Explicit convertibility proofs in pure type systems Doorn, F. van; Geuvers, H. ; Wiedijk, F.2013, Article in monograph or in proceedings (Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA, pp. 25-36)
-
A synthesis of the procedural and declarative styles of interactive theorem proving 2012, Article / Letter to editor (Logical Methods in Computer Science, vol. 8, iss. 1:30, (2012), pp. 1-26)
-
Pollack-inconsistency 2012, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 285, (2012), pp. 85-100)
-
Stateless HOL 2011, Article in monograph or in proceedings (Hirschowitz, T. (ed.), Proceedings Types for Proofs and Programs, Revised Selected Papers Aussois, France, 12-15th May 2009, pp. 47-61)
-
A Formalization of the C99 Standard HOL, Isabelle and Coq 2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 301-303)
-
Preface 2011, Part of book or chapter of book (Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings, pp. V-VI)
-
Pure Type Systems without Explicit Contexts 2010, Article in monograph or in proceedings (Crary, K.; Miculan, M. (ed.), Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Edinburgh, UK, 14th July 2010, pp. 53-68)
-
Journal of Automated Reasoning: Preface Carette, J.; Wenzel, M.; Wiedijk, F.2010, Article / Letter to editor (Journal of Automated Reasoning, vol. 44, iss. 1-2, (2010), pp. 1-2)
-
Proviola: A tool for proof re-animation 2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454)
-
Wiskundig onderzoek per computer? Cornelissen, G.; Graaf, W.T.A. van der ; Kallen, W. van der; Sijsling, J.; Smit, B.; Stevens, J.; Wiedijk, F.2009, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 10, iss. 3, (2009), pp. 197-200)
-
Formalizing Arrow's theorem 2009, Article / Letter to editor (Sadhana, vol. 34, iss. 1, (2009), pp. 193-220)
-
Practising logic through the web 2009, Article / Letter to editor (Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, vol. 13, (2009), pp. 61-68)
-
A Real Semantic Web for Mathematics Deserves a Real Semantics 2008, Article in monograph or in proceedings (Lange, Christoph; Schaffert, Sebastian; Skaf-Molli, Hala (ed.), SemWiki 2008 – The Wiki Way of Semantics : Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), pp. 62-66)
-
Formal proof -- getting started 2008, Article / Letter to editor (Notices of the American Mathematical Society, vol. 55, iss. 11, (2008), pp. 1408-1414)
-
A logical framework with explicit conversions 2008, Article in monograph or in proceedings (Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pp. 33-47)
-
Deduction using the ProofWeb system Kaliszyk, C.S. ; Raamsdonk, F. van; Wiedijk, F. ; Wupper, H. ; Hendriks, Maxim; Vrijer, Roel de2008, External research report
-
De kunst van het bewijzen 2008, Part of book or chapter of book (Wiskunde en profil : het gezicht van de wiskunde, pp. 107-130)
-
Mizar's Soft Type System 2007, Article in monograph or in proceedings (Schneider, K.; Brandt, J. (ed.), Theorem Proving in Higher Order Logics 2007, pp. 383-399) -
Certified Computer Algebra on top of an Interactive Theorem Prover 2007, Article in monograph or in proceedings (M. Kauers, R. Miner; Windsteiger, W. (ed.), Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg, pp. 94-105)
-
The QED Manifesto Revisited 2007, Part of book or chapter of book (Matuszwski, R.; Zalewska, A. (ed.), From Insight to Proof, Festschrift in Honour of Andrzej Trybulec, pp. 121-133)
-
Programming Languages for Mechanized Mathematics Workshop, Informal Proceedings Carette, J.; Wiedijk, F.2007, Book editorial
-
Teaching logic using a state-of-the-art proof assistant Kaliszyk, C.S. ; Wiedijk, F. ; Hendriks, M. ; Raamsdonk, F. van2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
-
Constructive analysis, types and exact real numbers (overview article) 2007, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 17, iss. 1, (2007), pp. 3-36)
-
Preface to the special issue: Constructive analysis, types and exact real numbers Spitters, B.; Geuvers, J.H. ; Niqui, M. ; Wiedijk, F.2007, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 17, iss. 1, (2007), pp. 1)
-
-
-
Introduction 2006, Article in monograph or in proceedings (Wiedijk, F. (ed.), The Seventeen Provers of the World, pp. 1-9)
-
Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics 2006, Article / Letter to editor (Journal of Applied Logic, vol. 4, iss. 4, (2006), pp. 622-645)
-
Bewijzen: romantisch of emphcool 2006, Article / Letter to editor (Euclides, vol. 81, iss. 4, (2006), pp. 175-179)
-
The Challenge of Computer Mathematics 2005, Article / Letter to editor (Philosophical Transactions of the Royal Society A, vol. 1835, iss. 1835, (2005), pp. 2351-2375)
-
The meaning of infinity in calculus and computer algebra Systems. Beeson, M.; Wiedijk, F.2005, Article / Letter to editor (Journal of Symbolic Computation, vol. 39, iss. 5, (2005), pp. 523-538)
-
C-CoRN, the Constructive Coq Repository at Nijmegen Cruz-Filipe, L.; Geuvers, J.H. ; Wiedijk, F.2004, Article in monograph or in proceedings (Asperti, A.; Andrzej Tr (ed.), Mathematical Knowledge Management, MKM 2004, pp. 88-103)
-
A logical framework with explicit conversions 2004, Article in monograph or in proceedings (Sch"urmann, Carsten (ed.), LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, pp. 32-45)
-
A constructive algebraic hierarchy in Coq Geuvers, J.H. ; Pollack, R.; Wiedijk, F. ; Zwanenburg, J.2002, Article / Letter to editor (Journal of Symbolic Computation, vol. 34, iss. 4, (2002), pp. 271-286)
-
Equational reasoning via partial reflection Geuvers, J.H. ; Wiedijk, F. ; Zwanenburg, J.2000, Part of book or chapter of book (Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings, pp. 162-178)
Now showing items 1-44 of 44
Search Repository
Browse
-
All of Repository
Upload Full Text