bob f caviness

Grid   List

  1. Quantifier Elimination and Cylindrical Algebraic Decomposition
    Quantifier Elimination and Cylindrical Algebraic Decomposition
    Bob F. Caviness
    Springer Vienna
    Ebook
    Sofort lieferbar
    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 au...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. EUROCAL ’85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
    EUROCAL ’85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
    Bob F. Caviness
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Algorithms for polynomial division.- Sparse hensel lifting.- Heugcd: How elementary upperbounds generate cheaper data.- Gaussian elimination over a euclidean ring.- Demonstration of reduce3 as impl...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. Quantifier Elimination and Cylindrical Algebraic Decomposition
    Quantifier Elimination and Cylindrical Algebraic Decomposition
    Jeremy R. Johnson
    Springer Vienna, Springer Vienna
    Taschenbuch
    Bezug 11-15
    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 au...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>