activity
20082019
most citedHigher-dimensional categories with finite derivation type

25 citations · 26 across the 2 of their papers we have counts for

collaborators
Showing math.HOShow all

1 paper · 1 filter

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-…