S. [. Basu and . Basu, On the combinatorial and topological complexity of a single cell On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets, Proceedings of the Symposium on the Foundations of Computer Science (FOCS), pp.606-6161, 1998.

. [. Basu, New results on quantifier elimination over real closed fields and applications to constraint databases, Journal of the ACM, vol.46, issue.4, pp.537-555, 1999.
DOI : 10.1145/320211.320240

. [. Basu, Different bounds on the different Betti numbers of semi-algebraic sets, Proceedings of the seventeenth annual symposium on Computational geometry, pp.288-292, 2001.

. [. Basu, Computing the betti numbers of arrangements, Proceedings of the thiry-fourth annual ACM symposium on Theory of computing , STOC '02, pp.712-720
DOI : 10.1145/509907.510010

R. [. Basu, M. Pollack, and . Roy, On the number of cells defined by a family of polynomials on a variety, Mathematika, vol.13, issue.01, pp.120-126, 1996.
DOI : 10.1093/comjnl/36.5.504

S. Basu, R. Pollack, and M. Roy, On the combinatorial and algebraic complexity of quantifier elimination, Journal of the ACM, vol.43, issue.6, pp.1002-1046, 1996.
DOI : 10.1145/235809.235813

R. [. Basu, M. Pollack, and . Roy, On Computing a Set of Points Meeting Every Cell Defined by a Family of Polynomials on a Variety, Journal of Complexity, vol.13, issue.1, pp.28-37, 1997.
DOI : 10.1006/jcom.1997.0434

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, vol.10, 2003.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

. Br-]-r, J. Benedetti, and . Risler, Real Algebraic and Semi-algebraic Sets, 1990.

. J. Bcr, M. Bochnak, M. Coste, and . Roy, Géométrie algébrique réelle, 1987.

]. G. Bred and . Bredon, Topology and geometry, Graduate Texts in Mathematics, vol.139, 1993.

]. P. Bürg and . Bürgisser, Lower bounds and real algebraic geometry To appear in: Algorithmic and Quantitative Real Algebraic Geometry

]. G. Col and . Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata theory and formal languages (Second GI Conf, pp.134-183, 1975.

. [. Coste, Topological types of fewnomials, Singularities Symposium? Lojasiewicz 70, pp.81-92, 1996.

. [. Coste, An Introduction to Semialgebraic Geometry, Dottorato di Ricerca in Matematica. Dip. Mat. Univ. Pisa, 2000.

. [. Van-den and . Dries, Tarski's Problem and Pfaffian Functions, Logic Colloquium '84, pp.59-90, 1986.
DOI : 10.1016/S0049-237X(08)70457-9

. [. Van-den and . Dries, O-minimal structures on the field of real numbers, Jber. d. Dt. Math.-Verein, vol.98, pp.165-171, 1996.

. [. Van-den and . Dries, Tame Topology and O-minimal Structures, Number, vol.248, 1998.
DOI : 10.1017/CBO9780511525919

C. [. Van-den-dries and . Miller, On the real exponential field with restricted analytic functions, Israel Journal of Mathematics, vol.280, issue.1-3, pp.19-56, 1994.
DOI : 10.1007/BF02758635

L. Van-den-dries and C. Miller, Geometric categories and o-minimal structures, Duke Mathematical Journal, vol.84, issue.2, pp.497-540, 1996.
DOI : 10.1215/S0012-7094-96-08416-1

. D. Dhi, S. Dugger, D. Hollander, and . Isaksen, Hypercovers and simplicial presheaves, to appear in Math, Proc. Camb. Phil. Soc. Available on arxiv.org with the reference math.AT/0205027

N. [. Eilenberg and . Steenrod, Foundations of Algebraic Topology, 1952.
DOI : 10.1515/9781400877492

. [. Gabrielov, Projections of semianalytic sets, Funkcional. Anal. i Prilo?en, vol.2, issue.4, pp.18-30, 1968.

. [. Gabrielov, Multiplicities of Pfaffian intersections, and the ??ojasiewicz inequality, G3] A. Gabrielov, pp.113-1271, 1995.
DOI : 10.1007/BF01614074

. [. Gabrielov, Counter-examples to quantifier elimination for fewnomial and exponential expressions, 1997.

. [. Gabrielov, Frontier and Closure of a Semi-Pfaffian Set, Discrete & Computational Geometry, vol.19, issue.4, pp.605-617, 1998.
DOI : 10.1007/PL00009371

. [. Gabrielov, Relative Closure and the Complexity of Pfaffian Elimination, 2002.
DOI : 10.1007/978-3-642-55566-4_20

]. A. Gkh, A. Gabrielov, and . Khovanskii, Multiplicity of a Noetherian intersection, Geometry of differential equations, pp.119-130, 1998.

N. [. Gabrielov and . Vorobjov, Complexity of stratification of semi-Pfaffian sets, Discrete & Computational Geometry, vol.66, issue.4, pp.71-91, 1995.
DOI : 10.1007/BF02570696

N. [. Gabrielov and . Vorobjov, Complexity of cylindrical decompositions of sub-Pfaffian sets, Journal of Pure and Applied Algebra, vol.164, issue.1-2, pp.179-197, 2000.
DOI : 10.1016/S0022-4049(00)00149-3

N. [. Gabrielov and . Vorobjov, Complexity of computations with Pfaffian and Noetherian functions, 2003.
DOI : 10.1007/978-94-007-1025-2_5

A. Gabrielov and N. Vorobjov, Betti numbers for quantifier-free formulae, 2003.

. A. Gvz, N. Gabrielov, T. Vorobjov, and . Zell, Betti numbers of semialgebraic and sub- Pfaffian sets, 2003.

. A. Gz, T. Gabrielov, and . Zell, On the number of connected components of the relative closure of a semi-Pfaffian family 110 BIBLIOGRAPHY [Go] V. Goryunov. Semi-simplicial resolutions and homology of images and discriminants of mappings, Proc. London Math. Soc. (3), pp.65-76363, 1995.

]. V. Gom, D. Goryunov, and . Mond, Vanishing cohomology of singularities of mappings, Compositio Math, vol.89, issue.1, pp.45-80, 1993.

]. D. Gri and . Grigoriev, Deviation theorems for Pfaffian sigmoids, Algebra i Analiz, vol.6, issue.1, pp.127-131, 1994.

]. A. Gro and . Grothendieck, Esquisse d'un programme, Geometric Galois actions, pp.5-48, 1997.

. [. Hardt, Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings, American Journal of Mathematics, vol.102, issue.2, pp.291-302, 1980.
DOI : 10.2307/2374240

]. K. Hou and . Houston, An introduction to the image computing spectral sequence, Singularity theory, pp.305-324, 1996.

Y. Ilyashenko, Centennial History of Hilbert's 16th Problem, Bulletin of the American Mathematical Society, vol.39, issue.03, pp.301-354, 2002.
DOI : 10.1090/S0273-0979-02-00946-1

. Iy-]-yu, S. Ilyashenko, and . Yakovenko, Finite cyclicity of elementary polycycles in generic families, Concerning the Hilbert 16th problem, pp.21-95, 1995.

. Km-]-m, A. Karpinski, and . Macintyre, A generalization of Wilkie's theorem of the complement , and an application to Pfaffian closure, Selecta Math. (N.S.), vol.5, issue.4, pp.507-516, 1999.

]. A. Kh1, Khovanski? ?. A class of systems of transcendental equations, Dokl. Akad. Nauk SSSR, vol.255, issue.4, pp.804-807, 1980.

. J. Kps, A. Knight, C. Pillay, and . Steinhorn, Definable sets in ordered structures Inégalité de Lojasiewicz en géométrie pfaffienne, II. Trans. Amer. Math. Soc. Illinois J. Math, vol.295, issue.44, pp.593-605889, 1986.

[. Lion, C. Miller, and P. Speissegger, Differential equations over polynomially bounded o-minimal structures, 2000.

J. Lion and J. Rolin, Frontì ere d'une hypersurface pfaffienne et géométrie sous-analytique, Singularities Symposium? Lojasiewicz, pp.167-172, 1996.

J. Lion and J. Rolin, Volumes, feuilles de Rolle de feuilletages analytiques et th??or??me de Wilkie, Annales de la facult?? des sciences de Toulouse Math??matiques, vol.7, issue.1, pp.93-112, 1998.
DOI : 10.5802/afst.891

J. Lion and P. Speissegger, Analytic stratification in the Pfaffian closure of an o-minimal structure. Duke Math, J, vol.103, issue.2, pp.215-231, 2000.

T. Loi, Analytic cell decomposition of sets definable in the structure R exp, Ann. Polon. Math, vol.59, issue.3, pp.255-266, 1994.

T. Lê-loir, +. , and ·. , Thom stratifications for functions definable in o-minimal structures on (R, +, ??), Comptes Rendus de l'Acad??mie des Sciences - Series I - Mathematics, vol.324, issue.12, pp.1391-1394, 1997.
DOI : 10.1016/S0764-4442(97)83581-1

T. Loi, Verdier and strict Thom stratifications in o-minimal structures, Illinois J. Math, vol.42, issue.2, pp.347-356, 1998.

]. S. Loj and . Lojasiewicz, Ensembles semi-analytiques, Lecture Notes. IHES

. A. Mw, A. Macintyre, and . Wilkie, Schanuel's conjecture implies the decidability of real exponentiation, 1996.

]. J. Mccl and . Mccleary, A user's guide to spectral sequences, volume 58 of Cambridge Studies in Advanced Mathematics, 2001.

]. C. Mi and . Miller, Exponentiation is hard to avoid, Proc. Amer. Math. Soc, vol.122, issue.1, pp.257-259, 1994.

. [. Milnor, Morse Theory. Annals of Mathematical Studies, 1963.

. [. Milnor, On the Betti numbers of real varieties, Proceedings of the American Mathematical Society, vol.15, issue.2, pp.275-280, 1964.
DOI : 10.1090/S0002-9939-1964-0161339-9

J. L. Montaña, J. E. Morais, and L. M. Pardo, Lower bounds for arithmetic networks II: Sum of Betti numbers, Applicable Algebra in Engineering, Communication and Computing, vol.3, issue.4, pp.41-51, 1996.
DOI : 10.1007/BF01613615

. [. Ole?-inik, Estimates of the Betti numbers of real algebraic hypersurfaces, Mat. Sbornik N.S, vol.28, issue.70, pp.635-640, 1951.

]. W. Osg and . Osgood, On functions of several complex variables, Trans. Amer. Math. Soc, vol.17, issue.1, pp.1-8, 1916.

N. [. Pericleous and . Vorobjov, New complexity bounds for cylindrical decompositions of sub-Pfaffian sets, ACM 2001, pp.268-275, 2001.

. Op-]-i, O. Petrovski?-i, and . Ole?-inik, On the topology of real algebraic surfaces, Amer. Math. Soc. Translation, issue.70, p.195220, 1952.

. A. Ps, C. Pillay, and . Steinhorn, Definable sets in ordered structures, I. Trans. Amer. Math. Soc, vol.295, issue.2, pp.565-592, 1986.

[. Rolin, P. Speissegger, and A. Wilkie, Quasianalytic Denjoy-Carleman classes and o-minimality. preprint, 2001.

]. M. Ros and . Rosenlicht, Growth properties of functions in Hardy fields, Trans. Amer. Math. Soc, vol.299, issue.1, pp.261-272, 1987.

]. E. Spa and . Spanier, Algebraic topology, 1981.

]. P. Sp and . Speissegger, The Pfaffian closure of an o-minimal structure, J. Reine Angew. Math, vol.508, pp.189-211, 1999.

. [. Thom, Sur L'Homologie des Varietes Algebriques R??elles, Differential and Combinatorial Topology, pp.255-265, 1965.
DOI : 10.1515/9781400874842-016

. [. Vassiliev, Complements of discriminants of smooth maps: topology and applications , volume 98 of Translations of Mathematical Monographs, 1992.

]. Wei, . Ch, . [. Weibel, and . Wilkie, An introduction to homological algebra Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Cambridge Studies in Advanced Mathematics J. Amer. Math. Soc, vol.38, issue.94, pp.1051-1094, 1994.

. [. Wilkie, A theorem of the complement and some new o -minimal structures, Selecta Mathematica, New Series, vol.5, issue.4, pp.397-421, 1999.
DOI : 10.1007/s000290050052

. [. Zell, Betti numbers of semi-Pfaffian sets, Journal of Pure and Applied Algebra, vol.139, issue.1-3, pp.323-338, 1998.
DOI : 10.1016/S0022-4049(99)00017-1

. [. Zell, Topology of Definable Hausdorff Limits, Discrete & Computational Geometry, vol.33, issue.3
DOI : 10.1007/s00454-004-1112-8

. Geom, Available on arxiv.org with the reference math, p.307369

. [. Zell, Betti numbers of the Relative Closure of a Pfaffian couple