1998, ISBN: 3211827943

[EAN: 9783211827949], Neubuch, [SC: 0.0], [PU: Springer Vienna], ALGEBRA; INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ALGEBRAICCOMPUTATION; SYMBOLICCOMPUTATION; SYM… Mehr…

[EAN: 9783211827949], Neubuch, [SC: 0.0], [PU: Springer Vienna], ALGEBRA; INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ALGEBRAICCOMPUTATION; SYMBOLICCOMPUTATION; SYMBOLISCHESRECHNEN; VARIABLE; ALGORITHMS; CALCULUS; COMPLEXITY; GEOMETRY; PROOF, 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. 456 pp. Englisch, Books<

2016, ISBN: 9783211827949

[ED: Taschenbuch], [PU: Springer Vienna], Neuware - George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary t… Mehr…

[ED: Taschenbuch], [PU: Springer Vienna], 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.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage., DE, [SC: 2.70], Neuware, gewerbliches Angebot, 244x170x25 mm, 456, [GW: 781g], Banküberweisung, Offene Rechnung, Kreditkarte, PayPal, Offene Rechnung (Vorkasse vorbehalten), Internationaler Versand<

1998, ISBN: 3211827943

Softcover reprint of the original 1st ed. 1998 Kartoniert / Broschiert Algebra, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathem… Mehr…

Softcover reprint of the original 1st ed. 1998 Kartoniert / Broschiert Algebra, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Algebraische Geometrie, Algorithmen und Datenstrukturen, Theoretische Informatik, Mathematik für Informatiker, algebraiccomputation; symboliccomputation; SymbolischesRechnen; Variable; algorithms; calculus; complexity; Geometry; proof, mit Schutzumschlag 11, [PU:Springer Vienna; Springer-Verlag GmbH]<

1998, ISBN: 3211827943

[EAN: 9783211827949], Neubuch, [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000, Books

2004, ISBN: 3211827943

[EAN: 9783211827949], Neubuch, [PU: Springer], Books