Works (35)
2023 journal article
A certified iterative method for isolated singular roots
JOURNAL OF SYMBOLIC COMPUTATION, 115, 223–247.
2023 journal article
Certified Hermite matrices from approximate roots
JOURNAL OF SYMBOLIC COMPUTATION, 117, 101–118.
2023 journal article
Smooth points on semi-algebraic sets
JOURNAL OF SYMBOLIC COMPUTATION, 116, 183–212.
2021 article
Preface (vol 19, pg 963, 2019)
Cohen, A., Dahmen, W., Munthe-Kaas, H., Sombra, M., & Szanto, A. (2021, October 19). FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, Vol. 10.
2020 conference paper
Certified Hermite Matrices from Approximate Roots - Univariate Case
Mathematical Aspects of Computer and Information Sciences, 3–9.
2020 conference paper
Certified Hermite Matrices from Approximate Roots - Univariate Case
Mathematical Aspects of Computer and Information Sciences, 3–9.
2020 conference paper
Punctual Hilbert scheme and certified approximate singularities
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation.
2020 journal article
Smooth Points on Semi-algebraic Sets
ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 54(3), 105–108.
2020 article
Smooth Points on Semi-algebraic Sets
(2020, February 11).
2020 journal article
Subresultants of (x - alpha)(m) and (x - beta)(n), Jacobipolynomials and complexity
JOURNAL OF SYMBOLIC COMPUTATION, 101, 330–351.
2019 journal article
Closed formula for univariate subresultants in multiple roots
LINEAR ALGEBRA AND ITS APPLICATIONS, 565, 123–155.
2018 journal article
Certifying solutions to overdetermined and singular polynomial systems over Q
JOURNAL OF SYMBOLIC COMPUTATION, 84, 147–171.
2018 article
Irredundant Triangular Decomposition
ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, pp. 311–318.
2017 article
On deflation and multiplicity structure
JOURNAL OF SYMBOLIC COMPUTATION, Vol. 83, pp. 228–253.
2017 journal article
Subresultants in multiple roots: An extremal case
Linear Algebra and Its Applications, 529, 185–198.
2017 journal article
Symmetric interpolation, Exchange Lemma and Sylvester sums
COMMUNICATIONS IN ALGEBRA, 45(8), 3231–3250.
2016 article
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra Foreword
JOURNAL OF SYMBOLIC COMPUTATION, Vol. 75, pp. 1–3.
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.
2015 journal article
Overdetermined Weierstrass iteration and the nearest consistent system
THEORETICAL COMPUTER SCIENCE, 562, 346–364.
2015 journal article
Subresultants, Sylvester sums and the rational interpolation problem
JOURNAL OF SYMBOLIC COMPUTATION, 68, 72–83.
2014 chapter
A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields
In Computer Algebra in Scientific Computing (Vol. 8660, pp. 202–217).
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
2013 journal article
Subresultants in multiple roots
LINEAR ALGEBRA AND ITS APPLICATIONS, 438(5), 1969–1989.
2012 journal article
On the computation of matrices of traces and radicals of ideals
Journal of Symbolic Computation, 47(1), 102–122.
2012 journal article
Sylvester's double sums: An inductive proof of the general case
JOURNAL OF SYMBOLIC COMPUTATION, 47(8), 942–953.
2011 chapter
Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk)
In V. P. Gerdt, W. Koepf, E. W. Mayr, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (CASC 2011) (pp. 345–347).
Ed(s): V. Gerdt, W. Koepf, E. Mayr & E. Vorozhtsov
2010 journal article
Multivariate subresultants using Jouanolou matrices
JOURNAL OF PURE AND APPLIED ALGEBRA, 214(8), 1347–1369.
2009 journal article
A bound for orders in differential Nullstellensatz
JOURNAL OF ALGEBRA, 322(11), 3852–3877.
2009 journal article
Nearest multivariate system with given root multiplicities
JOURNAL OF SYMBOLIC COMPUTATION, 44(6), 606–625.
2009 journal article
Sylvester’s double sums: The general case
Journal of Symbolic Computation, 44(9), 1164–1175.
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.
2007 journal article
An elementary proof of Sylvester's double sums for subresultants
JOURNAL OF SYMBOLIC COMPUTATION, 42(3), 290–297.
2007 journal article
Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD
Mathematics in Computer Science, 1(2), 393–425.
2006 journal article
Multivariate subresultants in roots
JOURNAL OF ALGEBRA, 302(1), 16–36.
2006 journal article
Re: “Multivariate subresultants in roots” [J. Algebra 302 (2006) 16–36]
Journal of Algebra, 303(2), 449.