Official online repository of Theorem, a free, open-source web service that allows computations of numeric-symbolic computational math problems. Project for CMSC 150 (Numerical and Symbolic Computation) by Gabriel John P. Gagno, BS Computer Science at the Institute of Computer Science, University of the Phiilippines Los Baños