Skip to Main content Skip to Navigation


hal-01434760v1  Conference papers
Fabrice Rouillier. Well-defined semantics for floating-point computations: the MPFR library
MuPAD Workshop 2000, 2000, Unknown, Unknown Region
inria-00110525v1  Conference papers
Michel KernAgany OlouiJean-Charles FaugèreFabrice Rouillier. Using Groebner bases to compute higher order finite elements for mass lumping
Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom
inria-00100987v1  Conference papers
Solen CorvezFabrice Rouillier. Using computer algebra tools to classify serial manipulators
Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. pp.31-43, ⟨10.1007/978-3-540-24616-9_3⟩
hal-01434763v1  Conference papers
Jean-Charles FaugèreLuc RollandFabrice Rouillier. Using Computer algebra tools for off-line studies of parallel manipulators
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
...
inria-00431559v1  Conference papers
Sylvain LazardLuis PeñarandaElias Tsigaridas. Univariate Algebraic Kernel and Application to Arrangements
8th International Symposium SEA 2009, Jun 2009, Dortmund, Germany. pp.209-220, ⟨10.1007/978-3-642-02011-7⟩
...
inria-00425378v1  Conference papers
Hazel EverettChristian GillotDaniel LazardSylvain LazardMarc Pouget. The Voronoi diagram of three arbitrary lines in R3
25th European Workshop on Computational Geometry - EuroCG'09, Mar 2009, Bruxelles, Belgium. pp.297-300
inria-00098568v1  Reports
Fabrice RouillierM.F RoyMohab Safey El Din. Testing emptyness of Real Hypersurfaces
[Contract] 98-R-073 || rouillier98c, 1998, 10 p
inria-00098571v1  Book sections
Laureano Gonzalez-VegaFabrice RouillierMarie-Françoise RoyGuadaluppe Trujillo. Symbolic Recipes for Real Solutions
Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩
inria-00098570v1  Book sections
Laureano Gonzalez-VegaFabrice RouillierMarie-Françoise Roy. Symbolic Recipes for Polynomial System Solving
A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_2⟩
inria-00098872v1  Journal articles
Fabrice Rouillier. Solving Zero-Dimensional Systems through the Rational Univariate Representation
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 1999, 9 (5), pp.433-461. ⟨10.1007/s002000050114⟩
inria-00099276v1  Conference papers
Fabrice RouillierMohab Safey El DinEric Schost. Solving the Birkhoff interpolation problem via the critical point method: an experimental study
Third International Workshop on Automated Deduction in Geometry - ADG'2000, Sep 2000, Zurich, Switzerland. pp.26-40, ⟨10.1007/3-540-45410-1_3⟩
...
inria-00329762v1  Book sections
Frédéric CazalsJean-Charles FaugèreMarc PougetFabrice Rouillier. Ridges and Umbilics of Polynomial Parametric Surfaces
B. Juttler and R. Piene. Geometric Modeling and Algebraic Geometry, Springer, pp.141--159, 2008, 978-3-540-72184-0. ⟨10.1007/978-3-540-72185-7_8⟩
inria-00098569v1  Other publications
Fabrice Rouillier. RealSolving
1998
hal-01434761v1  Conference papers
Fabrice Rouillier. Real Solving of Polynomial Systems and Applications
ICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
inria-00100982v1  Journal articles
Philippe AubryFabrice RouillierMohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
inria-00100993v1  Conference papers
Fabrice Rouillier. Real Solving and parallel robots
Workshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain
inria-00098444v1  Book sections
Fabrice Rouillier. Real Root Counting For some Robotics problems
Merlet, J.P. Solid Mechanics & its Applications, 9 p, 1998
hal-01434770v1  Conference papers
Fabrice RouillierM.F. Roy. Polynomial system solving in practice
FoCM'97, 1997, Unknown, Unknown Region
inria-00100994v1  Conference papers
Fabrice Rouillier. Outils pour l'étude des zéros réels de systèmes algébriques
Colloque Mathématiques Effectives, 2002, Poitiers, France
inria-00100992v1  Conference papers
Fabrice Rouillier. Outils pour l'Etude des Zéros Réels de Systèmes Algébriques
Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France
...
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
...
inria-00425383v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of planar algebraic curves
25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. pp.361--370, ⟨10.1145/1542362.1542424⟩
...
inria-00329754v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On The Topology of Planar Algebraic Curves
24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216
...
inria-00580431v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. New bivariate system solver and topology of algebraic curves
27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
inria-00100985v1  Conference papers
Nathalie RevolFabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library
SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
...
inria-00329731v1  Journal articles
Frédéric CazalsMarc Pouget. Jet fitting 3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3)
inria-00580419v1  Book sections
Frédéric CazalsMarc Pouget. Estimation of Local Differential Properties
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00099941v1  Journal articles
Fabrice RouillierPaul Zimmermann. Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics, Elsevier, 2004, 162 (1), pp.33-50. ⟨10.1016/j.cam.2003.08.015⟩
hal-01434757v1  Book sections
Fabrice Rouillier. Efficient algorithms based on critical points method
Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science
hal-01434759v1  Conference papers
Fabrice Rouillier. Efficient Agorithms Based on the Critical Point Method
DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. pp.123-138
inria-00098579v1  Journal articles
Jean-Charles FaugèreFrancois Moreau de Saint MartinFabrice Rouillier. Design of regular nonseparable bidimensional wavelets using Grobner basis techniques
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 1998, 46 (4), pp.845-856. ⟨10.1109/78.668541⟩
hal-01434764v1  Conference papers
Jean-Charles FaugèreFabrice Rouillier. Design of filter and filter banks using dedicated Computer Algebra Tools
International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
inria-00100983v1  Conference papers
Fabrice Rouillier. Computational problems related to positive polynomials
Workshop on positive polynomials, 2002, Oberwolfach, Germany
inria-00580418v1  Book sections
Frédéric CazalsMarc Pouget. Approximation of Ridges and Umbilics on Triangulated Surface Meshes
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
hal-01434768v1  Conference papers
Fabrice Rouillier. Application of Modules (RealSolving/FRISCO)
MuPAD Workshop 1997, 1997, Unknown, Unknown Region
inria-00100984v1  Conference papers
Gabriel dos ReisBernard MourrainPhilippe TrebuchetFabrice Rouillier. An environment for Symbolic and Numeric Computation
International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
lirmm-00324589v1  Conference papers
David BremnerJonathan LenchnerGiuseppe LiottaChristophe PaulMarc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27
hal-01434758v1  Conference papers
Nathalie RevolFabrice Rouillier. A library for arbitrary precision interval arithmetic
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
...
inria-00336563v1  Conference papers
Sylvain LazardLuis PeñarandaElias Tsigaridas. A CGAL-based Univariate Algebraic Kernel and Application to Arrangements
24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.91--94