> -- Info21 писал(а):
> ...На этом большАя часть компьютерной алгебры основана с 1967 г., когда Вельтман (Нобель 1999) сделал свой легендарный SCHOONSCHIP (который даже нобелевским комитетом назван в формуле награды -- уникальный случай), потом заимствованный в систему Reduce-2, тоже широко применявшуюся. ...М-да... нынешним, если судить по источникам изэтого поста, не дадут...поскольку не "умеют" сохранять корректность при преобразованиях. Кстати, Петров указывает, что до современных матпакетов этой проблемы не было, т.к. математик при выводе решений или интуитивно шёл путём, сохраняющим корректность, или, "что-то такое зная", делал проверки и корректировал вывод. Интересно, к "старой" алгоритмизации алгебры (по тому же Вельтману) это тоже относится?..