Dagstuhl Seminar Proceedings 05021

Mathematics, Algorithms, Proofs

T. Coquand, H. Lombardi, M. Roy (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 05021, 09.01. - 14.01.2005
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Alonso, Mariemi
  • Bauer, Gertrud
  • Coquand, Thierry
  • Dominguez, César
  • Duval, Dominique
  • Edwards, Harold M.
  • Gerhardy, Philipp
  • Hales, Thomas C.
  • Kohlenbach, Ulrich
  • Lamban, Laureano
  • Leustean, Laurentiu
  • Lombardi, Henri
  • Mahboubi, Assia
  • Nipkow, Tobias
  • Obua, Steven
  • Oliva, Paulo
  • Palmgren, Erik
  • Perdry, Hervé
  • Prevosto, Virgile
  • Reynaud, Jean-Claude
  • Richman, Fred
  • Roy, Marie-Françoise
  • Rubio Garcia, Julio
  • Schneider, Carsten
  • Schuster, Peter
  • Spitters, Bas
  • Yengui, Ihsen

  •   
    05021 Abstracts Collection -- Mathematics, Algorithms, Proofs
    Authors: Coquand, Thierry ; Lombardi, Henri ; Roy, Marie-Françoise

    Abstract | Document (198 KB) | BibTeX

    05021 Executive Summary -- Mathematics, Algorithms, Proofs
    Authors: Coquand, Thierry

    Abstract | Document (255 KB) | BibTeX

    A dynamical solution of Kronecker's problem
    Authors: Yengui, Ihsen

    Abstract | Document (232 KB) | BibTeX

    A Nilregular Element Property
    Authors: Coquand, Thierry ; Lombardi, Henri ; Schuster, Peter

    Abstract | Document (255 KB) | BibTeX

    Abel and the Concept of the Genus of a Curve
    Authors: Edwards, Harold M.

    Abstract | Document (100 KB) | BibTeX

    Approximate fixed points of nonexpansive functions in product spaces
    Authors: Kohlenbach, Ulrich ; Leustean, Laurentiu

    Abstract | Document (157 KB) | BibTeX

    Certified mathematical hierarchies: the FoCal system
    Authors: Prevosto, Virgile

    Abstract | Document (231 KB) | BibTeX

    Coequalisers of formal topology
    Authors: Palmgren, Erik

    Abstract | Document (352 KB) | BibTeX

    Constructive algebraic integration theory without choice
    Authors: Spitters, Bas

    Abstract | Document (284 KB) | BibTeX

    Constructive Proofs or Constructive Statements?
    Authors: Rubio Garcia, Julio

    Abstract | Document (94 KB) | BibTeX

    Diagrammatic logic and exceptions:an introduction
    Authors: Duval, Dominique ; Reynaud, Jean-Claude

    Abstract | Document (296 KB) | BibTeX

    Enabling conditions for interpolated rings
    Authors: Richman, Fred

    Abstract | Document (218 KB) | BibTeX

    Generalized metatheorems on the extractability of uniform bounds in functional analysis
    Authors: Gerhardy, Philipp ; Kohlenbach, Ulrich

    Abstract | Document (126 KB) | BibTeX

    Henselian Local Rings: Around a Work in Progress
    Authors: Perdry, Hervé ; Alonso, Mariemi ; Lombardi, Henri

    Abstract | Document (218 KB) | BibTeX

    Introduction to My Book "Essays in Constructive Mathematics"
    Authors: Edwards, Harold M.

    Abstract | Document (97 KB) | BibTeX

    Introduction to the Flyspeck Project
    Authors: Hales, Thomas C.

    Abstract | Document (200 KB) | BibTeX

    Programming and certifying a CAD algorithm in the Coq system
    Authors: Mahboubi, Assia

    Abstract | Document (379 KB) | BibTeX

    Proving Bounds for Real Linear Programs in Isabelle/HOL
    Authors: Obua, Steven

    Abstract | Document (106 KB) | BibTeX

    Some Notes On ``When is 0.999... equal to 1?
    Authors: Schneider, Carsten

    Abstract | Document (162 KB) | BibTeX

    Subdiscriminant of symmetric matrices are sums of squares
    Authors: Roy, Marie-Françoise

    Abstract | Document (148 KB) | BibTeX

    Towards a Verified Enumeration of All Tame Plane Graphs
    Authors: Nipkow, Tobias ; Bauer, Gertrud

    Abstract | Document (328 KB) | BibTeX

    Towards Diagrammatic Specifications of Symbolic Computation Systems
    Authors: Dominguez, César ; Duval, Dominique ; Lamban, Laureano ; Rubio Garcia, Julio

    Abstract | Document (514 KB) | BibTeX

    Unifying Functional Interpretations
    Authors: Oliva, Paulo

    Abstract | Document (305 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI