Skip to Main content Skip to Navigation

inria-00564552v1  Journal articles
Sylvain Salvati. MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton
Journal of Computer and System Sciences, Elsevier, 2015, 81 (7), pp.1252 - 1277
hal-01919562v3  Journal articles
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
Abel Symposia, Springer, 2020, Topological Data Analysis, 15, pp.33-66. ⟨10.1007/978-3-030-43408-3_2⟩
hal-01801616v1  Conference papers
Jean-Daniel BoissonnatRamsay DyerArijit GhoshMathijs Wintraecken. Local Criteria for Triangulation of Manifolds
International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs.SoCG.2018.9⟩
hal-02093445v1  Conference papers
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
SoCG 2019 - 35th International Symposium on Computational Geometry, Jun 2019, Portland, United States. ⟨10.4230/LIPIcs.SoCG.2019.58⟩
hal-00682233v4  Journal articles
Stéphane GaussentYves GuiraudPhilippe Malbos. Coherent presentations of Artin monoids
Compositio Mathematica, Foundation Compositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩
tel-02419148v2  Theses
Siargey Kachanovich. Meshing submanifolds using Coxeter triangulations
Computational Geometry [cs.CG]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4072⟩
hal-01377667v1  Book sections
Antoine SpicherJean-Louis Giavitto. Interaction-based Programming in MGS
Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
hal-01801667v1  Conference papers
Jean-Daniel BoissonnatAndré LieutierMathijs Wintraecken. The reach, metric distortion, geodesic convexity and the variation of tangent spaces
SoCG 2018 - 34th International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. pp.1-14, ⟨10.4230/LIPIcs.SoCG.2018⟩
hal-03006663v3  Conference papers
Jean-Daniel BoissonnatSiargey KachanovichMathijs Wintraecken. Tracing isomanifolds in $R^d$ in time polymonial in d using Coxeter-Freudenthal-Kuhn triangulations
SoCG 2021 - 37th Symposium on Computational Geometry, Jun 2021, Buffalo, United States
hal-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
hal-02419460v1  Journal articles
Jean-Daniel BoissonnatMaël Rouxel-LabbéMathijs Wintraecken. Anisotropic triangulations via discrete Riemannian Voronoi diagrams
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2019
tel-02161197v1  Habilitation à diriger des recherches
Yves Guiraud. Rewriting methods in higher algebra
Category Theory [math.CT]. Université Paris 7, 2019
tel-02970509v2  Theses
Nicolas Berkouk. Persistence and Sheaves : from Theory to Applications
Algebraic Topology [math.AT]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX032⟩
hal-01971682v2  Book sections
Clément MariaHannah Schreiber. Discrete Morse Theory for Computing Zigzag Persistence
Friggstad, Zachary; Sack, Jörg-Rüdiger; Salavatipour, Mohammad R. Algorithms and Data Structures - 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings, Springer, pp.538-552, 2019, ⟨10.1007/978-3-030-24766-9_39⟩
hal-02434377v1  Journal articles
Eric GoubaultAurélien SagnierMichael Färber. Directed topological complexity
Journal of Applied and Computational Topology, Springer, 2019
hal-01671748v1  Journal articles
Alex BartelAurel Page. Group representations in the homology of 3-manifolds
Commentarii Mathematici Helvetici, European Mathematical Society, 2019, ⟨10.4171/CMH/455⟩
inria-00625956v1  Conference papers
François Lamarche. A new homotopy-theoretic interpretation of Martin-Löf's identity type.
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai, Bradd Hart and Thomas G. Kucera and Anand Pillay and Philip J. Scott and Robert A. G. Seely, Jun 2011, Montréal, Canada