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)