News for hackers. Stuff that matters.
Re:Symbolic mathematics on Linux by n00b101 on Thursday January 05, 2017 @09:18PM (#13333395)
Also see PARI/GP [1] (specialized CAS for number theory) and GAP [2] (specialized CAS for group theory). These systems are very prominent within their fields.

[1] https://en.m.wikipedia.org/wiki/PARI/GP

[2] https://en.m.wikipedia.org/wiki/GAP_(computer_algebra_system...

Re:Symbolic mathematics on Linux by leephillips on Thursday January 05, 2017 @10:16PM (#13333628)
These both happen to be included as components in Sage, which was why I didn't mention them separately.
Re:Symbolic mathematics on Linux by williamstein on Thursday January 05, 2017 @10:27PM (#13333668)
And, they are both very tightly integrated with Sage via C library interfaces (between Python and Pari/GAP), which took many years of pain to properly write and debug. I wrote the first versions of these interfaces, and Jereon Demeyer and Nils Bruin massively improved and rewrote them over the years. Much core functionality in Sage fundamentally relies on Pari and GAP in order to work efficiently.