Group-Ring-Module swMATH ID: 32227 Software Authors: Kobayashi, H., Chen, L., Murao, H. Description: Groups, Rings and Modules: The theory of groups, rings and modules is developed to a great depth. Group theory results include Zassenhaus’s theorem and the Jordan-Hoelder theorem. The ring theory development includes ideals, quotient rings and the Chinese remainder theorem. The module development includes the Nakayama lemma, exact sequences and Tensor products. Homepage: https://www.isa-afp.org/entries/Group-Ring-Module.html Dependencies: Isabelle Related Software: Polynomials; Deep_Learning; Groebner_Bases; Jordan Normal Forms; Algorithm 862; HOL; z3; Isar; Isabelle/HOL; Isabelle; Matrix_Tensor; Archive Formal Proofs; LCF; Sledgehammer; Metis_ Cited in: 2 Documents Cited by 3 Authors 2 Bentkamp, Alexander 2 Blanchette, Jasmin Christian 2 Klakow, Dietrich Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 1 Field 2 Computer science (68-XX) Citations by Year