Bendix / Involutive Complete Rewrite Systems / Involutive Rewrite Systems / MSSRC / /
Facility
Informatics The University of Wales / University of Wales / /
IndustryTerm
pairs completion algorithm / /
Organization
Gareth Alun Evans School / Strong Local Division / Polynomial Division / School of Informatics / University of Wales / Overlap-Based Local Division / University of Wales / Bangor / /
Person
Ronnie Brown / Gareth Alun / Bryn Davies / Jan Abas / Larry Lambe / Chris Wensley / /
Position
Supervisor / /
ProgrammingLanguage
ANSI C / /
Technology
commutative and noncommutative Gr¨obner Basis algorithms / 5.1 Improved Algorithms / Basis algorithm / An algorithm / Commutative Gr¨obner Walk Algorithm / 8.2 Improved Algorithms / pairs completion algorithm / Walk Algorithm / ANSI C / 5.4 Basis Conversion Algorithms / Noncommutative Gr¨obner Walk Algorithm / /
Noncommutative Involutive Bases Thesis submitted to the University of Wales in support of the application for the degree of Philosophiæ Doctor by