64 citations · 592 across the 44 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.SC2010
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…
cs.SC2010
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…