The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2005 (conf/dagstuhl/2005P5021)

  1. Thierry Coquand
    05021 Executive Summary -- Mathematics, Algorithms, Proofs. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  2. Tobias Nipkow, Gertrud Bauer
    Towards a Verified Enumeration of All Tame Plane Graphs. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  3. Steven Obua
    Proving Bounds for Real Linear Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  4. Paulo Oliva
    Unifying Functional Interpretations. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  5. Erik Palmgren
    Coequalisers of formal topology. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  6. 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]
  7. Virgile Prevosto
    Certified mathematical hierarchies: the FoCal system. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  8. Fred Richman
    Enabling conditions for interpolated rings. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  9. Carsten Schneider
    Some Notes On "When is 0.999... equal to 1?". [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  10. Bas Spitters
    Constructive algebraic integration theory without choice. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  11. Assia Mahboubi
    Programming and certifying a CAD algorithm in the Coq system. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  12. Ulrich Kohlenbach, Laurentiu Leustean
    Approximate fixed points of nonexpansive functions in product spaces. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  13. Thomas C. Hales
    Introduction to the Flyspeck Project. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  14. 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]
  15. Thierry Coquand, Henri Lombardi, Peter Schuster
    A Nilregular Element Property. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  16. Dominique Duval, Jean-Claude Reynaud
    Diagrammatic logic and exceptions: an introduction. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  17. Harold M. Edwards
    Introduction to My Book "Essays in Constructive Mathematics". [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  18. Harold M. Edwards
    Abel and the Concept of the Genus of a Curve. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  19. 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]
  20. Marie-Françoise Roy
    Subdiscriminant of symmetric matrices are sums of squares. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  21. Julio Rubio Garcia
    Constructive Proofs or Constructive Statements?. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  22. 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]
  23. Ihsen Yengui
    A dynamical solution of Kronecker's problem. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002