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