![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Proceedings: Mathematics, Algorithms, Proofs 2005
- Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
Mathematics, Algorithms, Proofs, 9.-14. January 2005. Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 - 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. - Dominique Duval, Jean-Claude Reynaud:
Diagrammatic logic and exceptions: an introduction. - 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?". - Thierry Coquand, Henri Lombardi, Peter Schuster:
A Nilregular Element Property. - 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. - Tobias Nipkow, Gertrud Bauer:
Towards a Verified Enumeration of All Tame Plane Graphs. - Steven Obua:
Proving Bounds for Real Linear Programs in Isabelle/HOL. - Erik Palmgren:
Coequalisers of formal topology. - Hervé Perdry, Mariemi Alonso, Henri Lombardi:
Henselian Local Rings: Around a Work in Progress. - Thierry Coquand:
05021 Executive Summary -- Mathematics, Algorithms, Proofs. - Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.