Symbolic mathematics on Linux

Posted Jan 5, 2017 10:41 UTC (Thu) by verbovet (guest, #46457)
Parent article: Symbolic mathematics on Linux

Why only Maxima and Sage? REDUCE http://reduce-algebra.sourceforge.net is not less powerful.

Symbolic mathematics on Linux

Posted Jan 5, 2017 11:43 UTC (Thu) by leephillips (subscriber, #100450) [Link] (2 responses)

You are right, REDUCE should have been mentioned as well. Since it was proprietary until 2008, I might have been unaware that it has since been open-sourced. But the omission was entirely my fault.

Symbolic mathematics on Linux

Posted Jan 6, 2017 17:04 UTC (Fri) by tbenst (guest, #113388) [Link] (1 responses)

Would you consider proof assistants / progamming languages like Coq, Agda and Idris to be in this same category?

Symbolic mathematics on Linux

Posted Jan 6, 2017 18:54 UTC (Fri) by leephillips (subscriber, #100450) [Link]

No, that's a whole different kettle of fish, one I know very little about.