Search Results - "Computable analysis"

A computable von Neumann-Morgenstern representation theorem.

Authors: Lopez-Wild, Josiah^1,2 (AUTHOR) jlopezwi@uci.edu

Source: Synthese. May2025, Vol. 205 Issue 5, p1-25. 25p.

Quantitative Coding and Complexity Theory of Continuous Data: Part I: Motivation, Definition, Consequences.

Authors: Lim, Donghyun Ziegler, Martin

Source: Journal of the ACM. Feb2025, Vol. 72 Issue 1, p1-39. 39p.

On Computability of Equilibrium States.

Authors: Binder, Ilia He, Qiandu Li, Zhiqiang et al.

Source: IMRN: International Mathematics Research Notices. Mar2025, Vol. 2025 Issue 6, p1-35. 35p.

A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations.

Authors: Blanc, Manon Bournez, Olivier

Source: International Journal of Foundations of Computer Science. Nov2025, Vol. 36 Issue 7, p989-1016. 28p.

Subjects: Computable functions, Computable analysis, Ordinary differential equations, Linear differential equations, Polynomial time algorithms, Mathematical functions, Computational complexity

Computing the spectrum and pseudospectrum of infinite-volume operators from local patches.

Authors: Hege, Paul Moscolari, Massimo Teufel, Stefan

Source: Mathematics of Computation; Mar2026, Vol. 95 Issue 358, p833-866, 34p

Critical Measurement Identification Based on Observability and Computability for Distribution Networks.

Authors: Xu, Tao Wang, Kaiqi Meng, He et al.

Source: Journal of Energy Engineering; Feb2025, Vol. 152 Issue 1, p1-13, 13p

The Generalized Matrix Norm Problem.

Authors: Kulmburg, Adrian¹, adrian.kulmburg@tum.de

Source: SIAM Journal on Matrix Analysis & Applications; 2025, Vol. 46 Issue 4, p2226-2252, 27p

Generically computable Abelian groups and isomorphisms.

Authors: Calvert, Wesley Cenzer, Douglas Harizanov, Valentina

Source: Journal of Logic & Computation; Sep2025, Vol. 35 Issue 6, p1-21, 21p

THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR–BENDIXSON THEOREM.

Authors: CIPRIANI, VITTORIO MARCONE, ALBERTO VALENTI, MANLIO

Source: Journal of Symbolic Logic; Jun2025, Vol. 90 Issue 2, p752-790, 39p

Computable formal contexts.

Authors: Wu, Huishan¹ (AUTHOR) huishanwu@blcu.edu.cn

Source: Theoretical Computer Science. Nov2025, Vol. 1054, pN.PAG-N.PAG. 1p.

Subjects: Computable analysis, Computational complexity, Mathematical models, Applied sciences, Recursion theory, Equivalence relations (Set theory)

Comparing Representations for Function Spaces in Computable Analysis.

Authors: Pauly, Arno Steinberg, Florian

Source: Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p557-582, 26p

On the Information Carried by Programs About the Objects they Compute.

Authors: Hoyrup, Mathieu Rojas, Cristóbal

Source: Theory of Computing Systems; Nov2017, Vol. 61 Issue 4, p1214-1236, 23p

Hydrodynamic and symbolic models of computation with advice.

Authors: Cardona, Robert^1,2 robert.cardona@ub.edu

Source: Revista Mathemática Iberoamericana. 2025, Vol. 41 Issue 1, p313-338. 26p.

Notes on Computable Analysis.

Authors: Porter, Michelle Day, Adam Downey, Rodney

Source: Theory of Computing Systems; Jan2017, Vol. 60 Issue 1, p53-111, 59p

Growth of bilinear maps III: decidability.

Authors: Bui, Vuong¹, bui.vuong@yandex.ru

Source: Theoretical Computer Science; Nov2025, Vol. 1056, pN.PAG-N.PAG, 1p

Rational vs. Real Computation.

Authors: Gomaa, Walid^1,2, walid.gomaa@loria.fr

Source: International Journal of Software & Informatics; 2013, Vol. 7 Issue 4, p629-654, 26p

Abstract geometrical computation 5: embedding computable analysis.

Authors: Durand-Lose, Jérôme¹, Jerome.Durand-Lose@univ-orleans.fr

Source: Natural Computing; Dec2011, Vol. 10 Issue 4, p1261-1273, 13p

Algebraic Characterizations of Computable Analysis Real Functions.

Authors: Gomaa, Walid^1,2, walid.gomaa@gmail.com

Source: International Journal of Unconventional Computing; 2011, Vol. 7 Issue 4, p245-272, 28p

Descriptive complexity of topological invariants.

Authors: Amir, Djamel Eddine Hoyrup, Mathieu

Source: Annals of Pure & Applied Logic. Aug2025, Vol. 176 Issue 8, pN.PAG-N.PAG. 1p.

Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation.

Authors: Ning Zhong¹

Source: Theory of Computing Systems; Jun2007, Vol. 40 Issue 4, p155-175, 21p, 1 Illustration