We propose effective constructions of dual bases for the noncommutative symmetric and quasi-symmetric functions. To this end, we use an effective variation of Sch¨utzenberger...
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...
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...