CAS

Symbolic Computation and p-adic Arithmetic

Computer Realization of Regularized Method for a Wavefront Set Recovering on the Base of Hartmann Test with the Help of Analytical Calculations in Axiom CAS

Решение задач квантовой теории поля в системе компьютерной алгебры CADABRA

Symbolic-numerical algorithm for constructing matrices stabilizing functional in the problem of restoring the surface

Проблемный выбор системы символьных вычислений

Разработка прототипа модуля решения дифференциальных уравнений для системы символьных вычислений