JSC
2016
10 years 26 days ago
2016
In numerical algebraic geometry, a witness point set W is a key object for performing numerical computations on a projective scheme X of pure dimension d > 0 defined over C. I...
JSC
2016
10 years 26 days ago
2016
It is still a challenging task of today to recognize the type of a given algebraic surface which is described only by its implicit representation. In this paper we will investigat...
JSC
2016
10 years 26 days ago
2016
Let A0, A1, . . . , An be given square matrices of size m with rational coefficients. The paper focuses on the exact computation of one point in each connected component of the re...
JSC
2016
10 years 26 days ago
2016
Abstract. A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTIC...
JSC
2016
10 years 26 days ago
2016
HERMAN, AARON PAUL. Positive Root Bounds and Root Separation Bounds. (Under the direction of Hoon Hong.) In this thesis, we study two classes of bounds on the roots of a polynomia...