Mathematics, Algorithms, Proofs

Keyphrases

Publications

volume 5021, 2006

Mathematics, Algorithms, Proofs, 9.-14. January 2005 Mathematics, Algorithms, Proofs 5021 (2006)

2005

Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs (2005)
Harold M. Edwards
Abel and the Concept of the Genus of a Curve. Mathematics, Algorithms, Proofs (2005)
Virgile Prevosto
Certified mathematical hierarchies: the FoCal system. Mathematics, Algorithms, Proofs (2005)
Thierry Coquand
05021 Executive Summary -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs (2005)
Assia Mahboubi
Programming and certifying a CAD algorithm in the Coq system. Mathematics, Algorithms, Proofs (2005)
Carsten Schneider
Some Notes On "When is 0.999... equal to 1?". Mathematics, Algorithms, Proofs (2005)
Paulo Oliva
Unifying Functional Interpretations. Mathematics, Algorithms, Proofs (2005)
Julio Rubio Garcia
Constructive Proofs or Constructive Statements?. Mathematics, Algorithms, Proofs (2005)
Ihsen Yengui
A dynamical solution of Kronecker's problem. Mathematics, Algorithms, Proofs (2005)
César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia
Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs (2005)
Steven Obua
Proving Bounds for Real Linear Programs in Isabelle/HOL. Mathematics, Algorithms, Proofs (2005)
Hervé Perdry, Mariemi Alonso, Henri Lombardi
Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs (2005)
Harold M. Edwards
Introduction to My Book "Essays in Constructive Mathematics". Mathematics, Algorithms, Proofs (2005)
Erik Palmgren
Coequalisers of formal topology. Mathematics, Algorithms, Proofs (2005)
Philipp Gerhardy, Ulrich Kohlenbach
Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs (2005)
Thierry Coquand, Henri Lombardi, Peter Schuster
A Nilregular Element Property. Mathematics, Algorithms, Proofs (2005)
Fred Richman
Enabling conditions for interpolated rings. Mathematics, Algorithms, Proofs (2005)
Tobias Nipkow, Gertrud Bauer
Towards a Verified Enumeration of All Tame Plane Graphs. Mathematics, Algorithms, Proofs (2005)
Dominique Duval, Jean-Claude Reynaud
Diagrammatic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs (2005)
Thomas C. Hales
Introduction to the Flyspeck Project. Mathematics, Algorithms, Proofs (2005)
Marie-Françoise Roy
Subdiscriminant of symmetric matrices are sums of squares. Mathematics, Algorithms, Proofs (2005)
Ulrich Kohlenbach, Laurentiu Leustean
Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs (2005)
Bas Spitters
Constructive algebraic integration theory without choice. Mathematics, Algorithms, Proofs (2005)