default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl 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.
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.
last updated on 2026-04-23 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
