Ge, Lingrui; Kachkovskiy, Ilya Ballistic transport for one-dimensional quasiperiodic Schrödinger operators. (English) Zbl 07749390 Commun. Pure Appl. Math. 76, No. 10, 2577-2612 (2023). MSC: 81Q05 34L40 34C27 60G22 70G10 37A20 03D30 37E45 49Q22 70H45 PDFBibTeX XMLCite \textit{L. Ge} and \textit{I. Kachkovskiy}, Commun. Pure Appl. Math. 76, No. 10, 2577--2612 (2023; Zbl 07749390) Full Text: DOI arXiv OA License
Bournez, Olivier; Gozzi, Riccardo; Graça, Daniel S.; Pouly, Amaury A continuous characterization of PSPACE using polynomial ordinary differential equations. (English) Zbl 07693254 J. Complexity 77, Article ID 101755, 21 p. (2023). MSC: 68Qxx 03Dxx 34Axx PDFBibTeX XMLCite \textit{O. Bournez} et al., J. Complexity 77, Article ID 101755, 21 p. (2023; Zbl 07693254) Full Text: DOI
Iwaki, Kohei; Kidwai, Omar Topological recursion and uncoupled BPS structures. II: Voros symbols and the \(\tau\)-function. (English) Zbl 1521.81394 Commun. Math. Phys. 399, No. 1, 519-572 (2023). MSC: 81T60 81T18 03D80 82B20 14H10 35Q15 34M60 11B68 PDFBibTeX XMLCite \textit{K. Iwaki} and \textit{O. Kidwai}, Commun. Math. Phys. 399, No. 1, 519--572 (2023; Zbl 1521.81394) Full Text: DOI arXiv
Iwaki, Kohei; Kidwai, Omar Topological recursion and uncoupled BPS structures. I: BPS spectrum and free energies. (English) Zbl 1486.81157 Adv. Math. 398, Article ID 108191, 54 p. (2022). Reviewer: Olivier Marchal (Saint-Etienne) MSC: 81T60 82B20 34M60 18G40 03D80 11B68 PDFBibTeX XMLCite \textit{K. Iwaki} and \textit{O. Kidwai}, Adv. Math. 398, Article ID 108191, 54 p. (2022; Zbl 1486.81157) Full Text: DOI arXiv
Zhong, Ning Computational unsolvability of domains of attraction of nonlinear systems. (English) Zbl 1190.03039 Proc. Am. Math. Soc. 137, No. 8, 2773-2783 (2009). Reviewer: Timothy McNicholl (Beaumont) MSC: 03D78 03D80 34D45 68Q17 PDFBibTeX XMLCite \textit{N. Zhong}, Proc. Am. Math. Soc. 137, No. 8, 2773--2783 (2009; Zbl 1190.03039) Full Text: DOI
Gherardi, Guido 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). MSC: 03D78 03D80 34A99 35L05 PDFBibTeX XMLCite \textit{G. Gherardi}, in: 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. 223--242 (2008; Zbl 1189.03048) Full Text: DOI
Weihrauch, Klaus; Zhong, Ning Computable analysis of the abstract Cauchy problem in a Banach space and its applications. I. (English) Zbl 1128.03052 Math. Log. Q. 53, No. 4-5, 511-531 (2007). Reviewer: Zheng Xizhong (Cottbus) MSC: 03F60 03D80 34G10 47D09 47S30 PDFBibTeX XMLCite \textit{K. Weihrauch} and \textit{N. Zhong}, Math. Log. Q. 53, No. 4--5, 511--531 (2007; Zbl 1128.03052) Full Text: DOI
Weihrauch, Klaus; Zhong, Ning 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). MSC: 03F60 03D80 34G10 47D09 47S30 PDFBibTeX XMLCite \textit{K. Weihrauch} and \textit{N. Zhong}, Lect. Notes Comput. Sci. 3959, 783--792 (2006; Zbl 1128.03051) Full Text: DOI
Cenzer, Douglas; Remmel, Jeffrey B. Index sets for computable differential equations. (English) Zbl 1062.03038 Math. Log. Q. 50, No. 4-5, 329-344 (2004). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D80 03D55 03F60 34A05 34A12 PDFBibTeX XMLCite \textit{D. Cenzer} and \textit{J. B. Remmel}, Math. Log. Q. 50, No. 4--5, 329--344 (2004; Zbl 1062.03038) Full Text: DOI
Takasaki, Kanehisa Differential equations and computability. (Japanese) Zbl 0937.03070 RIMS Kokyuroku 1020, 39-62 (1997). MSC: 03F60 03D45 03D80 03H05 34A12 26E40 35L05 PDFBibTeX XMLCite \textit{K. Takasaki}, RIMS Kokyuroku 1020, 39--62 (1997; Zbl 0937.03070)
Abramowich, John Syntactic methods for recursive equations and applications to differential equations. (English) Zbl 0707.03041 Int. J. Math. Educ. Sci. Technol. 20, No. 1, 111-136 (1989). Reviewer: P.L.Ferrari MSC: 03D80 35A25 34A99 03F60 PDFBibTeX XMLCite \textit{J. Abramowich}, Int. J. Math. Educ. Sci. Technol. 20, No. 1, 111--136 (1989; Zbl 0707.03041) Full Text: DOI
Hauck, Jürgen Ein Kriterium für die konstruktive Lösbarkeit der Differentialgleichung \(y'=f(x,y)\). (German) Zbl 0553.03037 Z. Math. Logik Grundlagen Math. 31, 357-362 (1985). MSC: 03F65 34A99 03D60 PDFBibTeX XMLCite \textit{J. Hauck}, Z. Math. Logik Grundlagen Math. 31, 357--362 (1985; Zbl 0553.03037) Full Text: DOI
Pour-El, Marian Boykan; Richards, Ian Noncomputability in models of physical phenomena. (English) Zbl 0493.35057 Int. J. Theor. Phys. 21, 553-555 (1982). MSC: 35L15 35L05 03F60 03D80 34A12 PDFBibTeX XMLCite \textit{M. B. Pour-El} and \textit{I. Richards}, Int. J. Theor. Phys. 21, 553--555 (1982; Zbl 0493.35057) Full Text: DOI
Pour-El, Marian Boykan; Richards, Ian A computable ordinary differential equation which possesses no computable solution. (English) Zbl 0424.68028 Ann. Math. Logic 17, 61-90 (1979). MSC: 03D60 03D99 34A12 03F60 PDFBibTeX XMLCite \textit{M. B. Pour-El} and \textit{I. Richards}, Ann. Math. Logic 17, 61--90 (1979; Zbl 0424.68028) Full Text: DOI
Pour-El, Marian Boykan Abstract computability and its relation to the general purpose analog computer. (Some connections between logic, differential equations and analog computers.). (English) Zbl 0296.02022 Trans. Am. Math. Soc. 199, 1-28 (1974). MSC: 03D99 68U20 03D80 03D60 34A12 PDFBibTeX XMLCite \textit{M. B. Pour-El}, Trans. Am. Math. Soc. 199, 1--28 (1974; Zbl 0296.02022) Full Text: DOI
Aberth, Oliver Computable analysis and differential equations. (English) Zbl 0283.02030 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 47-52 (1970). MSC: 03F99 03D60 34A99 PDFBibTeX XML