|
Sponsored Links:
Proof of Fermat's Last Theorem (Popularity:  )
(Score: 15.40)
http://www.coolissues.com/mathematics/fermat.htm
An attempted elementary proof of FLT using binomial expansions.
Category: Science\Math\Number Theory\Diophantine Equations
|
|
The Four Color Theorem (Popularity: )
(Score: 14.43)
http://www.math.gatech.edu/~thomas/FC/fourcolor.html
Computer aided proof of the four color theorem by Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomas.
Category: Science\Math\Combinatorics\Graph Theory
|
|
NMR shielding tensor (Popularity: )
(Score: 14.07)
http://herkules.oulu.fi/isbn9514274318/
Perturbational relativistic theory of NMR nuclear shielding and spin-spin coupling tensors (Uses Breit-Pauli Hamiltonian in the Dirac equation). Thesis of Pekka Manninen.
Category: Science\Chemistry\Nuclear Magnetic Resonance\Theory
|
|
NOVA Online | The Proof (Popularity: )
(Score: 13.70)
http://www.pbs.org/wgbh/nova/proof/
NOVA Online presents The Proof, including an interview with Andrew Wiles, an essay on Sophie Germain, and the Pythagorean theorem.
Category: Science\Math\Number Theory\Diophantine Equations
|
|
|
The Solving of Fermat's Last Theorem (Popularity: )
(Score: 13.52)
http://math.Stanford.EDU/~rubin/lectures/fermatslides/
Slides for a talk by Karl Rubin on the story of Fermat's Last Theorem for a general audience, including the history of the problem, the story of Andrew Wiles' solution ...
Category: Science\Math\Number Theory\Diophantine Equations
|
|
Gödel's Theorem and Information (Popularity: )
(Score: 13.51)
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
A G.J.Chaitin proof of Gödel's Theorem using arguments having an algorithmic information theory flavor.
Category: Science\Math\Applications\Information Theory
|
|
Gödel's Theorem and Information (Popularity: )
(Score: 13.51)
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
Category: Science\Math\Logic and Foundations\Education
|
|
Theorem of Pythagoras (Popularity: )
(Score: 12.45)
http://www.alphaquark.com/Traduction/Pythagore.htm
Gives a geometric proof of the rule for measuring the sides of a right triangle.
Category: Science\Math\Algebra\High School
|
|
Proof General (Popularity: )
(Score: 12.45)
http://zermelo.dcs.ed.ac.uk/~proofgen/
Emacs based generic interface for theorem provers.
Category: Science\Math\Logic and Foundations\Computational Logic
|
|
Richard Taylor (Popularity: )
(Score: 11.95)
http://www.math.harvard.edu/~rtaylor/
Publications including the joint paper with Andrew Wiles which completed the proof of Fermat's Last Theorem.
Category: Science\Math\Number Theory\Elliptic Curves and Modular Forms
|
|
Proof of Bertrand's Postulate (Popularity: )
(Score: 11.83)
http://matholymp.com/TUTORIALS/Bertrand.pdf
International Mathematics Olympiad tutorial proving the theorem of Chebyshef that there is a prime between n and 2n for all positive integers n > 1.
Category: Science\Math\Number Theory\Prime Numbers
|
|
Proof General (Popularity: )
(Score: 11.71)
http://proofgeneral.inf.ed.ac.uk
Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.
Category: Science\Math\Logic and Foundations\Software
|
|
About "A New Proof of The Four Colour Theorem" (Popularity: )
(Score: 11.44)
http://mathforum.org/library/view/16622.html
From the Math Forum Internet Mathematics Library.
Category: Science\Math\Combinatorics\Graph Theory
|
|
An Introduction to the Lorentz-Dirac Equation (Popularity: )
(Score: 11.23)
http://arxiv.org/abs/gr-qc/9912045
Notes by Eric Poisson providing two derivations of the Lorentz--Dirac equation.
Category: Science\Physics\Quantum Mechanics\Relativistic
|
|
Stock Options - Animated Tutorial and Analytics (Popularity: )
(Score: 11.11)
http://www.optionanimation.com/
An animated introduction to the Black--Scholes theorem. Includes graphs.
Category: Science\Math\Applications\Mathematical Economics and Financial Mathematics
|
|
Cauchy - Augustin-Louis Cauchy (1789-1857) (Popularity: )
(Score: 10.85)
http://www.newadvent.org/cathen/03457a.htm
(Catholic Encyclopedia) Theory of polyhedra, symmetrical functions, proof of a theorem of Fermat which had baffled mathematicians like Gauss and Euler.
Category: Science\Math\History\People
|
|
Gauss, Johann Carl Friedrich (1777-1855) (Popularity: )
(Score: 10.77)
http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Gauss.html
One of the all-time greats, Gauss began to show his mathematical brilliance at the early age of seven. He is usually credited with the first proof of The Fundamental Theorem ...
Category: Science\Math\History\People
|
|
DC Proof Online (Popularity: )
(Score: 10.60)
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial ...
Category: Science\Math\Logic and Foundations\Software
|
|
The LEGO Proof Assistant (Popularity: )
(Score: 10.50)
http://www.dcs.ed.ac.uk/home/lego/
A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of ...
Category: Science\Math\Logic and Foundations\Computational Logic
|
|
Logic of programming (Popularity: )
(Score: 10.42)
http://iml.univ-mrs.fr/ldp/welcome.html
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = ...
Category: Science\Math\Logic and Foundations\Proof Theory
|
