Sylvain Pion

47
Documents

Présentation

Publications

Publications

Image document

Improved polytope volume calculations based on Hamiltonian Monte Carlo with boundary reflections and sweet arithmetics

Augustin Chevallier , Sylvain Pion , Frédéric Cazals
Journal of Computational Geometry, In press, ⟨10.20382/jocg.v13i1a3⟩
Article dans une revue hal-03048725 v4
Image document

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

Sylvain Pion , Andreas Fabri
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⟩
Article dans une revue inria-00562300 v1
Image document

Parallel Geometric Algorithms for Multi-Core Computers

Vicente H. F. Batista , David L. Millman , Sylvain Pion , Johannes Singler
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⟩
Article dans une revue inria-00488961 v1
Image document

Classroom examples of robustness problems in geometric computations

Lutz Kettner , Kurt Mehlhorn , Sylvain Pion , Stefan Schirra , Chee Yap
Computational Geometry, 2008, 40 (1), pp.61-78. ⟨10.1016/j.comgeo.2007.06.003⟩
Article dans une revue inria-00344310 v1
Image document

Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates

Guillaume Melquiond , Sylvain Pion
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
Article dans une revue inria-00071232 v2
Image document

An Adaptable and Extensible Geometry Kernel

Susan Hert , Michael Hoffmann , Lutz Kettner , Sylvain Pion , Michael Seel
Computational Geometry, 2007, Special Issue on CGAL, 38 (1-2), pp.16-36. ⟨10.1016/j.comgeo.2006.11.004⟩
Article dans une revue inria-00344363 v1
Image document

The design of the Boost interval arithmetic library

Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion
Theoretical Computer Science, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩
Article dans une revue inria-00344412 v1
Image document

Constructive root bound for k-ary rational input numbers

Sylvain Pion , Chee Yap
Theoretical Computer Science, 2006, 369 (1-3), pp.361-376. ⟨10.1016/j.tcs.2006.09.010⟩
Article dans une revue inria-00344349 v1

Des arithmétiques pour la géométrie

Sylvain Pion
Interstices, 2006
Article dans une revue inria-00096418 v1
Image document

Recent progress in exact geometric computation

Chen Li , Sylvain Pion , Chee Yap
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⟩
Article dans une revue inria-00344355 v1
Image document

Walking in a Triangulation

Olivier Devillers , Sylvain Pion , Monique Teillaud
International Journal of Foundations of Computer Science, 2002, 13, pp.181--199. ⟨10.1142/S0129054102001047⟩
Article dans une revue inria-00102194 v1
Image document

Triangulations in CGAL

Jean-Daniel Boissonnat , Olivier Devillers , Sylvain Pion , Monique Teillaud , Mariette Yvinec
Computational Geometry, 2002, 22, pp.5-19. ⟨10.1016/S0925-7721(01)00054-2⟩
Article dans une revue inria-00167199 v1
Image document

Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry

Hervé Brönnimann , Christoph Burnikel , Sylvain Pion
Discrete Applied Mathematics, 2001, 109, pp.25-47
Article dans une revue inria-00344281 v1
Image document

Sign Determination in Residue Number Systems

Hervé Brönnimann , Ioannis Z. Emiris , Victor Y. Y. Pan , Sylvain Pion
Theoretical Computer Science, 1999, Special issue on Real Numbers and Computers, 210, pp.173-197
Article dans une revue inria-00344324 v1
Image document

The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra

Jihun Yu , Chee Yap , Zilin Du , Sylvain Pion , Hervé Brönnimann
Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan
Communication dans un congrès inria-00519591 v1
Image document

Parallel Geometric Algorithms for Multi-Core Computers

Vicente H. F. Batista , David L. Millman , Sylvain Pion , Johannes Singler
ACM Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.217-226
Communication dans un congrès inria-00409051 v1
Image document

Robust Construction of the Three-Dimensional Flow Complex

