Dagstuhl Seminar Proceedings: Mathematics, Algorithms, Proofs 2005
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy (Eds.): Mathematics, Algorithms, Proofs, 9.-14. January 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 05021- Marie-Françoise Roy: Subdiscriminant of symmetric matrices are sums of squares.
- César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems.
- Harold M. Edwards: Introduction to My Book "Essays in Constructive Mathematics".
- Harold M. Edwards: Abel and the Concept of the Genus of a Curve.
- Assia Mahboubi: Programming and certifying a CAD algorithm in the Coq system.
- Paulo Oliva: Unifying Functional Interpretations.
- Virgile Prevosto: Certified mathematical hierarchies: the FoCal system.
- Fred Richman: Enabling conditions for interpolated rings.
- Julio Rubio Garcia: Constructive Proofs or Constructive Statements?.
- Carsten Schneider: Some Notes On "When is 0.999... equal to 1?".
- Bas Spitters: Constructive algebraic integration theory without choice.
- Ihsen Yengui: A dynamical solution of Kronecker's problem.
- Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis.
- Thomas C. Hales: Introduction to the Flyspeck Project.
- Ulrich Kohlenbach, Laurentiu Leustean: Approximate fixed points of nonexpansive functions in product spaces.
- Steven Obua: Proving Bounds for Real Linear Programs in Isabelle/HOL.
- Erik Palmgren: Coequalisers of formal topology.
- Thierry Coquand: 05021 Executive Summary -- Mathematics, Algorithms, Proofs.
- Thierry Coquand, Henri Lombardi, Marie-Françoise Roy: 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team