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...
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...
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...
Russell J. Bradford, James H. Davenport, Matthew E...
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...
This paper focus on online (or relaxed) algorithms for the multiplication of power series over a field and their analysis. We propose a new online algorithm for the multiplicatio...
Abstract. Let V be a projective hypersurface having only isolated weighted homogeneous singularities. We show that the Koszul syzygies among the partial derivatives of an equation ...
Abstract. In this paper, the numbers of rational curves on general complete intersection Calabi-Yau threefolds in complex projective spaces are computed up to degree six. The resul...
We describe the use of pyramid decomposition in Normaliz, a software tool for the computation of Hilbert bases and enumerative data of rational cones and affine monoids. Pyramid d...
The action of a torus on a graded module over a polynomial ring extends to the entire minimal free resolution of the module. We explain how to determine the action of the torus on ...