Post #623

Краттенталер написал несколько мануалов по подсчету сложных определителей - если у вас есть важный детерминант, который вы хотите подсчитать символьно, то сюда: https://arxiv.org/abs/math/9902004 https://arxiv.org/abs/math/0503507 Кроме того, он имплементировал в математике все формулы преобразования гипергеометрических и q-гипергеометрических функций из книжки Гаспера-Рахмана: https://www.mat.univie.ac.at/~kratt/hyp_hypq/hyp.html У него еще есть машинка RATE для угадывания формулы по последовательности: https://www.mat.univie.ac.at/~kratt/rate/rate.html В общем, если кто занимается символьными вычислениями и/или работает со страшными формулами, то очень рекомендую!