Broadly, an expression solving a mathematical problem that is composed entirely of analytic functions, or other “well-behaved”, continuous mathematical functions. The solution is “exact” on one or more continuous ranges, involving no approximations (other than those applicable to measurement of the independent variables). Its applicability is complete within each interval of the underlying function(s).
This property can have considerable influence on what type of validation is required in support of verification by analysis.