15 citations · 15 across the 3 of their papers we have counts for
3 papers
Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases
David J. Wilson, Russell J. Bradford, James H. Davenport
Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical…
Triangular Decomposition of Semi-algebraic Systems
Changbo Chen, James H. Davenport, John P. May +3
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of…
The Power of Vocabulary: The Case of Cyclotomic Polynomials
Jacques Carette, James H. Davenport
We observe that the vocabulary used to construct the "answer" to problems in computer algebra can have a dramatic effect on the computational complexity of solving that problem. We…