A Modular Formalisation of Finite Group Theory
Authors:
- 22 August 2007
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 86-101
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A formally verified proof of the prime number theoremACM Transactions on Computational Logic, 2007
- Setoids in type theoryJournal of Functional Programming, 2003
- A Constructive Proof of the Fundamental Theorem of Algebra without Using the RationalsLecture Notes in Computer Science, 2002
- Character Theory for the Odd Order Theorem2000
- A Formal Proof of Sylow's TheoremJournal of Automated Reasoning, 1999
- Computer proofs in Group TheoryJournal of Automated Reasoning, 1990
- Chapter I, from Solvability of groups of odd order, Pacific J. Math, vol. 13, no. 3 (1963Pacific Journal of Mathematics, 1963
- Ein Beweis f r die Existenz der SylowgruppenArchiv der Mathematik, 1959