Rigor

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.


Platforms: Mac

Cider geeks of the world unite! Professional Brewmaster Iain Hill shows you how he makes cider. By using only the best and most sought after apple cider varieties, running multiple fermentation experiments, and maintaining scientific rigor, Iain produces


Platforms: Mac

In this script is included a method for performing the Rabin-Miller probabilistic test for a composite witness.  Rabin-Miller test can only tell us if a value is definitely composite. In the case where a test value is not a witness for the compositeness of a potential prime, it can only lie...


Platforms: Windows, Mac, *nix, Python, BSD Solaris