
Links to some open source mathematical programs
OnMy opinion: A result computed by a computer algebra system, whose source code is not “open source”, can not be accepted as part of a mathematical proof. Within the general mathematical community, it seems fair to say that a mathematical truth is…