## Links to some open source mathematical programs

My 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 not a theorem unless its proof is written