scientific article; zbMATH DE number 1377661

zbMATH Open0937.03070MaRDI QIDQ4703091

Kanehisa Takasaki

Publication date: 14 December 1999

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

zbMATH Keywords

ordinary differential equationsnonstandard analysispartial differential equationsconstructive solutioncomputability over the real numberscomputable solution

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Constructive and recursive analysis (03F60) Wave equation (35L05) Applications of computability and recursion theory (03D80) Nonstandard models in mathematics (03H05) Constructive real analysis (26E40) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Computational Complexity of Smooth Differential Equations ⋮ Characterizing Computable Analysis with Differential Equations ⋮ Computability on reals, infinite limits and differential equations

This page was built for publication: