Proof and Computation

• R_PHP_Online
• R-php
• CGIwithR
• Archimedes And The Computation Of Pi
• Austin's Wasted Cycles
• Armpi 4 for the ARM processors
• efg's Computer Lab: Buffon's Needles Lab Report
• SourceForge.net: Project Filelist
• The Hfloat Page
• Pi at Multiple Dimension
• Wisconsin Mathematics, Engineering and Science Talent Search
• Rice Mathematics Tournament