Directory of Science - All about Science

Tuesday, 23 April, 2019

search

for
Directories
 
 
 
 Recent Listings
  World Congress on Nanotechnology
  Random42 Scientific Communication
  NeuroPharmac Journal
  Nanobiotechnology 2019
  Chemistry & Chemical Engineering Conference
  Diabetes World 2019
  Material Science & Engineering Conference
  Vascular Surgery Conferences
  ATA Scientific
  British Journal of Pharmaceutical and Medical 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.16)
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
Lecture On Nucleic Acids - Math Table - Monovet System - Polygraph Lie Detector - Business Studies In India - Logbooks For Astronomy - Urain System - Science Apparatuses - Thechchi Plant - Chlorine-36 Exposure Dating - Cavendish Laboratory - Algebraic Expressionsp Calculator - Sports Clothing - Animals Information In Sanskrit - Sports Arts And Students
 

© 2015 Directory of Science. All Rights Reserved