Report on a program for solving polynomial equations in non-commuting variables. (English) Zbl 0652.16013
MSC:
16P10 | Finite rings and finite-dimensional associative algebras |
16-04 | Software, source code, etc. for problems pertaining to associative rings and algebras |
16W60 | Valuations, completions, formal power series and related constructions (associative rings and algebras) |
16Kxx | Division rings and semisimple Artin rings |