| Publication | Date of Publication | Type |
|---|
| Fast high-resolution drawing of algebraic curves | 2025-01-17 | Paper |
| Sparse tensors and subdivision methods for finding the zero set of polynomial equations | 2025-01-10 | Paper |
Fast evaluation and root finding for polynomials with floating-point coefficients
Journal of Symbolic Computation | 2024-10-08 | Paper |
Fast evaluation and root finding for polynomials with floating-point coefficients
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Evaluation of Chebyshev Polynomials on Intervals and Application to Root Finding
Mathematical Aspects of Computer and Information Sciences | 2021-12-08 | Paper |
Reliable Computation of the Singularities of the Projection in $$\mathbb R^3$$ of a Generic Surface of $$\mathbb R^4$$
Mathematical Aspects of Computer and Information Sciences | 2021-12-08 | Paper |
Optimal transport between determinantal point processes and application to fast simulation
Modern Stochastics. Theory and Applications | 2021-11-05 | Paper |
Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves
Journal of Computational and Applied Mathematics | 2021-06-03 | Paper |
| Computing the distance between piecewise-linear bivariate functions | 2019-05-10 | Paper |
| Monotone simultaneous paths embeddings in \(\mathbb{R}^d\) | 2018-12-10 | Paper |
Computing the distance between piecewise-linear bivariate functions
ACM Transactions on Algorithms | 2018-10-30 | Paper |
| Computing effectively stabilizing controllers for a class of $n$D systems | 2017-12-19 | Paper |
A fast algorithm for computing the truncated resultant
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Complexity of the resolution of parametric systems of polynomial equations and inequations
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
A certified numerical algorithm for the topology of resultant and discriminant curves
Journal of Symbolic Computation | 2016-11-29 | Paper |
A certified numerical algorithm for the topology of resultant and discriminant curves
Journal of Symbolic Computation | 2016-11-29 | Paper |
Quadric arrangement in classifying rigid motions of a 3D digital image
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Solving bivariate systems using rational univariate representations
Journal of Complexity | 2016-10-17 | Paper |
Numeric and certified isolation of the singularities of the projection of a smooth space curve
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Improved algorithm for computing separating linear forms for bivariate systems
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Improved algorithm for computing separating linear forms for bivariate systems
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
A package for solving parametric polynomial systems
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
The monotonicity of \(f\)-vectors of random polytopes
Electronic Communications in Probability | 2014-09-22 | Paper |
Properness defects of projection and minimal discriminant variety
Journal of Symbolic Computation | 2011-10-11 | Paper |
scientific article; zbMATH DE number 5679822 (Why is no real title available?)
(available as arXiv preprint) | 2010-03-10 | Paper |
Regular Decompositions
Computer Mathematics | 2009-01-29 | Paper |
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
