78 citations · 265 across the 23 of their papers we have counts for
Showing math.HOShow all
2 papers · 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-…
math.HO2018
From analytical mechanical problems to rewriting theory through M. Janet
Kenji Iohara, Philippe Malbos
This note surveys the historical background of the Gröbner basis theory for D-modules and linear rewriting theory. The objective is to present a deep interaction of these two field…