Keyword

computable analysis

Description: A branch of computability theory that studies mathematical analysis and the effective computation of objects and operations on continuous spaces.

Primary topic: Computability, Logic, AI Algorithms (70%)

Wikidata ID: wiki/Q5157264

OpenAlex ID: keywords/computable-analysis

Computable Analysis

2000 · Klaus Weihrauch · Lecture notes in computer science · 1,275

Foundations of Constructive Analysis.

1968 · Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1,270

Qualitative data analysis

2024 · Ben Kei Daniel, Tony Harland, et al. · Routledge eBooks · 1,171

Computability in Analysis and Physics

1989 · Marian Boykan Pour-El, J. Ian Richards · Perspectives in mathematical logic · 925

Computable Analysis : An Introduction

2014 · Klaus Weihrauch · CERN Document Server (European Organization for Nuclear Research) · 762

Varieties of Constructive Mathematics

1987 · Douglas Bridges, Fred Richman · Cambridge University Press eBooks · 547

On the definitions of computable real continuous functions

1957 · Andrzej Grzegorczyk · Fundamenta Mathematicae · 293

Improving failure analysis efficiency by combining FTA and FMEA in a recursive manner

2017 · J.F.W. Peeters, R.J.I. Basten, et al. · Reliability Engineering & System Safety · 288

PDF

Computational complexity of real functions

1982 · Ker-I. Ko, Harvey Friedman · Theoretical Computer Science · 270

Elementary Categories, Elementary Toposes

1992 · Colin McLarty · 256

The wave equation with computable initial data such that its unique solution is not computable

1981 · Marian Boykan Pour-El, Ian Richards · Advances in Mathematics · 243

Discrete-Time Terminal Sliding Mode Control Systems Based on Euler's Discretization

2013 · Shihua Li, Haibo Du, et al. · IEEE Transactions on Automatic Control · 238

An Examination of the Use of Large Language Models to Aid Analysis of Textual Data

2024 · Robert H. Tai, Lillian R. Bentley, et al. · International Journal of Qualitative Methods · 220

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 · Transactions of the American Mathematical Society · 206

PDF

A Tutorial on Computable Analysis

2007 · Vasco Brattka, Peter Hertling, et al. · Springer eBooks · 175

Controlling the quality of metabolomics data: new strategies to get the best out of the QC sample

2014 · Joanna Godzien, Vanesa Alonso-Herranz, et al. · Metabolomics · 174

PDF

A computable ordinary differential equation which possesses no computable solution

1979 · Marian Boylan Pour-el, Ian Richards · Annals of Mathematical Logic · 168

Recursive Real Numbers

1954 · H. G. Rice · Proceedings of the American Mathematical Society · 165

PDF

Deterministic vs. probabilistic earthquake hazards and risks

2001 · Robin K. McGuire · Soil Dynamics and Earthquake Engineering · 160

Control theory of regulatory cascades

1991 · Daniel Kahn, Hans V. Westerhoff · Journal of Theoretical Biology · 160

Foundations of Constructive Mathematics: Metamathematical Studies

1985 · Michael Beeson · Medical Entomology and Zoology · 142

Recursively enumerable vector spaces

1977 · G. Metakides, A. Nerode · Annals of Mathematical Logic · 134

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

1997 · Abbas Edalat · Bulletin of Symbolic Logic · 132

Weihrauch degrees, omniscience principles and weak computability

2011 · Vasco Brattka, Guido Gherardi · Journal of Symbolic Logic · 119

PDF

Effective Choice and Boundedness Principles in Computable Analysis

2011 · Vasco Brattka, Guido Gherardi · Bulletin of Symbolic Logic · 117

PDF

Works count: 1,911

Citation count: 21,780