символьные вычисления

Пока это не теорема, а заявка. Но заявка достаточно дерзкая, чтобы о ней заговорили. Иногда новая математическая идея звучит как розыгрыш: будто кто-то взял научный калькулятор, выкинул почти все клавиши и заявил, что оставшихся хватит для синусов, логарифмов, степеней и числа π. Польский...