×

Found 86 Documents (Results 1–86)

Physical computability theses. (English) Zbl 1498.68109

Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 217-231 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Computability and dynamical systems. (English) Zbl 1253.37020

Peixoto, Maurício Matos (ed.) et al., Dynamics, games and science I. DYNA 2008, in honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8–12, 2008. Papers based on talks given at the international conference. Berlin: Springer (ISBN 978-3-642-11455-7/hbk; 978-3-642-11456-4/ebook). Springer Proceedings in Mathematics 1, 169-181 (2011).
MSC:  37C10 03D35 68Q05 03D80
PDFBibTeX XMLCite
Full Text: DOI Link

Boundedness of the domain of definition is undecidable for polynomial ODEs. (English) Zbl 1262.34010

Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 49-57 (2008).
MSC:  34A12 03D35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software