Synopsis
George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski's landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Quantifier Elimination and Cylindrical Algebraic Decompositi...
Image d'archives
Quantifier Elimination and Cylindrical Algebraic Decomposition
Edité par
Springer, 1998
ISBN 10 : 3211827943
ISBN 13 : 9783211827949
Ancien ou d'occasion
Trade paperback
Vendeur : Chattanooga Public Library Foundation, Chattanooga, TN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Trade paperback. Softcover Reprint of the Origi e. Very good. Minimal wear to cover. N° de réf. du vendeur 2012041998
Acheter D'occasion
EUR 33,24
Expédition à EUR 4,82
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
QUANTIFIER ELIMINATION AND CYLINDRICAL ALGEBRAIC DECOMPOSITION
Edité par
Springer-Verlag, Wien and New York, 1998
ISBN 10 : 3211827943
ISBN 13 : 9783211827949
Ancien ou d'occasion
Softcover
Vendeur : Second Story Books, ABAA, Rockville, MD, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Softcover. Large Octavo, xi, xii, xvii, xix, 431 pages. In Very Good condition. Paperback binding. Spine silvery gray with black and yellow lettering. Covers have very slight wear including minor edge wear. Text block has slight wear including faint, sparse finger marks to the edges. Illustrated. NOTE: Shelved in Locked Annex, Column X. Oversized book(s). Additional postage necessary for expedited/international orders. Economy international shipping unavailable due to size/weight restrictions. For international/expedited customers, please inquire for rates. 1406057. FP New Rockville Stock. N° de réf. du vendeur 1406057
Acheter D'occasion
EUR 32,81
Expédition à EUR 5,95
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783211827949_new
Acheter neuf
EUR 58,21
Expédition à EUR 13,73
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783211827949
Acheter neuf
EUR 56,66
Expédition à EUR 17,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Quantifier Elimination and Cylindrical Algebraic Decomposition
Edité par
Springer Vienna Apr 1998, 1998
ISBN 10 : 3211827943
ISBN 13 : 9783211827949
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades.This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski's landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years. 456 pp. Englisch. N° de réf. du vendeur 9783211827949
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Quantifier Elimination and Cylindrical Algebraic Decomposition
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 450 pages. 9.75x6.75x0.75 inches. In Stock. N° de réf. du vendeur x-3211827943
Acheter neuf
EUR 80,96
Expédition à EUR 14,33
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Quantifier Elimination and Cylindrical Algebraic Decomposition
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4488850
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Quantifier Elimination and Cylindrical Algebraic Decomposition
Edité par
Springer Vienna, Springer Vienna Apr 1998, 1998
ISBN 10 : 3211827943
ISBN 13 : 9783211827949
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -George Collins¿ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades.This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski¿s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch. N° de réf. du vendeur 9783211827949
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Quantifier Elimination and Cylindrical Algebraic Decomposition
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades.This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski's landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years. N° de réf. du vendeur 9783211827949
Acheter neuf
EUR 53,49
Expédition à EUR 63,91
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Quantifier Elimination and Cylindrical Algebraic Decomposition
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Quantifier Elimination and Cylindrical Algebraic Decomposition | Bob F. Caviness (u. a.) | Taschenbuch | xix | Englisch | 1998 | Springer | EAN 9783211827949 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 107291696
Acheter neuf
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)