scientific article; zbMATH DE number 1377661

MaRDI QIDQ4703091zbMATH OpenFDO

Authors Kanehisa Takasaki

Publication date 14 December 1999

zbMATH Keywords

computability over the real numberscomputable solutionconstructive solutionnonstandard analysisordinary differential equationspartial differential equations

Mathematics Subject Classification ID

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

Recommendations

• On constructive number fields and computability of solutions of PDEs
• Computability of ordinary differential equations
• Computability with polynomial differential equations
• Analytic machines
• Computability theory of generalized functions

Cited in

(10)

• Computability of ordinary differential equations
• On constructive number fields and computability of solutions of PDEs
• An example of noncomputability of exponents of a system of ordinary differential equations
• Computability aspects for 1st-order partial differential equations via characteristics
• Effective computability of solutions of differential inclusions: the ten thousand monkeys approach
• Characterizing Computable Analysis with Differential Equations
• Computability of Differential Equations
• Computability in analysis and physics
• Recursive analysis of singular ordinary differential equations
• Computability on reals, infinite limits and differential equations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4703091)