Preserving model structure and constraints in scientific computing

In this paper, we look at how model structure and constraints can be incorporated into scientific computing using functional programming and, implicitly, category theory, in a way that constraints are automatically satisfied. Category theory is the study of different types of objects (e.g., sets, gr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Measurement. Sensors Jg. 38; S. 101796
Hauptverfasser: Forbes, Alistair, Lines, Keith, Forsberg, Fredrik Nordvall, McBride, Conor, Videla, Andre
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Ltd 01.05.2025
Schlagworte:
ISSN:2665-9174, 2665-9174
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!