Frédéric Cazals , Aditya Parameswaran , Sylvain Pion
ACM Symposium on Computational Geometry (SCG), Jun 2008, Washington, United States
Communication dans un congrès inria-00344962 v1
Image document

FPG: A code generator for fast and certified geometric predicates

Andreas Meyer , Sylvain Pion
Real Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60
Communication dans un congrès inria-00344297 v1
Image document

Exact and efficient computations on circles in CGAL

Pedro M. M. de Castro , Sylvain Pion , Monique Teillaud
23rd European Workshop on Computational Geometry, 2007, Graz, Austria
Communication dans un congrès hal-02196933 v1
Image document

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

Sylvain Pion , Andreas Fabri
Library Centric Software Design (LCSD), Oct 2006, Portland, Oregon, United States
Communication dans un congrès inria-00344960 v1
Image document

Formal certification of arithmetic filters for geometric predicates

Guillaume Melquiond , Sylvain Pion
17th IMACS World Congress, 2005, Paris, France
Communication dans un congrès inria-00344518 v1
Image document

Classroom Examples of Robustness Problems in Geometric Computations

Lutz Kettner , Kurt Mehlhorn , Sylvain Pion , Stefan Schirra , Chee Yap
European Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
Communication dans un congrès inria-00344515 v1
Image document

Towards an Open Curved Kernel

Ioannis Z. Emiris , Athanasios Kakargias , Sylvain Pion , Monique Teillaud , Elias P. P. Tsigaridas
ACM Symposium on Computational Geometry, Jun 2004, New York, United States. pp.438-446
Communication dans un congrès inria-00344433 v1
Image document

The Boost Interval Arithmetic Library

Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion
Real Numbers and Computers, 2003, Lyon, France. pp.65-80
Communication dans un congrès inria-00348711 v1
Image document

Efficient Exact Geometric Predicates for Delaunay Triangulations

Olivier Devillers , Sylvain Pion
Proceedings of the 5th Workshop on Algorithm Engineering and Experiments, Jan 2003, Baltimore, Maryland, United States. pp.37-44
Communication dans un congrès inria-00344517 v1
Image document

Constructive Root Bound for k-Ary Rational Input Numbers

Sylvain Pion , Chee K. Yap
19th Annual ACM Symposium on Computational Geometry (SCG), Jun 2003, San Diego, California, United States. pp.256-263
Communication dans un congrès inria-00348715 v1
Image document

An Adaptable and Extensible Geometry Kernel

Susan Hert , Michael Hoffmann , Lutz Kettner , Sylvain Pion , Michael Seel
Workshop on Algorithm Engineering, Aug 2001, Aarhus, Denmark. pp.79-90, ⟨10.1007/3-540-44688-5⟩
Communication dans un congrès inria-00344964 v1
Image document

Walking in a Triangulation

Olivier Devillers , Sylvain Pion , Monique Teillaud
Proceedings of the 17th Annual Symposium on Computational Geometry, Jun 2001, Boston, United States. pp.106-114, ⟨10.1145/378583.378643⟩
Communication dans un congrès inria-00344519 v1
Image document

Interval Arithmetic: an efficient implementation and an application to computational geometry

Sylvain Pion
Workshop on Applications of Interval Analysis to systems and Control (MISC), Feb 1999, Girona, Spain
Communication dans un congrès inria-00344513 v1
Image document

Programming with CGAL: the example of triangulations

Jean-Daniel Boissonnat , Frédéric Cazals , Tran Kai Frank Da , Olivier Devillers , Sylvain Pion et al.
8th Annual Video Review of Computational Geometry, 15th ACM Symposium on Computational Geometry (SCG), Jun 1999, Miami Beach, Florida, United States
Communication dans un congrès inria-00348713 v1
Image document

Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry

Hervé Brönnimann , Christoph Burnikel , Sylvain Pion
14th Annual ACM Symposium on Computational Geometry (SCG), Jun 1998, Minneapolis, United States. pp.165-174
Communication dans un congrès inria-00344516 v1
Image document

