fermat-last-theorem

There are 4 repositories under fermat-last-theorem topic.

  • kalpanabaheti/Elegant-solutions

    These are 10 of the most utilized data structures and algorithm problems with solutions that minimize iterations and buffer storage space in order to optimize space and time complexity. Please remove the documentation tags represented by ' ' ' which preceed and succeed the desired function to run and test the function on a Python 3.6.1 interpreter.

    Language:Python2000

  • pitmonticone/FLT

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    Language:Lean1001

  • david-git-acc/fermat_work

    This repository contains my animation and diagrams on the equation a^n + b^n = c^n.

    Language:Python0100

  • adityaagre/Number-Theory-Research

    Working on my very first Number Theory Theorem. Please read the research paper too. These programs have been used by me to create practical proofs for my conjecture. Please read the readme file for further details.

    Language:Python10