Abstract is missing.
- Unifying Functional InterpretationsPaulo Oliva. [doi]
- Constructive Proofs or Constructive Statements?Julio Rubio Garcia. [doi]
- Diagrammatic logic and exceptions: an introductionDominique Duval, Jean-Claude Reynaud. [doi]
- Coequalisers of formal topologyErik Palmgren. [doi]
- Constructive algebraic integration theory without choiceBas Spitters. [doi]
- Generalized metatheorems on the extractability of uniform bounds in functional analysisPhilipp Gerhardy, Ulrich Kohlenbach. [doi]
- A dynamical solution of Kronecker s problemIhsen Yengui. [doi]
- Some Notes On When is 0.999... equal to 1? Carsten Schneider. [doi]
- 05021 Executive Summary -- Mathematics, Algorithms, ProofsThierry Coquand. [doi]
- Henselian Local Rings: Around a Work in ProgressHervé Perdry, Mariemi Alonso, Henri Lombardi. [doi]
- Subdiscriminant of symmetric matrices are sums of squaresMarie-Françoise Roy. [doi]
- 05021 Abstracts Collection -- Mathematics, Algorithms, ProofsThierry Coquand, Henri Lombardi, Marie-Françoise Roy. [doi]
- Programming and certifying a CAD algorithm in the Coq systemAssia Mahboubi. [doi]
- Approximate fixed points of nonexpansive functions in product spacesUlrich Kohlenbach, Laurentiu Leustean. [doi]
- Certified mathematical hierarchies: the FoCal systemVirgile Prevosto. [doi]
- Towards Diagrammatic Specifications of Symbolic Computation SystemsCésar Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia. [doi]
- Enabling conditions for interpolated ringsFred Richman. [doi]
- Introduction to My Book Essays in Constructive Mathematics Harold M. Edwards. [doi]
- Introduction to the Flyspeck ProjectThomas C. Hales. [doi]
- A Nilregular Element PropertyThierry Coquand, Henri Lombardi, Peter Schuster. [doi]
- Proving Bounds for Real Linear Programs in Isabelle/HOLSteven Obua. [doi]
- Abel and the Concept of the Genus of a CurveHarold M. Edwards. [doi]
- Towards a Verified Enumeration of All Tame Plane GraphsTobias Nipkow, Gertrud Bauer. [doi]