Research Institute for Symbolic Computation
[ru] Институт исследований символьных вычислений