Pith. sign in

Title resolution pending

16 Pith papers cite this work, alongside 3,849 external citations. Polarity classification is still indexing.

16 Pith papers citing it
3,849 external citations · OpenAlex

citation-role summary

background 2

citation-polarity summary

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 16 of 16 citing papers.