2022
Article dans une revue
- titre
- Improved polytope volume calculations based on Hamiltonian Monte Carlo with boundary reflections and sweet arithmetics
- auteur
- Augustin Chevallier, Sylvain Pion, Frédéric Cazals
- article
- Journal of Computational Geometry, In press, ⟨10.20382/jocg.v13i1a3⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
2018
Rapport
- titre
- Hamiltonian Monte Carlo with boundary reflections, and application to polytope volume calculations
- auteur
- Augustin Chevallier, Sylvain Pion, Frédéric Cazals
- article
- [Research Report] RR-9222, INRIA Sophia Antipolis, France. 2018
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
- titre
- A Generic Lazy Evaluation Scheme for Exact Geometric Computations
- auteur
- Sylvain Pion, Andreas Fabri
- article
- Science of Computer Programming, 2011, Special issue on library-centric software design (LCSD 2006), 76 (4), pp.307-323. ⟨10.1016/j.scico.2010.09.003⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- titre
- Parallel Geometric Algorithms for Multi-Core Computers
- auteur
- Vicente H. F. Batista, David L. Millman, Sylvain Pion, Johannes Singler
- article
- Computational Geometry, 2010, Special Issue on the 25th Annual Symposium on Computational Geometry (SoCG'09), 43 (8), pp.663-677. ⟨10.1016/j.comgeo.2010.04.008⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- auteur
- Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Hervé Brönnimann
- article
- Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Delaunay Tessellations and Voronoi Diagrams in CGAL
- auteur
- Pierre Alliez, Christophe Delage, Menelaos I Karavelas, Sylvain Pion, Monique Teillaud, Mariette Yvinec
- article
- [Research Report] INRIA Sophia Antipolis - Méditerranée; University of Crete. 2010
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2009
Communication dans un congrès
- titre
- Parallel Geometric Algorithms for Multi-Core Computers
- auteur
- Vicente H. F. Batista, David L. Millman, Sylvain Pion, Johannes Singler
- article
- ACM Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.217-226
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- titre
- Classroom examples of robustness problems in geometric computations
- auteur
- Lutz Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan Schirra, Chee Yap
- article
- Computational Geometry, 2008, 40 (1), pp.61-78. ⟨10.1016/j.comgeo.2007.06.003⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- FPG: A code generator for fast and certified geometric predicates
- auteur
- Andreas Meyer, Sylvain Pion
- article
- Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Robust Construction of the Three-Dimensional Flow Complex
- auteur
- Frédéric Cazals, Aditya Parameswaran, Sylvain Pion
- article
- ACM Symposium on Computational Geometry (SCG), Jun 2008, Washington, United States
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Parallel Geometric Algorithms for Multi-Core Computers
- auteur
- Vicente H. F. Batista, David L. Millman, Sylvain Pion, Johannes Singler
- article
- [Research Report] RR-6749, INRIA. 2008, pp.30
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
- titre
- Principal Component Analysis in CGAL
- auteur
- Ankit Gupta, Pierre Alliez, Sylvain Pion
- article
- [Research Report] RR-6642, INRIA. 2008, pp.13
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
- titre
- Directed Rounding Arithmetic Operations in C++
- auteur
- Guillaume Melquiond, Sylvain Pion
- article
- [Research Report] RR-6757, INRIA. 2008, pp.11
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- titre
- Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
- auteur
- Guillaume Melquiond, Sylvain Pion
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
- titre
- An Adaptable and Extensible Geometry Kernel
- auteur
- Susan Hert, Michael Hoffmann, Lutz Kettner, Sylvain Pion, Michael Seel
- article
- Computational Geometry, 2007, Special Issue on CGAL, 38 (1-2), pp.16-36. ⟨10.1016/j.comgeo.2006.11.004⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Exact and efficient computations on circles in CGAL
- auteur
- Pedro M. M. de Castro, Sylvain Pion, Monique Teillaud
- article
- 23rd European Workshop on Computational Geometry, 2007, Graz, Austria
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Exact and efficient computations on circles in CGAL and applications to VLSI design
- auteur
- Pedro M. M. de Castro, Sylvain Pion, Monique Teillaud
- article
- [Research Report] RR-6091, INRIA. 2007, pp.14
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- The design of the Boost interval arithmetic library
- auteur
- Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
- article
- Theoretical Computer Science, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
- titre
- Constructive root bound for k-ary rational input numbers
- auteur
- Sylvain Pion, Chee Yap
- article
- Theoretical Computer Science, 2006, 369 (1-3), pp.361-376. ⟨10.1016/j.tcs.2006.09.010⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
- titre
- Des arithmétiques pour la géométrie
- auteur
- Sylvain Pion
- article
- Interstices, 2006
- typdoc
- Article dans une revue
- Accès au bibtex
-
Communication dans un congrès
- titre
- A Generic Lazy Evaluation Scheme for Exact Geometric Computations
- auteur
- Sylvain Pion, Andreas Fabri
- article
- Library Centric Software Design (LCSD), Oct 2006, Portland, Oregon, United States
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- A Proposal to add Interval Arithmetic to the C++ Standard Library
- auteur
- Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
- article
- [Research Report] RR-5646, INRIA. 2006
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
- titre
- A Generic Lazy Evaluation Scheme for Exact Geometric Computations
- auteur
- Sylvain Pion, Andreas Fabri
- article
- [Research Report] RR-5966, INRIA. 2006, pp.23
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
- titre
- A proposal for the C++ standard : Bool_set, multi-valued logic
- auteur
- Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann
- article
- [Research Report] RR-5967, INRIA. 2006, pp.22
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2005
Article dans une revue
- titre
- Recent progress in exact geometric computation
- auteur
- Chen Li, Sylvain Pion, Chee Yap
- article
- Journal of Logic and Algebraic Programming, 2005, Practical development of exact real number computation, 64 (1), pp.85-111. ⟨10.1016/j.jlap.2004.07.006⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Formal certification of arithmetic filters for geometric predicates
- auteur
- Guillaume Melquiond, Sylvain Pion
- article
- 17th IMACS World Congress, 2005, Paris, France
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
2004
Communication dans un congrès
- titre
- Classroom Examples of Robustness Problems in Geometric Computations
- auteur
- Lutz Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan Schirra, Chee Yap
- article
- European Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Towards an Open Curved Kernel
- auteur
- Ioannis Z. Emiris, Athanasios Kakargias, Sylvain Pion, Monique Teillaud, Elias P. P. Tsigaridas
- article
- ACM Symposium on Computational Geometry, Jun 2004, New York, United States. pp.438-446
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
2003
Communication dans un congrès
- titre
- Constructive Root Bound for k-Ary Rational Input Numbers
- auteur
- Sylvain Pion, Chee K. Yap
- article
- 19th Annual ACM Symposium on Computational Geometry (SCG), Jun 2003, San Diego, California, United States. pp.256-263
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Efficient Exact Geometric Predicates for Delaunay Triangulations
- auteur
- Olivier Devillers, Sylvain Pion
- article
- Proceedings of the 5th Workshop on Algorithm Engineering and Experiments, Jan 2003, Baltimore, Maryland, United States. pp.37-44
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- The Boost Interval Arithmetic Library
- auteur
- Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
- article
- Real Numbers and Computers, 2003, Lyon, France. pp.65-80
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
2002
Article dans une revue
- titre
- Walking in a Triangulation
- auteur
- Olivier Devillers, Sylvain Pion, Monique Teillaud
- article
- International Journal of Foundations of Computer Science, 2002, 13, pp.181--199. ⟨10.1142/S0129054102001047⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
- titre
- Triangulations in CGAL
- auteur
- Jean-Daniel Boissonnat, Olivier Devillers, Sylvain Pion, Monique Teillaud, Mariette Yvinec
- article
- Computational Geometry, 2002, 22, pp.5-19. ⟨10.1016/S0925-7721(01)00054-2⟩
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Efficient Exact Geometric Predicates for Delaunay Triangulations
- auteur
- Olivier Devillers, Sylvain Pion
- article
- RR-4351, INRIA. 2002
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
2001
Article dans une revue
- titre
- Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry
- auteur
- Hervé Brönnimann, Christoph Burnikel, Sylvain Pion
- article
- Discrete Applied Mathematics, 2001, 109, pp.25-47
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- An Adaptable and Extensible Geometry Kernel
- auteur
- Susan Hert, Michael Hoffmann, Lutz Kettner, Sylvain Pion, Michael Seel
- article
- Workshop on Algorithm Engineering, Aug 2001, Aarhus, Denmark. pp.79-90, ⟨10.1007/3-540-44688-5⟩
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Walking in a Triangulation
- auteur
- Olivier Devillers, Sylvain Pion, Monique Teillaud
- article
- Proceedings of the 17th Annual Symposium on Computational Geometry, Jun 2001, Boston, United States. pp.106-114, ⟨10.1145/378583.378643⟩
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- An Adaptable and Extensible Geometry Kernel
- auteur
- Susan Hert, Michael Hoffmann, Lutz Kettner, Sylvain Pion, Michael Seel
- article
- RR-4270, INRIA. 2001
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
- titre
- Walking in a triangulation
- auteur
- Olivier Devillers, Sylvain Pion, Monique Teillaud
- article
- RR-4120, INRIA. 2001
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-
1999
Article dans une revue
- titre
- Sign Determination in Residue Number Systems
- auteur
- Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Y. Pan, Sylvain Pion
- article
- Theoretical Computer Science, 1999, Special issue on Real Numbers and Computers, 210, pp.173-197
- typdoc
- Article dans une revue
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Programming with CGAL: the example of triangulations
- auteur
- Jean-Daniel Boissonnat, Frédéric Cazals, Tran Kai Frank Da, Olivier Devillers, Sylvain Pion, Francois Rebufat, Monique Teillaud, Mariette Yvinec
- article
- 8th Annual Video Review of Computational Geometry, 15th ACM Symposium on Computational Geometry (SCG), Jun 1999, Miami Beach, Florida, United States
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Interval Arithmetic: an efficient implementation and an application to computational geometry
- auteur
- Sylvain Pion
- article
- Workshop on Applications of Interval Analysis to systems and Control (MISC), Feb 1999, Girona, Spain
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Thèse
- titre
- De la géométrie algorithmique au calcul géométrique
- auteur
- Sylvain Pion
- article
- Modélisation et simulation. Université Nice Sophia Antipolis, 1999. Français. ⟨NNT : ⟩
- typdoc
- Thèse
- Accès au texte intégral et bibtex
-
1998
Communication dans un congrès
- titre
- Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry
- auteur
- Hervé Brönnimann, Christoph Burnikel, Sylvain Pion
- article
- 14th Annual ACM Symposium on Computational Geometry (SCG), Jun 1998, Minneapolis, United States. pp.165-174
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
1997
Communication dans un congrès
- titre
- Computing exact geometric predicates using modular arithmetic with single precision
- auteur
- Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Y. Pan, Sylvain Pion
- article
- ACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
- titre
- Exact rounding for geometric constructions
- auteur
- Hervé Brönnimann, Sylvain Pion
- article
- Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 1997, Lyon, France
- typdoc
- Communication dans un congrès
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision
- auteur
- Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Y. Pan, Sylvain Pion
- article
- RR-3213, INRIA. 1997
- typdoc
- Rapport
- Accès au texte intégral et bibtex
-