• Login
    View Item 
    •   etd@IISc
    • Division of Physical and Mathematical Sciences
    • Mathematics (MA)
    • View Item
    •   etd@IISc
    • Division of Physical and Mathematical Sciences
    • Mathematics (MA)
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A Formal Proof of Feit-Higman Theorem in Agda

    View/Open
    G26337.pdf (313.5Kb)
    Date
    2018-02-18
    Author
    Rao, Balaji R
    Metadata
    Show full item record
    Abstract
    In this thesis we present a formalization of the combinatorial part of the proof of Feit-Higman theorem on generalized polygons. Generalised polygons are abstract geometric structures that generalize ordinary polygons and projective planes. They are closely related to finite groups. The formalization is carried out in Agda, a dependently typed functional programming language and proof assistant based on the intuitionist type theory by Per Martin-Löf.
    URI
    https://etd.iisc.ac.in/handle/2005/3128
    Collections
    • Mathematics (MA) [163]

    etd@IISc is a joint service of SERC & J R D Tata Memorial (JRDTML) Library || Powered by DSpace software || DuraSpace
    Contact Us | Send Feedback | Thesis Templates
    Theme by 
    Atmire NV
     

     

    Browse

    All of etd@IIScCommunities & CollectionsTitlesAuthorsAdvisorsSubjectsBy Thesis Submission DateThis CollectionTitlesAuthorsAdvisorsSubjectsBy Thesis Submission Date

    My Account

    LoginRegister

    etd@IISc is a joint service of SERC & J R D Tata Memorial (JRDTML) Library || Powered by DSpace software || DuraSpace
    Contact Us | Send Feedback | Thesis Templates
    Theme by 
    Atmire NV