Effective Computation for Nonlinear Systems

DOI10.1007/978-3-540-73001-9_18zbMath1150.03320OpenAlexW1928194234MaRDI QIDQ5425318

Peter J. Collins

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/12120

zbMATH Keywords

nonlinear systemscomputable analysisAriadne

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Effective Computation for Nonlinear Systems