×

Found 16 Documents (Results 1–16)

Computability and incomputability of differential equations. (English) Zbl 1189.03048

Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 223-242 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Beyond the first main theorem – when is the solution of a linear Cauchy problem computable? (English) Zbl 1128.03051

Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 783-792 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field