A reduced basis method with exact-solution certificates for steady symmetric coercive equations
Reduced basis method that provides rigorous bounds of the exact PDE energy. Upper bound computation is based on variational argument. Lower bound computation is based on complementary variational principle. Bound evaluation permits offlineonline computational decomposition.
reduced basis complementary variational principle a posteriori error bound partial differential equations