Proof-Carrying Analytic Approximation: Local-to-Global Evidence Transport at Encoding Cost

Andreu Ballus Santacana

Under quasi-uniform refinement, bounded local-encoding hypotheses, and local $W^{r,2}$ approximation of order $r\ge 2$ in a rational piecewise-polynomial presentation of $W^{1,2}(0…