3 ms·
There was a very serious call for an open source CAS a couple of years ago foe the very simple reason that the CAS code used in research needs to be auditable.
by gmueckl 8y ago
There was a very serious call for an open source CAS a couple of years ago foe the very simple reason that the CAS code used in research needs to be auditable. There are a ton of papers out there which base their validity on the premise that Mathematica performed correctly. Without source code, the validity of these calculations cannot be realistically proven.
- mnl 8y agoSuch CASs do exist indeed, check Reduce: https://en.wikipedia.org/wiki/Reduce_(computer_algebra_system) https://en.wikipedia.org/wiki/Reduce_(computer_algebra_syste... Which is awesome, BTW. There's also Giac/Xcas: https://www-fourier.ujf-grenoble.fr/~parisse/giac.html https://www-fourier.ujf-grenoble.fr/~parisse/giac.html, and a few more specialised ones.