Tuesday, August 28, 2007

Math Genius Wins University Place, Aged 9

A nine-year-old math prodigy was Thursday admitted to a Hong Kong university, telling reporters he struggled to communicate academically with his own age group.

March Boedihardjo, an Indonesian-Chinese boy resident in Hong Kong, earlier this month gained two grade As and a B in his A-levels -- normally taken by 18-year-olds -- enough for a place at Hong Kong Baptist University (HKBU).

Click here for more information.

Tuesday, August 21, 2007

Arabic Geometry

Catnaps.org has an interesting article on Arabic geometrical patterns.

Thursday, August 16, 2007

Mind and Visual Puzzles

Archimedes' Laboratory
Archimedes' Laboratory provides puzzles, brain teasers, and mental activities to keep your brain young and active.

Thursday, August 09, 2007

EquationSheet.com

EquationSheet.com
EquationSheet.com allows you to create a customized equation sheet from various mathematics and physical equations and constants.

Thursday, August 02, 2007

The Coq Proof Assistant

Coq
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
  • to define functions or predicates,
  • to state mathematical theorems and software specifications,
  • to develop interactively formal proofs of these theorems,
  • to check these proofs by a relatively small certification "kernel".