Многие писали про верификацию численных расчётов, когда численное решение сверяется с аналитическим (ну или когда упрощённая численная модель сравнивается с упрощённой аналитической как @soklakov писал, если я правильно запомнил.. хотя я до сих пор "не просёк фишку")..
А как часто вам в расчётной среде приходиться пользоваться только аналитическим/книжным/ручным решением, не прибегая к САЕ-пакетам и всяким там крутым решалкам.. прибегая к помощи компьютера только как к калькулятору, ну или там в Excel/Mathematica пару формул вбить..
Ведь даже в таких крутых САЕ-пакетах как Ansys, Comsol не