Links

Wolfram Research

Mathematica at ICM

Gambit