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 |
