From analytical mechanical problems to rewriting theory through M. Janet
History and Overview
2019-01-10 v3 Commutative Algebra
Abstract
This note surveys the historical background of the Gr\"obner basis theory for D-modules and linear rewriting theory. The objective is to present a deep interaction of these two fields largely developed in algebra throughout the twentieth century. We recall the work of M. Janet on the algebraic analysis on linear partial differential systems that leads to the notion of involutive division. We present some generalizations of the division introduced by M. Janet and their relations with Gr\"obner basis theory.
Cite
@article{arxiv.1801.00053,
title = {From analytical mechanical problems to rewriting theory through M. Janet},
author = {Kenji Iohara and Philippe Malbos},
journal= {arXiv preprint arXiv:1801.00053},
year = {2019}
}
Comments
Lecture note of the Kobe-Lyon summer school 2015