Buchportal für Bücher die eine ISBN tragen.

Reihe Texts & Monographs in Symbolic Computation

Buchcover Algorithms in Invariant Theory

Algorithms in Invariant Theory

Bernd Sturmfels

Buchcover Elimination Methods

Elimination Methods

Buchcover Computer - Human Interaction in Symbolic Computation

Computer - Human Interaction in Symbolic Computation

Buchcover Quantifier Elimination and Cylindrical Algebraic Decomposition

Quantifier Elimination and Cylindrical Algebraic Decomposition

Buchcover Advances in the Design of Symbolic Computation Systems

Advances in the Design of Symbolic Computation Systems

Buchcover Polynomial Algorithms in Computer Algebra

Polynomial Algorithms in Computer Algebra

Buchcover Mechanical Theorem Proving in Geometries

Mechanical Theorem Proving in Geometries

Basic Principles

47 Treffer 1 2 3 4 5