Undecidable propositions by ODE"s

Peter Buser, Bruno Scarpellini

Type: Article

Publication Date: 2007-01-01

Citations: 2

Similar Works

Action	Title	Year	Authors
+	Non-Math Computer Programs.	1978	Jane Donnelly Gawronski Charlene West
+	Computer Formulas	2006
+	Elementary computations	2016
+	Calculator Algorithms	1978	James C. Kropa
+	Calculator Algorithms	1978	James C. Kropa
+	Computers in mathematics : a sourcebook of ideas	1979	David H. Ahl
+	The Ins & Outs of Mathematica	2001	Paul Abbott
+	Discrete Mathematical Structures in Computer Science	2015	D.N. Georgiou Efstathios Antoniou Anestis Chatzimichailidis Δημήτριος Γεωργίου Ευστάθιος Αντωνίου Ανέστης Χατζημιχαηλίδης
+ PDF Chat	Maths, Computation and Flamenco: Overview and Challenges	2019	José Miguel Díaz-Báñez Nadine Kroher
+	Non-archimedean calculus (Lecture notes)	1978	Wilhelmus Hendricus Schikhof
+	Computeralgebra	2018	Sascha Kurz Michael Stoll Karl Worthmann
+	Computeralgebra	2006	Wolfram Koepf
+	The Primitive Functions	1979	S. G. Mikhlin
+	Book of Pearl Computations	2024	Venkatesan Prakash G Babu
+ PDF Chat	Nested canalyzing, unate cascade, and polynomial functions	2007	Abdul Salam Jarrah Blessilda P. Raposa Reinhard Laubenbacher
+	Calculus for Exponentials	2015	R. A. Motes
+	1472. A note on implicit functions	1940	E. H. N.
+	Algorithms and Computation	2007	Binh-Minh Bui-Xuan Michel Habib Vincent Limouzy Fabien de Montgolfier
+	Calculus of elementary functions	1969	Sarah T. Herriot
+	Calculus of elementary functions	1970	Harold Abelson Leonard Fellman Lee Rudolph

Action	Title	Year	Authors
+	Recursive analysis of singular ordinary differential equations	2010	Peter Buser Bruno Scarpellini

Action	Title	Year	Authors
+	Elliptische Funktionen und Modulformen	2007	Max Koecher Aloys Krieg
+ PDF Chat	Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)	1974	Marian Boykan Pour‐El
+	A computable ordinary differential equation which possesses no computable solution	1979	Marian Boylan Pour-el Ian Richards
+	Ordinary Differential Equations	2017	John M. Stewart
+ PDF Chat	Several Complex Variables	1976	H. Grauert Klaus Fritzsche