
Sylvain Pion
47
Documents
Présentation
Publications
Publications
|
Improved polytope volume calculations based on Hamiltonian Monte Carlo with boundary reflections and sweet arithmeticsJournal of Computational Geometry, In press, ⟨10.20382/jocg.v13i1a3⟩
Article dans une revue
hal-03048725
v4
|
|
A Generic Lazy Evaluation Scheme for Exact Geometric ComputationsScience 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
|
|
Parallel Geometric Algorithms for Multi-Core ComputersComputational 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
|
|
Classroom examples of robustness problems in geometric computationsComputational Geometry, 2008, 40 (1), pp.61-78. ⟨10.1016/j.comgeo.2007.06.003⟩
Article dans une revue
inria-00344310
v1
|
|
Formally Certified Floating-Point Filters For Homogeneous Geometric PredicatesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
Article dans une revue
inria-00071232
v2
|
|
An Adaptable and Extensible Geometry KernelComputational 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
|
|
The design of the Boost interval arithmetic libraryTheoretical 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
|
|
Constructive root bound for k-ary rational input numbersTheoretical 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étrieInterstices, 2006
Article dans une revue
inria-00096418
v1
|
|
|
Recent progress in exact geometric computationJournal 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
|
|
Walking in a TriangulationInternational Journal of Foundations of Computer Science, 2002, 13, pp.181--199. ⟨10.1142/S0129054102001047⟩
Article dans une revue
inria-00102194
v1
|
|
Triangulations in CGALComputational Geometry, 2002, 22, pp.5-19. ⟨10.1016/S0925-7721(01)00054-2⟩
Article dans une revue
inria-00167199
v1
|
|
Interval Arithmetic Yields Efficient Dynamic Filters for Computational GeometryDiscrete Applied Mathematics, 2001, 109, pp.25-47
Article dans une revue
inria-00344281
v1
|
|
Sign Determination in Residue Number SystemsTheoretical Computer Science, 1999, Special issue on Real Numbers and Computers, 210, pp.173-197
Article dans une revue
inria-00344324
v1
|
|
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and AlgebraThird International Congress on Mathematical Software, Sep 2010, Kobe, Japan
Communication dans un congrès
inria-00519591
v1
|
|
Parallel Geometric Algorithms for Multi-Core ComputersACM Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.217-226
Communication dans un congrès
inria-00409051
v1
|
|
Robust Construction of the Three-Dimensional Flow ComplexACM Symposium on Computational Geometry (SCG), Jun 2008, Washington, United States
Communication dans un congrès
inria-00344962
v1
|
|
FPG: A code generator for fast and certified geometric predicatesReal Numbers and Computers, Jun 2008, Santiago de Compostela, Spain. pp.47-60
Communication dans un congrès
inria-00344297
v1
|
|
Exact and efficient computations on circles in CGAL23rd European Workshop on Computational Geometry, 2007, Graz, Austria
Communication dans un congrès
hal-02196933
v1
|
|
A Generic Lazy Evaluation Scheme for Exact Geometric ComputationsLibrary Centric Software Design (LCSD), Oct 2006, Portland, Oregon, United States
Communication dans un congrès
inria-00344960
v1
|
|
Formal certification of arithmetic filters for geometric predicates17th IMACS World Congress, 2005, Paris, France
Communication dans un congrès
inria-00344518
v1
|
|
Classroom Examples of Robustness Problems in Geometric ComputationsEuropean Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
Communication dans un congrès
inria-00344515
v1
|
|
Towards an Open Curved KernelACM Symposium on Computational Geometry, Jun 2004, New York, United States. pp.438-446
Communication dans un congrès
inria-00344433
v1
|
|
The Boost Interval Arithmetic LibraryReal Numbers and Computers, 2003, Lyon, France. pp.65-80
Communication dans un congrès
inria-00348711
v1
|
|
Efficient Exact Geometric Predicates for Delaunay TriangulationsProceedings 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
|
|
Constructive Root Bound for k-Ary Rational Input Numbers19th 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
|
|
An Adaptable and Extensible Geometry KernelWorkshop on Algorithm Engineering, Aug 2001, Aarhus, Denmark. pp.79-90, ⟨10.1007/3-540-44688-5⟩
Communication dans un congrès
inria-00344964
v1
|
|
Walking in a TriangulationProceedings 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
|
|
Interval Arithmetic: an efficient implementation and an application to computational geometryWorkshop on Applications of Interval Analysis to systems and Control (MISC), Feb 1999, Girona, Spain
Communication dans un congrès
inria-00344513
v1
|
|
Programming with CGAL: the example of triangulations8th 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
|
|
Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry14th Annual ACM Symposium on Computational Geometry (SCG), Jun 1998, Minneapolis, United States. pp.165-174
Communication dans un congrès
inria-00344516
v1
|
|
Computing exact geometric predicates using modular arithmetic with single precisionACM Symposium on Computational Geometry (SCG), Jun 1997, Nice, France. pp.174-182
Communication dans un congrès
inria-00344963
v1
|
|
Exact rounding for geometric constructionsScientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 1997, Lyon, France
Communication dans un congrès
inria-00344403
v1
|
|
De la géométrie algorithmique au calcul géométriqueModélisation et simulation. Université Nice Sophia Antipolis, 1999. Français. ⟨NNT : ⟩
Thèse
tel-00011258
v1
|
Chargement...
Chargement...