Access content directly

Philippe Malbos

Professeur des universités - Institut Camille Jordan - Université Claude Bernard Lyon 1
35
Documents

Research domains


Publications

Image document

Shuffle polygraphic resolutions for operads

Philippe Malbos , Isaac Ren
Journal of the London Mathematical Society, 2023, 107 (1), pp.61-122. ⟨10.1112/jlms.12681⟩
Journal articles hal-03161522v2
Image document

Algebraic coherent confluence and higher globular Kleene algebras

Cameron Calk , Eric Goubault , Philippe Malbos , Georg Struth
Logical Methods in Computer Science, 2022, 18 (4), ⟨10.46298/lmcs-18(4:9)2022⟩
Journal articles hal-03161580v2
Image document

Confluence of algebraic rewriting systems

Cyrille Chenavier , Benjamin Dupont , Philippe Malbos
Mathematical Structures in Computer Science, 2022, 32 (7), pp.870-897. ⟨10.1017/S0960129521000426⟩
Journal articles hal-02945665v3
Image document

Coherent confluence modulo relations and double groupoids

Benjamin Dupont , Philippe Malbos
Journal of Pure and Applied Algebra, 2022, 226 (10), pp.107037. ⟨10.1016/j.jpaa.2022.107037⟩
Journal articles hal-01898868v3
Image document

Chinese syzygies by insertions

Nohra Hage , Philippe Malbos
Semigroup Forum, inPress, 104 (1), pp.88-108. ⟨10.1007/s00233-021-10244-4⟩
Journal articles hal-02015084v2
Image document

Maurice Janet's algorithms on systems of linear partial differential equations

Kenji Iohara , Philippe Malbos
Archive for History of Exact Sciences, 2021, 75 (1), pp.43-81. ⟨10.1007/s00407-020-00255-y⟩
Journal articles hal-02375192v2
Image document

Time-reversal homotopical properties of concurrent systems

Cameron Calk , Éric Goubault , Philippe Malbos
Homology, Homotopy and Applications(HHA), 2020, 22 (2), pp.31-57. ⟨10.4310/HHA.2020.v22.n2.a2⟩
Journal articles hal-02015088v1
Image document

Convergent presentations and polygraphic resolutions of associative algebras

Yves Guiraud , Eric Hoffbeck , Philippe Malbos
Mathematische Zeitschrift, 2019, 293 (1-2), pp.113-179. ⟨10.1007/s00209-018-2185-z⟩
Journal articles hal-01006220v3
Image document

Knuth's coherent presentations of plactic monoids of type A

Nohra Hage , Philippe Malbos
Algebras and Representation Theory, 2017, 20 (5), pp.1259-1288
Journal articles hal-01359677v2
Image document

Coherent presentations of Artin monoids

Stéphane Gaussent , Yves Guiraud , Philippe Malbos
Compositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩
Journal articles hal-00682233v4
Image document

Identities among relations for higher-dimensional rewriting systems

Yves Guiraud , Philippe Malbos
Séminaires et congrès, 2013, 26, pp.145-161
Journal articles hal-00426228v2
Image document

Coherence in monoidal track categories

Yves Guiraud , Philippe Malbos
Mathematical Structures in Computer Science, 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩
Journal articles hal-00470795v2
Image document

Higher-dimensional normalisation strategies for acyclicity

Yves Guiraud , Philippe Malbos
Advances in Mathematics, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩
Journal articles hal-00531242v3
Image document

Higher-dimensional categories with finite derivation type

Yves Guiraud , Philippe Malbos
Theory and Applications of Categories, 2009, 22 (18), pp.420-478. ⟨10.48550/arXiv.0810.1442⟩
Journal articles hal-00326974v2
Image document

Completion in Operads via Essential Syzygies

Philippe Malbos , Isaac Ren
46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩
Conference papers hal-03258883v1
Image document

Completion of operadic rewriting systems by Gaussian elimination

Benjamin Dupont , Philippe Malbos , Isaac Ren
10th International Workshop of Confluence, 2021 (IWC 2021), Jul 2021, Buenos Aires, Argentina. pp.15-23
Conference papers hal-03334739v1
Image document

Abstract strategies and coherence

Cameron Calk , Eric Goubault , Philippe Malbos
19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France
Conference papers hal-03334734v1
Image document

Algebraic critical pair lemma

Cyrille Chenavier , Benjamin Dupont , Philippe Malbos
9th International Workshop on Confluence (IWC 2020), Jun 2020, Paris, France
Conference papers hal-03348232v1
Image document

Coherence modulo relations

Benjamin Dupont , Philippe Malbos
7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom
Conference papers hal-01895065v1
Image document

Coherence of monoids by insertions

Nohra Hage , Philippe Malbos
7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom
Conference papers hal-01895068v1
Image document

Homological computations for term rewriting systems

Philippe Malbos , Samuel Mimram
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17
Conference papers hal-01678175v1

Coherence of quasi-terminating decreasing 2-polygraphs

Philippe Malbos , Clément Alleaume
5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria
Conference papers hal-01718951v1
Image document

Eigenvalue method with symmetry and vibration analysis of cyclic structures

Aurélien Grolet , Philippe Malbos , Fabrice Thouverez
Computer Algebra in Scientific Computing. CASC 2014., Sep 2014, Warsaw, Poland. pp.121-137, ⟨10.1007/978-3-319-10515-4_10⟩
Conference papers hal-02084948v1

Confluence of linear rewriting and homology of algebras

Yves Guiraud , Eric Hoffbeck , Philippe Malbos
3rd International Workshop on Confluence, Jul 2014, Vienna, Austria
Conference papers hal-01105087v1
Image document

A Homotopical Completion Procedure with Applications to Coherence of Monoids

Yves Guiraud , Philippe Malbos , Samuel Mimram
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩
Conference papers hal-00818253v1
Image document

Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes

Philippe Malbos
Mathématiques [math]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩
Theses tel-00008784v1
Image document

From analytical mechanical problems to rewriting theory through M. Janet's work

Kenji Iohara , Philippe Malbos
Two algebraic byways from differential equations : Gröbner Bases and Quivers, 28, Springer, 2020, Algorithms and Computations in Mathematics, ⟨10.1007/978-3-030-26454-3_1⟩
Book sections hal-01673715v3
Image document

Noncommutative linear rewriting: applications and generalizations

Philippe Malbos
Two algebraic byways from differential equations: Gröbner bases and quivers, 28, Springer, inPress, Algorithms and Computations in Mathematics
Book sections hal-01718880v1

Modelling Through Human-Computer Interaction and Mathematical Discourse

Germana Menezes da Nóbrega , Philippe Malbos , Jean Sallantin
L. Magnani; N.J. Nersessian; C. Pizzi. Logical and Computational Aspects of Model-Based Reasoning, 25, Springer Netherlands, pp.293-311, 2002, Applied Logic Series, 978-94-010-0550-0. ⟨10.1007/978-94-010-0550-0_14⟩
Book sections lirmm-00268471v1