Links

Stanford MathBrain
FIND Laboratory