Title of article
Recursive analysis of singular ordinary differential equations
Author/Authors
Buser، نويسنده , , Peter and Scarpellini، نويسنده , , Bruno، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
16
From page
20
To page
35
Abstract
We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations.
Keywords
Computable ordinary differential equations , Recursive analysis , Recursively enumerable sets
Journal title
Annals of Pure and Applied Logic
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444509
Link To Document