X
Ещё есть уютный бложик вот этого сурового дядьки
https://asmeurersympy.wordpress.com/2010/06/30/the-risch-algorithm-part-1/
https://asmeurersympy.wordpress.com/2010/06/30/the-risch-algorithm-part-1/
Size: a a a
2018 June 06
X
ну и напоследок: я не знаю ни одной системы компьютерной алгебры, которая дала бы ответ на вопрос, является ли элементарным интеграл
X
X
ПОЛНЫХ реализаций алгоритма Риша (это как раз то, что ты называешь "проверка на интегрируемость с помощью теоремы Лиувилля") на данный момент нет и, по всей видимости, не предвидится (см. Constant problem)
AB
Благодарю за ответ. Если я правильно понимаю, все-таки существуют реализации алгоритма для проверки определенного набора функций?
X
Алгоритмы есть. На псевдокоде ты их почти наверняка не найдёшь (если найдёшь, сообщи)
X
Они очень неприятные на вид
X
Либо ты их будешь воспринимать как магию, не понимая, почему они работают, либо тебе будет достаточно почитать туториал Бронштейна
X
я брал слово в кавычки, потому что назвать это туториалом могут только очень крутые математики, т.е. точно не я
AB
Спасибо огромное за разъяснение, очень сильно сэкономил мне время
AB
теперь хоть знаю, где примерно можно искать
X
я видел только три места, где можно искать
X
вот этот блог, Бронштейна и главу в какой-то очень толстой книге
AB
Понял, буду рыть
X
кстати главу поищи, там по-моему пример был с результантом и всеми ужасами
AB
знать бы в какой книге)
X
ща
X
X
предупреждаю, тут тоже уровень сложности – огонь горит и танки едут
AB
благодарю, я постараюсь понять)