Skip to Main content Skip to Navigation

inria-00258384v17  Reports
Georges GonthierAssia MahboubiEnrico Tassi. A Small Scale Reflection Extension for the Coq system
[Research Report] RR-6455, Inria Saclay Ile de France. 2016
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
hal-01612924v1  Reports
Mael Rouxel-LabbéMathijs WintraeckenJean-Daniel Boissonnat. Discretized Riemannian Delaunay Triangulations
[Research Report] RR-9103, INRIA Sophia Antipolis - Méditerranée. 2017, pp.51