Publication:3593388

zbMath1117.03068MaRDI QIDQ3593388

Peter Buser, Bruno Scarpellini

Publication date: 20 July 2007

zbMATH Keywords

ordinary differential equations; theta functions; recursively enumerable sets; hypercomputation

Mathematics Subject Classification ID

34A09: Implicit ordinary differential equations, differential-algebraic equations

03F60: Constructive and recursive analysis

42B05: Fourier series and coefficients in several variables

03D25: Recursively (computably) enumerable sets and degrees

Related Items

Undecidability through Fourier series, Recursive analysis of singular ordinary differential equations