2020 conference paper

Certified Hermite Matrices from Approximate Roots - Univariate Case

*Mathematical Aspects of Computer and Information Sciences*, 3–9.

Source: ORCID

Added: November 6, 2020

2020 conference paper

Certified Hermite Matrices from Approximate Roots - Univariate Case

*Mathematical Aspects of Computer and Information Sciences*, 3–9.

Source: ORCID

Added: November 13, 2020

2020 conference paper

Punctual Hilbert scheme and certified approximate singularities

*Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation*.

Source: ORCID

Added: November 6, 2020

2020 article

Smooth Points on Semi-algebraic Sets

(2020, February 11).

Source: ORCID

Added: November 6, 2020

2020 journal article

Subresultants of (x - alpha)(m) and (x - beta)(n), Jacobipolynomials and complexity

*JOURNAL OF SYMBOLIC COMPUTATION*, *101*, 330–351.

Sources: Web Of Science, ORCID

Added: July 6, 2020

2019 journal article

Closed formula for univariate subresultants in multiple roots

*Linear Algebra and Its Applications*, *565*, 123–155.

Sources: NC State University Libraries, ORCID

Added: February 25, 2019

2018 journal article

Certifying solutions to overdetermined and singular polynomial systems over Q

*Journal of Symbolic Computation*, *84*, 147–171.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2018 conference paper

Irredundant Triangular Decomposition

*Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation*, 311–318.

Sources: NC State University Libraries, ORCID

Added: February 25, 2019

2017 journal article

On deflation and multiplicity structure

*Journal of Symbolic Computation*, *83*, 228–253.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2017 journal article

Subresultants in multiple roots: An extremal case

*Linear Algebra and Its Applications*, *529*, 185–198.

Sources: Crossref, ORCID

Added: August 28, 2020

2017 journal article

Symmetric interpolation, Exchange Lemma and Sylvester sums

*Communications in Algebra*, *45*(8), 3231–3250.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2016 journal article

Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra Foreword

*Journal of Symbolic Computation*, *75*, 1–3.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2015 conference paper

Certifying Isolated Singular Points and their Multiplicity Structure

*Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15*.

Source: ORCID

Added: November 6, 2020

2015 journal article

Overdetermined Weierstrass iteration and the nearest consistent system

*Theoretical Computer Science*, *562*, 346–364.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2015 journal article

Subresultants, Sylvester sums and the rational interpolation problem

*Journal of Symbolic Computation*, *68*, 72–83.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2014 chapter

A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields

In *Computer Algebra in Scientific Computing* (pp. 202–217).

Source: Crossref

Added: February 24, 2020

2014 conference paper

A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields

In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), *Computer Algebra in Scientific Computing* (pp. 202–217). Cham: Springer International Publishing.

Ed(s): V. Gerdt, W. Koepf, W. Seiler & E. Vorozhtsov

Event: at Cham

Source: ORCID

Added: November 6, 2020

2013 journal article

Subresultants in multiple roots

*Linear Algebra and Its Applications*, *438*(5), 1969–1989.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2012 journal article

Sylvester's double sums: An inductive proof of the general case

*Journal of Symbolic Computation*, *47*(8), 942–953.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2010 journal article

Multivariate subresultants using Jouanolou matrices

*Journal of Pure and Applied Algebra*, *214*(8), 1347–1369.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2009 journal article

A bound for orders in differential Nullstellensatz

*Journal of Algebra*, *322*(11), 3852–3877.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2009 journal article

Nearest multivariate system with given root multiplicities

*Journal of Symbolic Computation*, *44*(6), 606–625.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2009 journal article

Sylvester’s double sums: The general case

*Journal of Symbolic Computation*, *44*(9), 1164–1175.

Sources: Crossref, ORCID

Added: August 28, 2020

2008 journal article

Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin)

*Journal of Symbolic Computation*, *43*(1), 46–74.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2007 journal article

An elementary proof of Sylvester's double sums for subresultants

*Journal of Symbolic Computation*, *42*(3), 290–297.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2006 journal article

Multivariate subresultants in roots

*Journal of Algebra*, *302*(1), 16–36.

Sources: NC State University Libraries, ORCID

Added: August 6, 2018

2006 journal article

Re: “Multivariate subresultants in roots” [J. Algebra 302 (2006) 16–36]

*Journal of Algebra*, *303*(2), 449.

Sources: Crossref, ORCID

Added: August 28, 2020