Author of the publication

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study.

, , and . Automated Deduction in Geometry, volume 2061 of Lecture Notes in Computer Science, page 26-40. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Computer algebra methods for polynomial system solving at the service of image-based visual servoing., , , , and . ACM Commun. Comput. Algebra, 56 (2): 36-40 (2022)A baby step-giant step roadmap algorithm for general algebraic sets, , , and . CoRR, (2012)A probabilistic algorithm to compute the real dimension of a semi-algebraic set, and . CoRR, (2013)A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces, and . CoRR, (2009)Computing rational solutions of linear matrix inequalities., , and . ISSAC, page 197-204. ACM, (2013)Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping.. ASCM, volume 5081 of Lecture Notes in Computer Science, page 42-56. Springer, (2007)Polynomial interrupt timed automata: Verification and expressiveness., , , , and . Inf. Comput., (2021)Singularity Analysis for the Perspective-Four and Five-Line Problems., , , and . Int. J. Comput. Vis., 130 (4): 909-932 (2022)A signature-based algorithm for computing the nondegenerate locus of a polynomial system., , , and . J. Symb. Comput., (2023)Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics., , and . J. Symb. Comput., (2023)