Journal article icon

Journal article

DefElement: an encyclopedia of finite element definitions

Abstract:
DefElement is an online encyclopedia of finite element definitions that was created and is maintained by the authors of this paper. DefElement aims to make information about elements defined in the literature easily available in a standard format. There are a number of open-source finite element libraries available, and it can be difficult to check that an implementation of an element in a library matches the element’s definition in the literature or implementation in another library, especially when many libraries include variants of elements whose basis functions do not match exactly. In this paper, we carefully derive conditions under which elements can be considered equivalent and describe an algorithm that uses these conditions to verify that two implementations of a finite element are indeed variants of the same element. The results of scheduled runs of our implementation of this verification algorithm are included in the information available on the DefElement website.
Publication status:
Published
Peer review status:
Peer reviewed

Actions

Access Document

Publisher copy:
10.1007/s44207-026-00011-0

Authors

More by this author
Role:
Author
ORCID:
0000-0002-4658-2443
More by this author
Institution:
University of Oxford
Role:
Author
ORCID:
0000-0002-3824-0080
More by this author
Role:
Author
ORCID:
0000-0001-7499-3373
More by this author
Role:
Author
ORCID:
0000-0001-6489-8858
More by this author
Institution:
University of Oxford
Role:
Author
ORCID:
0009-0006-0152-4780


More from this funder
Funder identifier:
10.13039/501100000266
Grant:
EP/W026260/1
More from this funder
Grant:
EP/W524311/1


Publisher:
Springer
Journal:
Computational Science and Engineering More from this journal
Volume:
3
Issue:
1
Article number:
2
Publication date:
2026-04-14
Acceptance date:
2026-03-11
DOI:
EISSN:
2948-1597
ISSN:
2948-1597


Language:
English
Keywords:
Source identifiers:
4037598
Deposit date:
2026-05-12
ARK identifier:
This ORA record was generated from metadata provided by an external service. It has not been edited by the ORA Team.

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP