Most of the theorems are taken from the ProofPower-HOL mathematical case studies. See the case studies web page for more information, including documents in PDF format that give the definitions on which the theorems depend.
www.rbjones.com/rbjpub/pp/rda001.html
Theorem - Wikipedia, the free encyclopedia
Source
In mathematics, a theorem is a statement proved on the basis of previously accepted or established statements such as axioms. In formal mathematical logic, the concept of a theorem may be taken to m...
en.wikipedia.org/wiki/Theorem
Fermat's Last Theorem - Wikipedia, the free encyclopedia
Source
In number theory, Fermat's Last Theorem states that no three positive integers a , b , and c can satisfy the equation a n  +  b n  =  c n for any integer value of n...
en.wikipedia.org/wiki/Fermat's_Last_Theorem
This book is intended to contain the proofs (or sketches of proofs) of many famous theorems in mathematics in no particular order. It should be used both as a learning resource, a good practice for acquiring the skill for writing your own proofs is to study the existing ones, and for general references.
en.wikibooks.org/wiki/The_Book_of_Mathematical_Proofs
This is my first quiz about some famous mathematical theorems. - trivia quiz game. Play now! ... "This is my first quiz about some famous mathematical theorems.
www.funtrivia.com/playquiz/quiz18314014f8be8.html
More copies of this ISBN: ... Subtitle: (the five most famous problems of all time ) ... Mathematical Mountaintops: The Five Most Famous Problems of All Time Cover...
www.powells.com/cgi-bin/biblio?isbn=0195141717
A Proof of the Pythagorean Theorem - One of the most famous theorems in mathematics, the Pythagorean theorem has many proofs. Presented here is one that relies on Euclidean algebraic geometry and is thus beautifully simple.
mathforum.org/isaac/mathhist.html
Some dude from some band survives a plane crash along with a DJ famous for, well, I don't really know. ... Well, I guess rich and famous people do just because they can and all their friends don't have to work on a monday either. I may be generalising just a little bit. And also, why now? When she is about to pop out...
www.famouszoo.com/ www.famouszoo.com/
Greek inventor from Syracuse who was famous for his invention of the Lever and the Screw, a device that would raise water from one level to another. He came up with the theory of buoyancy, as in water. He was also a brilliant mathematician who came up with many famous theorems. ... for Kids ; Home ... Elsewhere on the Web:
www.socialstudiesforkids.com/wwww/world/archimedesdef.h... www.socialstudiesforkids.com/wwww/world/archimedesdef.htm
This is my first quiz about some famous mathematical theorems. (Author Mrs_Seizmagraff) ... This is my first quiz about some famous mathematical theorems.
www.funtrivia.com/trivia-quiz/SciTech/Famous-Theorems-i... www.funtrivia.com/trivia-quiz/SciTech/Famous-Theorems-in-Math-1-183140.html