TheoremJS

A Math framework for computation in JavaScript