Rewrite rules and simplification of matrix expressions

zbMath0892.68052MaRDI QIDQ1382074

John J. Wavrik

Publication date: 15 July 1998

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

Gröbner basis algorithm; rewrite rules

Mathematics Subject Classification ID

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

68Q42: Grammars and rewriting systems

Uses Software

• NCAlgebra