Diatta, Daouda Niang; Diatta, Sény; Rouillier, Fabrice; Roy, Marie-Françoise; Sagraloff, Michael Bounds for polynomials on algebraic numbers and application to curve topology. (English) Zbl 1486.14074 Discrete Comput. Geom. 67, No. 3, 631-697 (2022). Reviewer: Alexander Kovačec (Coimbra) MSC: 14P25 68W30 13P15 14Q05 68Q25 14H50 PDFBibTeX XMLCite \textit{D. N. Diatta} et al., Discrete Comput. Geom. 67, No. 3, 631--697 (2022; Zbl 1486.14074) Full Text: DOI arXiv
Bouzidi, Yacine; Quadrat, Alban; Rouillier, Fabrice Certified non-conservative tests for the structural stability of discrete multidimensional systems. (English) Zbl 1430.93179 Multidimensional Syst. Signal Process. 30, No. 3, 1205-1235 (2019). MSC: 93D25 93B25 93C35 13P15 65H10 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., Multidimensional Syst. Signal Process. 30, No. 3, 1205--1235 (2019; Zbl 1430.93179) Full Text: DOI HAL
Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice Bivariate triangular decompositions in the presence of asymptotes. (English) Zbl 1357.13031 J. Symb. Comput. 82, 123-133 (2017). MSC: 13P15 PDFBibTeX XMLCite \textit{S. Lazard} et al., J. Symb. Comput. 82, 123--133 (2017; Zbl 1357.13031) Full Text: DOI HAL
Bouzidi, Yacine; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc; Rouillier, Fabrice; Sagraloff, Michael Solving bivariate systems using rational univariate representations. (English) Zbl 1351.65033 J. Complexity 37, 34-75 (2016). MSC: 65H10 13P15 65H04 65Y20 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., J. Complexity 37, 34--75 (2016; Zbl 1351.65033) Full Text: DOI
Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice Separating linear forms and rational univariate representations of bivariate systems. (English) Zbl 1328.13041 J. Symb. Comput. 68, Part 1, 84-119 (2015). MSC: 13P15 68W30 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., J. Symb. Comput. 68, Part 1, 84--119 (2015; Zbl 1328.13041) Full Text: DOI
Bouzidi, Yacine; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc; Rouillier, Fabrice Improved algorithm for computing separating linear forms for bivariate systems. (English) Zbl 1325.68267 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 75-82 (2014). MSC: 68W30 13P15 68Q25 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 75--82 (2014; Zbl 1325.68267) Full Text: DOI arXiv HAL
Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice Separating linear forms for bivariate systems. (English) Zbl 1360.68923 Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 117-124 (2013). MSC: 68W30 13P15 68W40 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 117--124 (2013; Zbl 1360.68923) Full Text: DOI arXiv
Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice Rational univariate representations of bivariate systems and applications. (English) Zbl 1360.68922 Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 109-116 (2013). MSC: 68W30 13P15 68W40 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 109--116 (2013; Zbl 1360.68922) Full Text: DOI arXiv HAL
Lazard, Daniel; Rouillier, Fabrice Solving parametric polynomial systems. (English) Zbl 1156.14044 J. Symb. Comput. 42, No. 6, 636-667 (2007). Reviewer: David Sevilla (Linz) MSC: 14P99 68W30 55R80 PDFBibTeX XMLCite \textit{D. Lazard} and \textit{F. Rouillier}, J. Symb. Comput. 42, No. 6, 636--667 (2007; Zbl 1156.14044) Full Text: DOI
Rouillier, F.; Roy, M.-F.; Safey El Din, M. Finding at least one point in each connected component of a real algebraic set defined by a single equation. (English) Zbl 1009.14010 J. Complexity 16, No. 4, 716-750 (2000). Reviewer: Joos Heintz (Buenos Aires) MSC: 14Q10 65H10 14P05 PDFBibTeX XMLCite \textit{F. Rouillier} et al., J. Complexity 16, No. 4, 716--750 (2000; Zbl 1009.14010) Full Text: DOI Link