Directory of Science - All about Science

Wednesday, 21 November, 2018

search

for
Directories
 
 
 
 Recent Listings
  Journal of Aviation
  International Journal on Recent and Innovation Trends in Computing and Communication
  Cosmetology & Dermatology , 2018
  6th International Conference on Science, Engineering, Technology and Healthcare SETH-2018
  Zara Thomson
  World Congress on Nursing & Healthcare Management
  Innovative Biosystems and Bioengineering
  9th World Congress on Clinical Pharmacy and Pharmacy Practice
  4th International Forum on Nursing and Healthcare
  Universal Journal of Pharmaceutical Research
 
Sites for: The Pythagorean Theorem

The Pythagorean Theorem

Records 1-7 of 7
 



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.tu-muenchen.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 Gnu-Emacs 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.15)
http://www.optionanimation.com/
An animated introduction to the Black--Scholes 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, autoadaptation-theorem 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 higher-order, 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. Twenty-four centuries later, this geometry has a new theorem.
Category: Science\Math\Geometry

 
Records 1-7 of 7

Related Searches
Pythagorean Theorem - The Pythagorean Theorem Proofs - Biography Of Sir Pythagorean - Elements Book 1 Pythagorean Proof - Theorem 50-7 - Theorem 5-7 - Dirac Theorem - Torricelli Theorem - Binomial Theorem - Number Theorem
 
Latest Searches
Mcgill University Aids Centre - Lecture On Nucleic Acids - Bat Pest Control - Monovet System - Gerard P - Business Studies In India - Logbooks For Astronomy - Mac 1 Antibody - Botanical Name Of Spruce - Urain System - Flow Chart On Nuclear Physics - Arthropod Marine Adapatations - Thechchi Plant - Animal Biomechanic - Cavendish Laboratory
 

© 2015 Directory of Science. All Rights Reserved