Computing with dynamical systems

zbMath1128.68119MaRDI QIDQ2461404

Yanyan Li

Publication date: 27 November 2007

Published in: Differential Equations and Dynamical Systems (Search for Journal in Brave)

zbMATH Keywords

algorithmcorrectnessdiscrete dynamical systemprogram verificationformal methodmapcode formalism

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Topological dynamics (37B99) Applications of dynamical systems (37N99) Iteration theory, iterative and composite equations (39B12) Dynamical systems in numerical analysis (37N30) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items (2)

Computing with multiple discrete flows ⋮ Mapcode characterization of partial recursive maps

This page was built for publication: Computing with dynamical systems