Infinity 1.2.6 - программа для решения систем дифференциальных и алгебраических уравнений. C помощью Infinity вы сможете решить такие задачи, которые не по зубам ни Maple, ни MatLab, ни тем более MathCad. Отличия метода решения систем нелинейных обыкновенных дифференциальных уравнений, реализованного в Infinity, от методов реализованных в других математических пакетах.
В архиве документы *.doc . они содержат краткое вступление о программировании и очень много примеров готовых программ (лаб) на Паскале. В основном приводятся примеры сложных олимпиадных задач, но и в лабах могут тоже такие встречаться.