Towards a High-Performance Software Implementation of Symbolic Computational Dynamics
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