3 ms·

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.

• leephillips 10y ago
  These both happen to be included as components in Sage, which was why I didn't mention them separately.
  • williamstein 10y ago
    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.