Philippe Malbos
Publications
Publications
|
|
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⟩ |
|
|
Completion of operadic rewriting systems by Gaussian elimination10th International Workshop of Confluence, 2021 (IWC 2021), Jul 2021, Buenos Aires, Argentina. pp.15-23 |
|
|
Completion in Operads via Essential Syzygies46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465552⟩ |
|
|
Algebraic critical pair lemma9th International Workshop on Confluence (IWC 2020), Jun 2020, Paris, France |
|
|
Coherence of monoids by insertions7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom |
|
|
Coherence modulo relations7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom |
|
|
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 |
Coherence of quasi-terminating decreasing 2-polygraphs5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria |
|
|
|
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⟩ |
Confluence of linear rewriting and homology of algebras3rd International Workshop on Confluence, Jul 2014, Vienna, Austria |
|
|
|
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⟩ |
Two algebraic byways from differential equations : Gröbner Bases and QuiversSpringer, 28, In press, Algorithms and Computations in Mathematics, 978-3-030-26453-6 |
|
|
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⟩ |
|
|
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 |
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⟩ |
|
|
Raconte-moi... la persistance topologique2021, Vol. 169, pp. 44-50 |
|
|
Polygraphic resolutions for operated algebras2025 |
|
|
String of columns rewriting and confluence of the jeu de taquin2020 |
|
|
Coherence of string rewriting systems by decreasingness2017 |
The Blob: A Basic Topological Concept for "Hardware-Free" Distributed Computation[Research Report] 02056, LIRMM (UM, CNRS). 2002 |
|
|
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 : ⟩ |
|
|
Lectures on Algebraic RewritingDoctoral. France. 2019 |