Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Vienna

9783211827949, 9783709194591

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_8 ◽

1998 ◽

pp. 166-173 ◽

Author(s):

Hoon Hong

Keyword(s):

Projection Operator ◽

Cylindrical Algebraic Decomposition

Download Full-text

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_4 ◽

1998 ◽

pp. 85-121 ◽

Author(s):

George E. Collins

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Real Closed Fields ◽

Download Full-text

Computation of Variant Resultants

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_16 ◽

1998 ◽

pp. 327-340

Author(s):

Hoon Hong ◽

J. Rafael Sendra

Download Full-text

Characterizations of the Macaulay Matrix and Their Algorithmic Impact

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_15 ◽

1998 ◽

pp. 317-326

Author(s):

Georg Hagel

Download Full-text

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_7 ◽

1998 ◽

pp. 152-165

Author(s):

Dennis S. Arnon ◽

George E. Collins ◽

Scott McCallum

Keyword(s):

Cylindrical Algebraic Decomposition

Download Full-text

Introduction

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_1 ◽

1998 ◽

pp. 1-7

Author(s):

Bob F. Caviness ◽

Jeremy R. Johnson

Download Full-text

Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_2 ◽

1998 ◽

pp. 8-23 ◽

Author(s):

George E. Collins

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition

Download Full-text

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_9 ◽

1998 ◽

pp. 174-200 ◽

Author(s):

George E. Collins ◽

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

A New Algorithm to Find a Point in Every Cell Defined by a Family of Polynomials

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_17 ◽

1998 ◽

pp. 341-350 ◽

Author(s):

Saugata Basu ◽

Richard Pollack ◽

Marie-Françoise Roy

Download Full-text

Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_10 ◽

1998 ◽

pp. 201-219

Author(s):

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Simple Solution ◽

Cylindrical Algebraic Decomposition

Download Full-text