Directory of Science - All about Science

Thursday, 24 January, 2019

search

for
Directories
 
 
 
 Recent Listings
  Annual European Dental Summit
  Nanoforum 2019
  Nanotech 2019
  Journal of Applied Pharmaceutical Sciences and Research
  Sita Ram & Sons
  The Anatolian Journal of Family Medicine
  Clinical Research and Clinical Trials
  Global meet on dentistry and oral Health
  Journal of Agriculture and Natural Resources
  Jurnal Optimasi Sistem Industri
 
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
Application Of Calculus In Nucle - Science Central - 4538433 - Flow Chart Linear Search - Series Solution For Differential Equaton - Biomes Chaparral Animal Pics - Lecture On Nucleic Acids - Monovet System - Earth Layers For Second Graders - Business Studies In India - Logbooks For Astronomy - Printed Circuit Board Design Supplier - Potassium Carbonate - Urain System - Thechchi Plant - Data Store
 

© 2015 Directory of Science. All Rights Reserved