Characterizing Computable Analysis with Differential Equations (Q4918002)
From MaRDI portal
scientific article; zbMATH DE number 6160418
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing Computable Analysis with Differential Equations |
scientific article; zbMATH DE number 6160418 |
Statements
Characterizing Computable Analysis with Differential Equations (English)
0 references
3 May 2013
0 references
computable analysis
0 references
real recursive functions
0 references
differential equations
0 references
0 references
0 references
