
Philippe Malbos
Professeur des universités -
Institut Camille Jordan -
Université Claude Bernard Lyon 1
40
Documents
Publications
Publications
|
Completion of operadic rewriting systems by Gaussian elimination10th International Workshop of Confluence, 2021 (IWC 2021), Jul 2021, Buenos Aires, Argentina. pp.15-23
Communication dans un congrès
hal-03334739
v1
|
|
Abstract strategies and coherence19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Nov 2021, Marseille, France. pp.108-125, ⟨10.1007/978-3-030-88701-8_7⟩
Communication dans un congrès
hal-03334734
v1
|
|
Completion in Operads via Essential Syzygies46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩
Communication dans un congrès
hal-03258883
v1
|
|
Algebraic critical pair lemma9th International Workshop on Confluence (IWC 2020), Jun 2020, Paris, France
Communication dans un congrès
hal-03348232
v1
|
|
Coherence modulo relations7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01895065
v1
|
|
Coherence of monoids by insertions7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01895068
v1
|
Coherence of quasi-terminating decreasing 2-polygraphs5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria
Communication dans un congrès
hal-01718951
v1
|
|
|
Homological computations for term rewriting systems1st 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-01678175
v1
|
Confluence of linear rewriting and homology of algebras3rd International Workshop on Confluence, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01105087
v1
|
|
|
Eigenvalue method with symmetry and vibration analysis of cyclic structuresComputer 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-02084948
v1
|
|
A Homotopical Completion Procedure with Applications to Coherence of MonoidsRTA - 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-00818253
v1
|
Two algebraic byways from differential equations : Gröbner Bases and QuiversSpringer, 28, In press, Algorithms and Computations in Mathematics, 978-3-030-26453-6
Ouvrages
hal-02084961
v1
|
|
From analytical mechanical problems to rewriting theory through M. Janet's workTwo 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-01673715
v3
|
|
Noncommutative linear rewriting: applications and generalizationsTwo algebraic byways from differential equations: Gröbner bases and quivers, 28, Springer, In press, Algorithms and Computations in Mathematics
Chapitre d'ouvrage
hal-01718880
v1
|
Modelling Through Human-Computer Interaction and Mathematical DiscourseL. 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
istex
lirmm-00268471
v1
|
|
Raconte-moi... la persistance topologique2021, Vol. 169, pp. 44-50
Autre publication scientifique
hal-03345898
v1
|
|
Polygraphic resolutions for operated algebras2025
Pré-publication, Document de travail
hal-04962400
v1
|
|
String of columns rewriting and confluence of the jeu de taquin2020
Pré-publication, Document de travail
hal-03161577
v2
|
|
Coherence of string rewriting systems by decreasingness2017
Pré-publication, Document de travail
hal-01676936
v1
|
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation[Research Report] 02056, LIRMM (UM, CNRS). 2002
Rapport
(rapport de recherche)
lirmm-00268600
v1
|
|
Critères de finitude homologique pour la non convergence des systèmes de réécriture de termesMathématiques [math]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩
Thèse
tel-00008784
v1
|
|
Lectures on Algebraic RewritingDoctoral. France. 2019
Cours
hal-02461874
v1
|
Chargement...
Chargement...