Towards a High-Performance Software Implementation of Symbolic Computational Dynamics

View at publisher
Authors: Jenna L. Downie, Matthew P. Cartmell
Cited by: 1
References: 1

Fields of Study & Subjects

Embedded Systems Design Techniques Evolutionary Algorithms and Applications Formal Methods in Verification

Publication details

Journal / source
NODYCON conference proceedings series
Publisher
Springer Nature Switzerland
Pages
245–256
Publication date
1 January 2026
Language
EN