Finite Groups Representation Theory with Coq

DOI10.1007/978-3-642-02614-0_34zbMath1247.68231OpenAlexW1580439254MaRDI QIDQ3637300

Sidi Ould Biha

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_34

zbMATH Keywords

representation theorylinear algebraCoqMaschke's theoremSSReflect

Mathematics Subject Classification ID

Related Items (1)

Interfacing Coq + SSReflect with GAP

Uses Software

• Coq
• GAP
• Mathematica
• Mizar
• C-CoRN
• Coq/SSReflect

Cites Work

• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A constructive algebraic hierarchy in Coq.
• Solvability of groups of odd order
• An elementary introduction to the Langlands program
• A Modular Formalisation of Finite Group Theory
• Canonical Big Operators
• Setoids in type theory
• Licensing the Mizar Mathematical Library
• A formally verified proof of the prime number theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite Groups Representation Theory with Coq