- Computer certified efficient exact reals in Coq Robbert Krebbers and Bas Spitters
- Constructive Results on Operator Algebras1 Bas Spitters2
- Practicumhandleiding Intelligente Systemen
- Decidability and undecidability in theories of real vector spaces
- Constructive axiomatic for the real numbers Jean-Marie Madiot
- We zetten eerst ieder formule om in een clausule 1. Bx Ax (1)
- Using reflection to solve some differential equations Guillaume Allais
- Univariate and Bivariate Integral Roots Certificates Based on Hensel Lifting
- Constructive axiomatic for the real numbers Jean-Marie Madiot,
- RADBOUD UNIVERSITEIT NIJMEGEN Faculteit Natuurwetenschappen, Wiskunde en Informatica
- The space of measurement outcomes as a spectrum for a non-commutative algebras
- 13 april 2010 in Hfml0220 10:30-12:30. Het maximum aantal punten dat per opgave is aangegeven, 100 punten in totaal.
- A constructive view on compact constructive algebra applied to analysis
- The static debugger: classical realizability rescuing the programmer
- Two Problems Constructive maths
- APPROXIMATING INTEGRABLE SETS BY COMPACTS CONSTRUCTIVELY
- How to Understand What Classical Mathematicians Say
- Math. Log. Quart. 00 (2004) 0, 1 12 Mathematical Logic
- Topos theory and Algebraic Quantum theory Bas Spitters
- Experiments with computable matrices in the Coq system
- Formal Component-Based Semantics Ken Madlener1
- 25 januari 2010 in HG00.303 10:30-12:30. Het maximum aantal punten dat per opgave is aangegeven, 100 punten in totaal.
- Constructive algebraic integration theory without choice Bas Spitters
- Constructive Formalization of Classical Modal Logic
- Enhancing imperative exact real arithmetic
- A constructive view on ergodic theorems Bas Spitters
- Program extraction from large proof developments
- APPROXIMATING INTEGRABLE SETS BY COMPACTS CONSTRUCTIVELY
- CONSTRUCTIVE ALGEBRAIC INTEGRATION THEORY BAS SPITTERS
- Locating the range of an operator with an adjoint Douglas Bridges, Hajime Ishihara, and Bas Spitters
- Program extraction from large proof developments
- A CONSTRUCTIVE CONVERSE OF THE MEAN VALUE THEOREM.
- Generic Environments in Coq by Emmanuel Polonowski
- Padova, 24th Oct 2008 Heunen & Landsman & Spitters A topos for algebraic quantum theory 1 / 48 A topos for algebraic quantum theory
- Proposal MAP 2011 Thierry Coquand, Henri Lombardi, Marie-Francoise Roy and Bas Spitters
- Formeel Denken Henk Barendregt
- Locating the range of an operator with an adjoint Douglas Bridges, Hajime Ishihara, and Bas Spitters
- CONSTRUCTIVE ALGEBRAIC INTEGRATION THEORY BAS SPITTERS
- Regels voor Natuurlijke Deductie (naar 1 regel Coq commando
- Locatedness and overt sublocales Bas Spitters
- Using reflection to solve some differential equations Guillaume Allais
- Automated Game-Based Cryptographic Proofs Gilles Barthe1, Benjamin Gregoire2, Sylvain Heraud2, and
- Two Problems Observational integration theory
- Computer certified efficient exact reals in Coq Bas Spitters
- A CONSTRUCTIVE CONVERSE OF THE MEAN VALUE THEOREM.
- Formal Component-Based Semantics Ken Madlener,
- Radboud Universiteit Nijmegen Examenonderdeel Semantiek van Logisch Programmeren woensdag 19
- Under consideration for publication in Math. Struct. in Comp. Science Constructive analysis, types and exact real
- MATHEMATICS: ALGORITHMS AND PROOFS THIERRY COQUAND, HENRI LOMBARDI, MARIE-FRANCOISE ROY,
- Radboud Universiteit Nijmegen Examenonderdeel Semantiek van Logisch Programmeren woensdag 19
