The Metamathematics of Algebraic Systems

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a

Translations of articles on mathematics appearing in various Russian mathematical serials.

During the past forty years, a new trend in the theory of associative algebras, Lie algebras, and their representations has formed under the influence of mathem