Algorithms in real algebraic geometry / Basu, Saugata

Public ISBD Titre : Algorithms in real algebraic geometry Type de document : texte imprimé Auteurs : Basu, Saugata ; Roy, Marie-Françoise ; Richard Pollack Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2006 Collection : Algorithms and Computation in Mathematics num. 10 Importance : ix - 662 p. ISBN/ISSN/EAN : 978-3-540-33098-1 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 14-XX Algebraic geometry:14PXX Real algebraic and real analytic geometry:14P10 Semialgebraic sets and related spaces 52-XX Convex and discrete geometry:52CXX Discrete geometry:52C45 Combinatorial complexity of geometric structures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : algorithmic real algebraic geometry  complexity of algorithms  quantifier elimination  real semi-algebraic sets  real closed fields Index. décimale : 14C Monographie Algorithms in real algebraic geometry [texte imprimé] / Basu, Saugata ; Roy, Marie-Françoise ; Richard Pollack  . -  2nd ed. . - [S.l.] : Springer-Verlag, 2006 . - ix - 662 p.. - (Algorithms and Computation in Mathematics; 10) . ISBN : 978-3-540-33098-1 commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 14-XX Algebraic geometry:14PXX Real algebraic and real analytic geometry:14P10 Semialgebraic sets and related spaces 52-XX Convex and discrete geometry:52CXX Discrete geometry:52C45 Combinatorial complexity of geometric structures 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : algorithmic real algebraic geometry  complexity of algorithms  quantifier elimination  real semi-algebraic sets  real closed fields Index. décimale : 14C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17780	14C263	imprimé / autre	CRDM	14/GEOMETRIE ALGEBRIQUE	Disponible

Bounds on transfer principles for algebraically closed and complete discretely valued fields / Brown, Scott Shorey

Public ISBD Titre : Bounds on transfer principles for algebraically closed and complete discretely valued fields Type de document : texte imprimé Auteurs : Brown, Scott Shorey Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1978 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 204 Importance : iv - 92 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 03-XX Mathematical logic and foundations:03CXX Model theory:03C99 None of the above, but in this section Mots-clés : p-adic numbers  transfer functions  algebraic fieds Index. décimale : Mem Bounds on transfer principles for algebraically closed and complete discretely valued fields [texte imprimé] / Brown, Scott Shorey . - Providence, R.I. : American Mathematical Society, 1978 . - iv - 92 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 204) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 03-XX Mathematical logic and foundations:03CXX Model theory:03C99 None of the above, but in this section Mots-clés : p-adic numbers  transfer functions  algebraic fieds Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15285	Mem/204	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / Gregory L. Cherlin

Public ISBD Titre : The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments Type de document : texte imprimé Auteurs : Gregory L. Cherlin, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1998 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 621 Importance : 161 p. ISBN/ISSN/EAN : 978-0-8218-0836-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 03-XX Mathematical logic and foundations:03CXX Model theory:03C15 Denumerable structures 05-XX Combinatorics :05CXX Graph theory :05C20 Directed graphs (digraphs), tournaments Mots-clés : homogeneous structures  classification of countable homogeneous directed graphs  relational structure  countable homogeneous tournaments  universal homogeneous partial order  classification of countable homogeneous undirected graphs  age of an infinite structure  decision procedure The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments [texte imprimé] / Gregory L. Cherlin, Auteur . - Providence, R.I. : American Mathematical Society, 1998 . - 161 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 621) . ISBN : 978-0-8218-0836-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C10 Quantifier elimination, model completeness and related topics 03-XX Mathematical logic and foundations:03CXX Model theory:03C15 Denumerable structures 05-XX Combinatorics :05CXX Graph theory :05C20 Directed graphs (digraphs), tournaments Mots-clés : homogeneous structures  classification of countable homogeneous directed graphs  relational structure  countable homogeneous tournaments  universal homogeneous partial order  classification of countable homogeneous undirected graphs  age of an infinite structure  decision procedure

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19610	Mem/621	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1