scientific article; zbMATH DE number 7311158

zbMath1456.65049MaRDI QIDQ5150980

Norbert Th. Müller, Margarita Korovina

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?CCA2010.15

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Numerical methods for initial value problems involving ordinary differential equations (65L05) Approximation algorithms (68W25) Algorithms with automatic result verification (65G20)

Related Items (1)

Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems

Uses Software

• iRRAM

This page was built for publication: