Search - Université Paris Cité Access content directly

Filter your results

111 Results
Domains : math.math-gt
Image document

A note on energy forms on fractal domains

Claire David
Preprints, Working Papers, ... hal-01508884v1
Image document

An Asynchronous Soundness Theorem for Concurrent Separation Logic

Paul-André Melliès , Léo Stefanesco
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, United Kingdom
Conference papers hal-02436304v1
Image document

Triangulations : de la terre au noeud de trèfle

Julien Marché
Images des Mathématiques, 2009,
Journal articles hal-00585524v1
Image document

Topology of the Stokes phenomenon

P P Boalch
Integrability, Quantization, and Geometry: I. Integrable Systems, Proc. Symp. Pure Math. 103 (2021) 55–100, 2021
Book sections hal-02377174v2
Image document

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Paul-André Melliès
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
Conference papers hal-03455968v1
Image document

Geometry on the Utility Space

François Durand , Benoît Kloeckner , Fabien Mathieu , Ludovic Noirie
The 12th Meeting of the Society for Social Choice and Welfare (SSCW 2014), Jun 2014, Boston, United States
Conference papers hal-01096018v1
Image document

A Flag structure on a cusped hyperbolic 3-manifold with unipotent holonomy

Elisha Falbel , Rafael Santos Thebaldi
Pacific Journal of Mathematics, 2015, 278 (1), pp.51-78. ⟨10.2140/pjm.2015.278.51⟩
Journal articles hal-00958255v1

Menelaus' Spherics : Early translation and al-Mahani/al-Harawi's version, Critical edition, with historical and mathematical commentaries

Roshdi Rashed , Athanase Papadopoulos
2017, Scientia Graeco-Arabica 21, de Gruyter, xiv 874 pages, ISBN 978-3-11-057143-1. ⟨10.1515/9783110571424⟩
Books hal-01664834v1
Image document

An adjusted payoff-based procedure for normal form games

Mario Bravo
Preprints, Working Papers, ... hal-00603852v1

Non semi-simple sl(2) quantum invariants, spin case

Christian Blanchet , Francesco Costantino , Nathan Geer , Bertrand Patureau-Mirand
Acta Mathematica Vietnamica, 2014, pp.1-15. ⟨10.1007/s40306-014-0089-5⟩
Journal articles hal-00991291v1
Image document

The Determinacy of Context-Free Games

Olivier Finkel
The Journal of Symbolic Logic, 2013, 78 (4), pp.1115-1134
Journal articles hal-00916865v1
Image document

Deformation of hyperbolic manifolds in $\mathrm {PGL}(n,\mathbf {C})$ and discreteness of the peripheral representations

Antonin Guilloux
Proceedings of the American Mathematical Society, 2015, 143 (5), pp.2215-2226 ⟨10.1090/S0002-9939-2014-12376-8⟩
Journal articles hal-01370267v1
Image document

Morse's index formula in VMO for compact manifolds with boundary

Giacomo Canevari , Antonio Segatti , Marco Veneroni
Preprints, Working Papers, ... hal-01019676v1

Comprehension and Quotient Structures in the Language of 2-Categories

Paul-André Melliès , Nicolas Rolland
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Jun 2020, Paris, France
Conference papers hal-03103167v1

A cubic defining algebra for the Links-Gould polynomial

Ivan Marin , Emmanuel Wagner
Preprints, Working Papers, ... hal-00686859v1
Image document

Analyse semi-classique des opérateurs courbes en TQFT

Renaud Detcherry
Topologie géométrique [math.GT]. Université Pierre et Marie Curie - Paris VI, 2015. Français. ⟨NNT : 2015PA066252⟩
Theses tel-01237611v1

Non semi-simple TQFTs, Reidemeister torsion and Kashaev's invariants

Christian Blanchet , Francesco Costantino , Nathan Geer , Bertrand Patureau-Mirand
Advances in Mathematics, 2016, 301 (1), pp.1--78. ⟨10.1016/j.aim.2016.06.003⟩
Journal articles hal-00985551v1
Image document

Contributions to the theory of KZB associators

Martin Gonzalez
Quantum Algebra [math.QA]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS303⟩
Theses tel-02865424v2
Image document

Transgressions of the Euler class and Eisenstein cohomology of GLN(Z)

Nicolas Bergeron , Pierre Charollois , Luis Garcia
Japanese Journal of Mathematics, 2020, 15 (2), pp.311-379. ⟨10.1007/s11537-019-1822-6⟩
Journal articles hal-02886362v1
Image document

Nonsmooth Aggregative Games with Coupling Constraints and Infinitely Many Classes of Players

Paulin Jacquot , Cheng Wan
Preprints, Working Papers, ... hal-01904527v1
Image document

Layered and Object-Based Game Semantics *

Arthur Oliveira Vale , Paul-André Melliès , Zhong Shao , Jérémie Koenig , Léo Stefanesco et al.
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Journal articles hal-03456034v1
Image document

Homotopic rotation sets for higher genus surfaces

Pierre-Antoine Guihéneuf , Emmanuel Militon
Preprints, Working Papers, ... hal-03537289v3

Hilbert metric without convexity

Elisha Falbel , Antonin Guilloux , Pierre Will
Journal of Geometric Analysis, 2020, Gennadi Henkin: In Memoriam, 30, pp.2865-2896. ⟨10.1007/s12220-020-00426-x⟩
Journal articles hal-01768400v1

Singularity Knots of Minimal Surfaces in $\mathbb{R}^4$

Marc Soret , Marina Ville
Journal of Knot Theory and Its Ramifications, 2011, 20 (4), pp.513-546. ⟨10.1142/S0218216511009406⟩
Journal articles hal-00360793v1
Image document

Quantitative Game Semantics for Linear Logic

Ugo Dal Lago , Olivier Laurent
Computer Science Logic, Sep 2008, Bertinoro, Italy. pp.230--245, ⟨10.1007/978-3-540-87531-4_18⟩
Conference papers hal-00270933v1
Image document

Borel Ranks and Wadge Degrees of Context Free Omega Languages

Olivier Finkel
Mathematical Structures in Computer Science, 2006, 16 (5), pp.813-840
Journal articles hal-00139169v2
Image document

Laver's results and low-dimensional topology

Patrick Dehornoy
Preprints, Working Papers, ... hal-00931094v1
Image document

On SL(3,C)-representations of the Whitehead link group

Antonin Guilloux , Pierre Will
Geometriae Dedicata, 2019, 202, pp.81-101. ⟨10.1007/s10711-018-0404-8⟩
Journal articles hal-01370289v1

Curve diagrams, laminations, and the geometric complexity of braids

Vincent Jugé
Journal of Knot Theory and Its Ramifications, 2015, 24 (08), ⟨10.1142/S0218216515500431⟩
Journal articles hal-01615281v1
Image document

Infinite Games Specified by 2-Tape Automata

Olivier Finkel
Annals of Pure and Applied Logic, 2016, 167 (12), pp.1184-1212. ⟨10.1016/j.apal.2016.05.005⟩
Journal articles hal-00918326v1