Directory of Science - All about Science

Tuesday, 23 April, 2019


 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)
Description and instruction of using the ancient Pythagorean Abacus to do arithmetic.
Category: Science\Math\Recreations\Games and Puzzles

Isabelle (Popularity: ) (Score: 7.45)
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)
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)
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)
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)
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)
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