Кто-либо знает о каких-либо ресурсах (книги, классы, примечания лекции или что-нибудь) об общей теории компьютерных систем алгебры (например, mathematica, sympy)? "Вводные" материалы предпочтены...

У меня есть уравнение вида: R₂⋅V₁ + R₃⋅V₁ - R₃⋅V₂ i₁ = ───────────────────── R₁⋅R₂ + R₁⋅R₃ + R₂⋅R₃ определено, и я хотел бы разбить его на факторы, которые включают только одну переменную - в этом ...

Мне нужно сделать аналитическую интеграцию в C++. Например, я должен интегрировать такие выражения, как :exp[I (x -y )], I — мнимое число. Как я могу сделать это на С++? Я пробовал GiNaC, но он может просто...