Про SageMath
Есть такая система компьютерной алгебры SageMath или просто Sage. Сейчас это скорее уже даже не CAS-система, а сборка библиотек, фреймворков и их обвязок в единый пакет для научных вычислений с интерфейсом взаимодействия на Python, то есть своего рода опенсорсный аналог Wolfram Mathematica, Maple и местами MATLAB.
Если вы учитесь на математематическом факультете, то познакомиться с SageMath — это неплохая возможность изучить Python оставаясь в контексте математики.
Ну а если вы занимаетесь DS/ML/AI, то это неплохая возможность изучить/повторить алгебру, теорию чисел (и другие разделы математики с сильными вычислительными аспектами) оставаясь в контексте написания кода на Python.
Вот небольшая подборка материалов для самообучения Sage:
▫️ Книга: A. Casamayou, P. Zimmermann et al., Calcul mathématique avec Sage, 2013 (перевод на английский: Computational Mathematics with SageMath, 2018);
▫️ Туториал: Sage Tutorial (версия на русском);
▫️ Курс от создателя Sage Уильяма Cтайна Sage Course 2014 (этот курс конечно сильно устарел, но он очень хорош по структуре и идее обучить начинающих математиков стеку Python, git, Cython), ссылки на сохранившиеся записи лекций;
▫️ В научных вычислениях очень важна высокая производительность, а сам Стайн кстати причастен к созданию Cython, так что еще в этом списке книга по Cython: K.W. Smith, Cython: A Guide for Python Programmers, 2015
Обширная библиотека материалов есть также на странице проекта SageMath:
▫️ Список известных курсов с применением Sage;
▫️ Книги и другие ресурсы.
P.S.: Ещё у Cтайна есть учебники по различным разделам теории чисел, в которых изложение теоретического материала часто сопровождается вычислительными примерами на Sage:
▫️ W. Stein, Elementary Number Theory: Primes, Congruences, and Secrets, 2008;
▫️ W. Stein, Algebraic Number Theory, a Computational Approach, 2012;
▫️ W. Stein, Modular Forms: A Computational Approach, 2007;
▫️ K.A. Ribet, W.A. Stein, Lectures on Modular Forms and Hecke Operators, 2017;
▫️ W. Stein, The Birch and Swinnerton-Dyer Conjecture, a Computational Approach, 2007.