an encyclopedia of finite element definitions

Verification

Element	Basix	Basix.UFL	FIAT
Brezzi–Douglas–Marini
bubble
Crouzeix–Raviart
dPc
Lagrange
Nédélec (first kind)
Nédélec (second kind)
Raviart–Thomas
Regge
serendipity
Hermite
P1-iso-P2
Argyris
Arnold–Winther
Bell
Bernstein
Brezzi–Douglas–Fortin–Marini
Hellan–Herrmann–Johnson
Kong–Mulder–Veldhuizen
Mardal–Tai–Winther
Morley
nonconforming Arnold–Winther
Taylor
trimmed serendipity H(curl)
trimmed serendipity H(div)
vector dPc
vector Lagrange
vector Q
Alfeld–Sorokina
Arnold–Boffi–Falk
Bernardi–Raugel
Bogner–Fox–Schmitt
Brezzi–Douglas–Durán–Fortin
bubble enriched Lagrange
Buffa–Christiansen
conforming Crouzeix–Raviart
Crouzeix–Falk
direct serendipity
dual polynomial
enriched Galerkin
enriched vector Galerkin
Fortin–Soulie
Gauss–Legendre
Guzmán–Neilan
Hsieh–Clough–Tocher
Huang–Zhang
mini
Morley–Wang–Xu
P1 macro
Pechstein–Schöberl
Q H(div)
Radau
Rannacher–Turek
reduced Hsieh–Clough–Tocher
rotated Buffa–Christiansen
Scott–Vogelius
serendipity H(curl)
serendipity H(div)
Taylor–Hood
Tiniest tensor
Tiniest tensor H(curl)
Tiniest tensor H(div)
transition
vector bubble enriched Lagrange
Wu–Xu

Verification GitHub badges

Implementation	Badge	Markdown
Symfem		[![DefElement verification](https://defelement.com/badges/symfem.svg)](https://defelement.com/verification.html)
Basix		[![DefElement verification](https://defelement.com/badges/basix.svg)](https://defelement.com/verification.html)
Basix.UFL		[![DefElement verification](https://defelement.com/badges/basix.ufl.svg)](https://defelement.com/verification.html)
FIAT		[![DefElement verification](https://defelement.com/badges/fiat.svg)](https://defelement.com/verification.html)