Local Analysis For The Odd Order Theorem
Download Local Analysis For The Odd Order Theorem PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Local Analysis For The Odd Order Theorem book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Local Analysis for the Odd Order Theorem
The book presents a new version of the local analysis section of the Feit-Thompson theorem.
Local Analysis for the Odd Order Theorem
In 1963 Walter Feit and John G. Thompson proved the Odd Order Theorem, which states that every finite group of odd order is solvable. The influence of both the theorem and its proof on the further development of finite group theory can hardly be overestimated. The proof consists of a set of preliminary results followed by three parts: local analysis, characters, and generators and relations (Chapters IV, V, and VI of the paper).
Theorem Proving in Higher Order Logics
Author: Klaus Schneider
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-08-28
This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.