| Publication | Date of Publication | Type |
|---|
Univariate rational sums of squares
Revista de la Unión Matemática Argentina | 2024-01-19 | Paper |
Certified Hermite matrices from approximate roots
Journal of Symbolic Computation | 2023-03-01 | Paper |
Smooth points on semi-algebraic sets
Journal of Symbolic Computation | 2022-11-21 | Paper |
A certified iterative method for isolated singular roots
Journal of Symbolic Computation | 2022-09-22 | Paper |
Smooth points on semi-algebraic sets
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Certified Hermite Matrices from Approximate Roots - Univariate Case
Mathematical Aspects of Computer and Information Sciences | 2021-12-08 | Paper |
Certified Hermite Matrices from Approximate Roots
(available as arXiv preprint) | 2021-10-19 | Paper |
Punctual Hilbert scheme and certified approximate singularities
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Irredundant triangular decomposition
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Subresultants of \((x-\alpha)^m\) and \((x-\beta)^n\), Jacobi polynomials and complexity
Journal of Symbolic Computation | 2020-06-15 | Paper |
Punctual Hilbert Schemes and Certified Approximate Singularities
(available as arXiv preprint) | 2020-02-14 | Paper |
Closed formula for univariate subresultants in multiple roots
Linear Algebra and its Applications | 2019-03-26 | Paper |
Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
Journal of Symbolic Computation | 2017-08-24 | Paper |
Symmetric interpolation, Exchange Lemma and Sylvester sums
Communications in Algebra | 2017-08-10 | Paper |
Symmetric interpolation, Exchange Lemma and Sylvester sums
Communications in Algebra | 2017-08-10 | Paper |
| Gramian Tensor Decomposition via Semidefinite Programming | 2017-08-08 | Paper |
Subresultants in multiple roots: an extremal case
Linear Algebra and its Applications | 2017-06-30 | Paper |
Subresultants in multiple roots: an extremal case
Linear Algebra and its Applications | 2017-06-30 | Paper |
On deflation and multiplicity structure
Journal of Symbolic Computation | 2017-06-01 | Paper |
Approximate radical of ideals with clusters of roots (extended abstract)
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Certification of Approximate Roots of Exact Polynomial Systems
Notices of the American Mathematical Society | 2016-12-29 | Paper |
Certifying isolated singular points and their multiplicity structure
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Subresultants, Sylvester sums and the rational interpolation problem
Journal of Symbolic Computation | 2014-12-09 | Paper |
Overdetermined Weierstrass iteration and the nearest consistent system
Theoretical Computer Science | 2014-12-02 | Paper |
A note on global Newton iteration over Archimedean and non-Archimedean fields
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Subresultants in multiple roots
Linear Algebra and its Applications | 2013-02-22 | Paper |
Sylvester's double sums: an inductive proof of the general case
Journal of Symbolic Computation | 2012-05-11 | Paper |
On the computation of matrices of traces and radicals of ideals
Journal of Symbolic Computation | 2011-12-21 | Paper |
Symbolic-numeric solution of ill-conditioned polynomial systems (Survey talk overview) (Invited talk)
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Multivariate subresultants using Jouanolou matrices
Journal of Pure and Applied Algebra | 2010-03-08 | Paper |
A bound for orders in differential Nullstellensatz
Journal of Algebra | 2010-03-01 | Paper |
Sylvester's double sums: the general case
Journal of Symbolic Computation | 2009-07-01 | Paper |
Nearest multivariate system with given root multiplicities
Journal of Symbolic Computation | 2009-05-07 | Paper |
Moment matrices, trace matrices and the radical of ideals
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin)
Journal of Symbolic Computation | 2008-04-10 | Paper |
Approximate radical for clusters: A global approach using Gaussian elimination or SVD
Mathematics in Computer Science | 2008-01-22 | Paper |
Approximate radical for clusters: A global approach using Gaussian elimination or SVD
Mathematics in Computer Science | 2008-01-22 | Paper |
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation | 2007-10-23 | Paper |
Multivariate subresultants in roots
Journal of Algebra | 2006-11-15 | Paper |
| scientific article; zbMATH DE number 1254030 (Why is no real title available?) | 1999-02-23 | Paper |
| scientific article; zbMATH DE number 988157 (Why is no real title available?) | 1997-03-06 | Paper |
Lattice basis reduction for indefinite forms and an application
Discrete Mathematics | 1996-10-08 | Paper |
Decomposition of algebras over \(F_ q(X_ 1,\dots,X_ m)\)
Applicable Algebra in Engineering, Communication and Computing | 1995-05-28 | Paper |
