scientific article; zbMATH DE number 1839462
From MaRDI portal
Publication:4782730
zbMath1007.16013MaRDI QIDQ4782730
No author found.
Publication date: 2 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2138/21380392
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Mechanization of proofs and logical operations (03B35) Computational aspects of associative rings (general theory) (16Z05) (T)-ideals, identities, varieties of associative rings and algebras (16R10)
Related Items (1)
This page was built for publication: