Results 1 to 10 of about 187 (52)
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. [PDF]
J Autom Reason, 2020 Joosten SJC, Thiemann R, Yamada A.
europepmc +1 more source
Improved polynomial remainder sequences for Ore polynomials.
J Symb Comput, 2013 Jaroschek M.
europepmc +1 more source
Multivariate subresultants in roots
Journal of Algebra, 2006 We give a rational expression for the subresultants of n + 1 generic polynomials f1, ..., fn + 1 in n variables as a function of the coordinates of the common roots of f1, ..., fn and their evaluation in fn + 1. We present a simple technique to prove our
Teresa Krick, Agnes Szanto
exaly +1 more source
Recursive polynomial remainder sequence and its subresultants [PDF]
Journal of Algebra, 2008 We introduce concepts of “recursive polynomial remainder sequence (PRS)” and “recursive subresultant,” along with investigation of their properties. A recursive PRS is defined as, if there exists the GCD (greatest common divisor) of initial polynomials ...
Akira Terui
exaly +2 more sources
An elementary proof of Sylvester’s double sums for subresultants [PDF]
Journal of Symbolic Computation, 2007 In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz using multi-Schur functions and divided
Teresa Krick, Hoon Hong, Agnes Szanto
exaly +3 more sources
Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation
Journal of Symbolic Computation, 2020 International audienceSylvester doubles sums, introduced first by Sylvester (see Sylvester (1840, 1853)), are symmetric expressions of the roots of two polynomials.
Marie-Françoise Roy
exaly +2 more sources
Subresultants, Sylvester sums and the rational interpolation problem [PDF]
Journal of Symbolic Computation, 2015 We present a solution for the classical univariate rational interpolation problem by means of (univariate) subresultants. In the case of Cauchy interpolation (interpolation without multiplicities), we give explicit formulas for the solution in terms of ...
Teresa Krick +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Sylvester double sums and subresultants
Journal of Symbolic Computation, 2011Marie-Françoise Roy
exaly