The MathServe framework is free software. It can be used under the terms of version 2 of the GNU General Public License as published by the Free Software Foundation.
This program is distributed in the hope that it will be useful, but without any warranty, without even the implied warranty of merchantibility or fitness for a particular purpose. See the GNU General Public License for more details.
The reasoning systems integrated into the MathServe framework have their own copyright terms.