Accéder directement au contenu

Philippe Malbos

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

Domaines de recherche


Publications

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⟩
Communication dans un congrès hal-03258883v1
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
Communication dans un congrès hal-03334734v1
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
Communication dans un congrès hal-03334739v1
Image document

Algebraic critical pair lemma

Cyrille Chenavier , Benjamin Dupont , Philippe Malbos
9th International Workshop on Confluence (IWC 2020), Jun 2020, Paris, France
Communication dans un congrès hal-03348232v1
Image document

Coherence modulo relations

Benjamin Dupont , Philippe Malbos
7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-00818253v1
Image document

Raconte-moi... la persistance topologique

Philippe Malbos
2021, Vol. 169, pp. 44-50
Autre publication scientifique hal-03345898v1
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⟩
Article dans une revue hal-03161522v2
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⟩
Article dans une revue hal-02945665v3
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⟩
Article dans une revue hal-03161580v2
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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue hal-00326974v2
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⟩
Chapitre d'ouvrage 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
Chapitre d'ouvrage 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⟩
Chapitre d'ouvrage lirmm-00268471v1
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 : ⟩
Thèse tel-00008784v1

Two algebraic byways from differential equations : Gröbner Bases and Quivers

Kenji Iohara , Philippe Malbos , Masa-Hiko Saito , Nobuki Takayama
Springer, 28, inPress, Algorithms and Computations in Mathematics, 978-3-030-26453-6
Ouvrages hal-02084961v1