Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems on matrices. Representation theory is the basis of character theory. In this paper we present a formalization of finite groups representation theory in the Coq system that includes a formalization of Maschke's theorem on reducible finite group algebra. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Biha, S. O. (2009). Finite groups representation theory with COQ. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5625 LNAI, pp. 438–452). https://doi.org/10.1007/978-3-642-02614-0_34
Mendeley helps you to discover research relevant for your work.