Maple

Jordan Ellenberg: Mathematics of High-Dimensional Shapes and Geometries | Lex Fridman Podcast #190

Lex Fridman

A commercial computer algebra system.