Introduces a conforming liftings framework that bridges virtual-function and fully discrete convergence analysis techniques for polytopal methods and demonstrates it on a model problem while linking to discrete differential complexes.
Finite Elements II
4 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 4roles
background 2polarities
background 2representative citing papers
A Rocq formalization defines simplicial Lagrange finite elements as records with geometric data, polynomial approximations, and unisolvence proofs for any dimension and polynomial degree.
An adaptive anisotropic composite quadrature strategy combined with refresh-based training narrows the gap between training and reference losses in neural residual minimization for PDEs while using quadrature points more efficiently.
A finite element method with divergence reconstruction for generalized Navier-Stokes equations valid for p > 2d/(d+2), with a priori error estimates for velocity and pressure.
citing papers explorer
-
Key challenges and bridges among convergence analysis techniques for polytopal methods
Introduces a conforming liftings framework that bridges virtual-function and fully discrete convergence analysis techniques for polytopal methods and demonstrates it on a model problem while linking to discrete differential complexes.
-
A Rocq Formalization of Simplicial Lagrange Finite Elements
A Rocq formalization defines simplicial Lagrange finite elements as records with geometric data, polynomial approximations, and unisolvence proofs for any dimension and polynomial degree.
-
Adaptive anisotropic composite quadratures for residual minimisation in neural PDE approximations
An adaptive anisotropic composite quadrature strategy combined with refresh-based training narrows the gap between training and reference losses in neural residual minimization for PDEs while using quadrature points more efficiently.
-
Finite element discretization of the steady, generalized Navier-Stokes equations for small shear stress exponents
A finite element method with divergence reconstruction for generalized Navier-Stokes equations valid for p > 2d/(d+2), with a priori error estimates for velocity and pressure.