Philippe Le Chenadec : Canonical forms in finitely presented algebras

Philippe Le Chenadec tutustuttaa lukijan uudelleenkirjoitusjärjestelmien menetelmään, jolla ratkaistaan yhtäsuuruuden todistamisen ongelmia tunnetuissa algebraisissa rakenteissa kuten monoideissa, ryhmissä, renkaissa ja moduleissa.

Suitable for: tutkijoille, joita kiinnostavat uudelleenkirjoitusjärjestelmät, automaattinen päättely, tietokonealgebra tai laskennallinen ryhmäteoria