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
Thursday, August 09, 2007
Thursday, August 02, 2007
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".