Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Quantifier Elimination and Cylindrical Algebraic Decomposition

Quantifier Elimination and Cylindrical Algebraic Decomposition

enthalten in Texts & Monographs in Symbolic Computation-Reihe

Quantifier Elimination and Cylindrical Algebraic Decomposition
Über Quantifier Elimination and Cylindrical Algebraic Decomposition

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783211827949
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 431
  • Veröffentlicht:
  • 16. April 1998
  • Ausgabe:
  • 11998
  • Abmessungen:
  • 244x170x23 mm.
  • Gewicht:
  • 860 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von Quantifier Elimination and Cylindrical Algebraic Decomposition

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.

Kund*innenbewertungen von Quantifier Elimination and Cylindrical Algebraic Decomposition



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Quantifier Elimination and Cylindrical Algebraic Decomposition ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.