A Rocq formalization defines simplicial Lagrange finite elements as records with geometric data, polynomial approximations, and unisolvence proofs for any dimension and polynomial degree.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Proves an inf-sup stability estimate for a penalty-free asymmetric Nitsche method with Nédélec edge elements under an isolated patch condition on tetrahedral meshes.
citing papers explorer
-
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.
-
A Penalty-Free Asymmetric Nitsche's Method for Edge Elements
Proves an inf-sup stability estimate for a penalty-free asymmetric Nitsche method with Nédélec edge elements under an isolated patch condition on tetrahedral meshes.