25 citations · 26 across the 2 of their papers we have counts for
3 papers
math.HO2019
Maurice Janet's algorithms on systems of linear partial differential equations
Kenji Iohara, Philippe Malbos
This article presents the emergence of formal methods in theory of partial differential equations (PDE) in the french school of mathematics through Janet's work in the period 1913-…
math.CT2017★ 1 cited
Coherence of string rewriting systems by decreasingness
Clément Alleaume, Philippe Malbos
Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rew…
math.CT2008★ 25 cited
Higher-dimensional categories with finite derivation type
Yves Guiraud, Philippe Malbos
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivati…