pith. sign in

Finite Elements II

4 Pith papers cite this work. Polarity classification is still indexing.

4 Pith papers citing it

citation-role summary

background 2

citation-polarity summary

years

2026 3 2024 1

verdicts

UNVERDICTED 4

roles

background 2

polarities

background 2

representative citing papers

A Rocq Formalization of Simplicial Lagrange Finite Elements

cs.LO · 2026-04-22 · unverdicted · novelty 7.0

A Rocq formalization defines simplicial Lagrange finite elements as records with geometric data, polynomial approximations, and unisolvence proofs for any dimension and polynomial degree.

citing papers explorer

Showing 4 of 4 citing papers.