Без заголовка
Если вьюнош дружит с питоном, то почему бы не оставаться в рамках jupyter+sympy+pyplot? Символические вычисления присутствуют, формульное отображение такое же живописное. При том сохраняется ощущение близости к реализации всех этих чудес.
mathematica/matcad/maple/matlab были хороши лет 10 назад, когда research и development сидели совсем в разных помещениях и общались письмами "товарищи девелоперы, превратите наши выкладки в код". А теперь жизнь требует умения внедрить результат прямо здесь и сюда.