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 28, 2007
Tuesday, August 21, 2007
Thursday, August 16, 2007
Mind and Visual Puzzles
Archimedes' Laboratory provides puzzles, brain teasers, and mental activities to keep your brain young and active.
Thursday, August 09, 2007
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 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".
Subscribe to:
Posts (Atom)
