
Pythabacus (Popularity: )
(Score: 9.59)
http://www.pythabacus.com/
Description and instruction of using the ancient Pythagorean Abacus to do arithmetic.
Category: Science\Math\Recreations\Games and Puzzles


Isabelle (Popularity: )
(Score: 7.45)
http://isabelle.informatik.tumuenchen.de/
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
Category: Science\Math\Logic and Foundations\Computational Logic


Proof General (Popularity: )
(Score: 7.38)
http://proofgeneral.inf.ed.ac.uk
Comprehensive GnuEmacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.
Category: Science\Math\Logic and Foundations\Software


Stock Options  Animated Tutorial and Analytics (Popularity: )
(Score: 7.16)
http://www.optionanimation.com/
An animated introduction to the BlackScholes theorem. Includes graphs.
Category: Science\Math\Applications\Mathematical Economics and Financial Mathematics


TimeScience Pages (Popularity: )
(Score: 7.08)
http://www.sensortime.com
Time quantizing, time sensing, autoadaptationtheorem and the algorithm of life. A new universal theory described, by Erich Bieramperl.
Category: Science\Physics\Alternative


The HOL Theorem Proving System (Popularity: )
(Score: 6.78)
http://hol.sourceforge.net/
The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higherorder, classical, natural deduction with tactics.
Category: Science\Math\Logic and Foundations\Computational Logic


Diamond Theory (Popularity: )
(Score: 6.42)
http://m759.freeservers.com/
Plato tells how Socrates helped Meno's slave boy "remember" the geometry of a diamond. Twentyfour centuries later, this geometry has a new theorem.
Category: Science\Math\Geometry
