Rational univariate representations of bivariate systems and applications

DOI10.1145/2465506.2465519zbMath1360.68922arXiv1303.5042OpenAlexW1994094598MaRDI QIDQ2963223

Sylvain Lazard, Yacine Bouzidi, Marc Pouget, Fabrice Rouillier

Publication date: 10 February 2017

Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.5042

zbMATH Keywords

rational univariate representationbivariate system

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Symbolic computation and algebraic computation (68W30) Solving polynomial systems; resultants (13P15)

Related Items

A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers ⋮ On the complexity of computing the topology of real algebraic space curves ⋮ \texttt{PTOPO}: computing the geometry and the topology of parametric curves ⋮ p-adic algorithm for bivariate Gröbner bases ⋮ From approximate factorization to root isolation with application to cylindrical algebraic decomposition ⋮ On the complexity of computing with planar algebraic curves ⋮ Certified non-conservative tests for the structural stability of discrete multidimensional systems ⋮ Representations of fundamental groups of 3-manifolds into \(\mathrm{PGL}(3,\mathbb C)\): exact computations in low complexity