Skip to Main content Skip to Navigation


...
inria-00000026v1  Conference papers
Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145
...
tel-00011258v1  Theses
Sylvain Pion. De la géométrie algorithmique au calcul géométrique
Modélisation et simulation. Université Nice Sophia Antipolis, 1999. Français
...
inria-00344963v1  Conference papers
Hervé BrönnimannIoannis Z. EmirisVictor y. y. PanSylvain Pion. Computing exact geometric predicates using modular arithmetic with single precision
ACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
...
inria-00344960v1  Conference papers
Sylvain PionAndreas Fabri. A Generic Lazy Evaluation Scheme for Exact Geometric Computations
Library Centric Software Design (LCSD), Oct 2006, Portland, Oregon, United States
...
inria-00000025v1  Conference papers
Vincent Lefèvre. New Results on the Distance Between a Segment and Z². Application to the Exact Rounding
17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩
...
tel-00445752v1  Theses
Arnaud Tisserand. Adéquation arithmétique architecture, problèmes et étude de cas
Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 1997. Français
...
inria-00116820v2  Conference papers
Nicolas Julien. Arithmétique réelle exacte certifiée, co-induction et base arbitraire
Journées Francophones des Langages Applicatifs, Jan 2007, Aix-les-Bains
...
inria-00369511v1  Conference papers
Nicolas JulienIoana Pasca. Formal verification of exact computations using Newton's method
Theorem Proving in Higher Order Logics, Aug 2009, Munich, Germany. pp.408-423, ⟨10.1007/978-3-642-03359-9_28⟩
...
hal-02101893v1  Reports
Lin ChenW. EberlyErich KaltofenB.D. SaundersW.J. Turner et al.  Efficient Matrix Preconditioners for Black Box Linear Algebra
[Research Report] LIP RR-2001-05, Laboratoire de l'informatique du parallélisme. 2001, 2+18p
...
hal-02101933v1  Reports
Bernd BeckermannGeorge LabahnGilles Villard. Normal Forms for General Polynomial Matrices
[Research Report] LIP RR-2002-1, Laboratoire de l'informatique du parallélisme. 2002, 2+31p