| No. |
Title |
Author |
Year |
| 1 |
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs |
Coquand, Thierry et al. |
2006 |
| 2 |
05021 Executive Summary -- Mathematics, Algorithms, Proofs |
Coquand, Thierry |
2006 |
| 3 |
A dynamical solution of Kronecker's problem |
Yengui, Ihsen |
2006 |
| 4 |
A Nilregular Element Property |
Coquand, Thierry et al. |
2006 |
| 5 |
Abel and the Concept of the Genus of a Curve |
Edwards, Harold M. |
2006 |
| 6 |
Approximate fixed points of nonexpansive functions in product spaces |
Kohlenbach, Ulrich et al. |
2006 |
| 7 |
Certified mathematical hierarchies: the FoCal system |
Prevosto, Virgile |
2006 |
| 8 |
Coequalisers of formal topology |
Palmgren, Erik |
2006 |
| 9 |
Constructive algebraic integration theory without choice |
Spitters, Bas |
2006 |
| 10 |
Constructive Proofs or Constructive Statements? |
Rubio Garcia, Julio |
2006 |
| 11 |
Diagrammatic logic and exceptions:an introduction |
Duval, Dominique et al. |
2006 |
| 12 |
Enabling conditions for interpolated rings |
Richman, Fred |
2006 |
| 13 |
Generalized metatheorems on the extractability of uniform bounds in functional analysis |
Gerhardy, Philipp et al. |
2006 |
| 14 |
Henselian Local Rings: Around a Work in Progress |
Perdry, Hervé et al. |
2006 |
| 15 |
Introduction to My Book "Essays in Constructive Mathematics" |
Edwards, Harold M. |
2006 |
| 16 |
Introduction to the Flyspeck Project |
Hales, Thomas C. |
2006 |
| 17 |
Programming and certifying a CAD algorithm in the Coq system |
Mahboubi, Assia |
2006 |
| 18 |
Proving Bounds for Real Linear Programs in Isabelle/HOL |
Obua, Steven |
2006 |
| 19 |
Some Notes On ``When is 0.999... equal to 1? |
Schneider, Carsten |
2006 |
| 20 |
Subdiscriminant of symmetric matrices are sums of squares |
Roy, Marie-Françoise |
2006 |