Computing exact geometric predicates using modular arithmetic with single precision

Hervé Brönnimann , Ioannis Z. Emiris , Victor Y. Y. Pan , Sylvain Pion
ACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
Communication dans un congrès inria-00344963 v1
Image document

Exact rounding for geometric constructions

Hervé Brönnimann , Sylvain Pion
Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 1997, Lyon, France
Communication dans un congrès inria-00344403 v1
Image document

Hamiltonian Monte Carlo with boundary reflections, and application to polytope volume calculations

Augustin Chevallier , Sylvain Pion , Frédéric Cazals
[Research Report] RR-9222, INRIA Sophia Antipolis, France. 2018
Rapport (rapport de recherche) hal-01919855 v2
Image document

Delaunay Tessellations and Voronoi Diagrams in CGAL

Pierre Alliez , Christophe Delage , Menelaos I Karavelas , Sylvain Pion , Monique Teillaud et al.
[Research Report] INRIA Sophia Antipolis - Méditerranée; University of Crete. 2010
Rapport (rapport de recherche) hal-01421021 v1
Image document

Parallel Geometric Algorithms for Multi-Core Computers

Vicente H. F. Batista , David L. Millman , Sylvain Pion , Johannes Singler
[Research Report] RR-6749, INRIA. 2008, pp.30
Rapport (rapport de recherche) inria-00343804 v1
Image document

Directed Rounding Arithmetic Operations in C++

Guillaume Melquiond , Sylvain Pion
[Research Report] RR-6757, INRIA. 2008, pp.11
Rapport (rapport de recherche) inria-00345094 v1
Image document

Principal Component Analysis in CGAL

Ankit Gupta , Pierre Alliez , Sylvain Pion
[Research Report] RR-6642, INRIA. 2008, pp.13
Rapport (rapport de recherche) inria-00327027 v1
Image document

Exact and efficient computations on circles in CGAL and applications to VLSI design

Pedro M. M. de Castro , Sylvain Pion , Monique Teillaud
[Research Report] RR-6091, INRIA. 2007, pp.14
Rapport (rapport de recherche) inria-00123259 v2
Image document

A proposal for the C++ standard : Bool_set, multi-valued logic

Sylvain Pion , Guillaume Melquiond , Hervé Brönnimann
[Research Report] RR-5967, INRIA. 2006, pp.22
Rapport (rapport de recherche) inria-00089230 v2
Image document

A Proposal to add Interval Arithmetic to the C++ Standard Library

Hervé Brönnimann , Guillaume Melquiond , Sylvain Pion
[Research Report] RR-5646, INRIA. 2006
Rapport (rapport de recherche) inria-00071231 v1
Image document

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

Sylvain Pion , Andreas Fabri
[Research Report] RR-5966, INRIA. 2006, pp.23
Rapport (rapport de recherche) inria-00089229 v2
Image document

Efficient Exact Geometric Predicates for Delaunay Triangulations

Olivier Devillers , Sylvain Pion
RR-4351, INRIA. 2002
Rapport inria-00072237 v1
Image document

An Adaptable and Extensible Geometry Kernel

Susan Hert , Michael Hoffmann , Lutz Kettner , Sylvain Pion , Michael Seel
RR-4270, INRIA. 2001
Rapport inria-00072317 v1
Image document

Walking in a triangulation

Olivier Devillers , Sylvain Pion , Monique Teillaud
RR-4120, INRIA. 2001
Rapport inria-00072509 v1
Image document

Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision

Hervé Brönnimann , Ioannis Z. Emiris , Victor Y. Y. Pan , Sylvain Pion
RR-3213, INRIA. 1997
Rapport inria-00073476 v1
Image document

De la géométrie algorithmique au calcul géométrique

Sylvain Pion
Modélisation et simulation. Université Nice Sophia Antipolis, 1999. Français. ⟨NNT : ⟩
Thèse tel-00011258 v1