Abstract geometrical computation 5: embedding computable analysis.
- Published in:
- Natural Computing, 2011, v. 10, n. 4, p. 1261, doi. 10.1007/s11047-010-9229-6
- By:
- Publication type:
- Article
Works matching DE "COMPUTABLE analysis"
Results: 34
1
2
On Constructive number fields and computability of solutions of PDEs.
- Published in:
- Doklady Mathematics, 2017, v. 96, n. 3, p. 580, doi. 10.1134/S1064562417060138
- By:
- Publication type:
- Article
3
Rational vs. Real Computation.
- Published in:
- International Journal of Software & Informatics, 2013, v. 7, n. 4, p. 629
- By:
- Publication type:
- Article
4
Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis.
- Published in:
- Siberian Mathematical Journal, 2018, v. 59, n. 5, p. 763, doi. 10.1134/S0037446618050026
- By:
- Publication type:
- Article
5
On Productiveness and Complexity in Computable Analysis Through Rice-Style Theorems for Real Functions.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 20, p. 3248, doi. 10.3390/math12203248
- By:
- Publication type:
- Article
6
Gesamtheft 29(2).
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 49, doi. 10.1515/dmvm-2021-2902
- Publication type:
- Article
7
Mathematik gebacken bekommen.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 89, doi. 10.1515/dmvm-2021-0033
- Publication type:
- Article
8
Tea Time: Vernetzung über einer Tasse Tee.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 77, doi. 10.1515/dmvm-2021-0029
- By:
- Publication type:
- Article
9
Auf eine kurze Diskussion folgt die Einigung am globalen Minimum: Consensus-Based global Optimization.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 72, doi. 10.1515/dmvm-2021-0028
- By:
- Publication type:
- Article
10
Brigitte Forster-Heinlein – Mathemacherin der Monate Mai und Juni 2021.
- Published in:
- 2021
- Publication type:
- Interview
11
Deutschland ist Vollmitglied bei CIMPA.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 57, doi. 10.1515/dmvm-2021-0023
- Publication type:
- Article
12
News, Tipps und Termine.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 54, doi. 10.1515/dmvm-2021-0022
- By:
- Publication type:
- Article
13
Grußwort der Präsidentin.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 53, doi. 10.1515/dmvm-2021-0021
- By:
- Publication type:
- Article
14
DMV-ÖMG Jahrestagung 2021.
- Published in:
- 2021
- Publication type:
- Proceeding
15
On Computability of Equilibrium States.
- Published in:
- IMRN: International Mathematics Research Notices, 2025, v. 2025, n. 6, p. 1, doi. 10.1093/imrn/rnaf055
- By:
- Publication type:
- Article
16
A computable von Neumann-Morgenstern representation theorem.
- Published in:
- Synthese, 2025, v. 205, n. 5, p. 1, doi. 10.1007/s11229-025-04980-1
- By:
- Publication type:
- Article
17
Algebraic Characterizations of Computable Analysis Real Functions.
- Published in:
- International Journal of Unconventional Computing, 2011, v. 7, n. 4, p. 245
- By:
- Publication type:
- Article
18
Comparing Representations for Function Spaces in Computable Analysis.
- Published in:
- Theory of Computing Systems, 2018, v. 62, n. 3, p. 557, doi. 10.1007/s00224-016-9745-6
- By:
- Publication type:
- Article
19
On the Information Carried by Programs About the Objects they Compute.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 4, p. 1214, doi. 10.1007/s00224-016-9726-9
- By:
- Publication type:
- Article
20
Notes on Computable Analysis.
- Published in:
- Theory of Computing Systems, 2017, v. 60, n. 1, p. 53, doi. 10.1007/s00224-016-9732-y
- By:
- Publication type:
- Article
21
Decidability in Analysis.
- Published in:
- Computing, 2005, v. 75, n. 4, p. 319, doi. 10.1007/s00607-004-0107-x
- By:
- Publication type:
- Article
22
Trustworthy Digital Representations of Analog Information—An Application-Guided Analysis of a Fundamental Theoretical Problem in Digital Twinning †.
- Published in:
- Algorithms, 2023, v. 16, n. 11, p. 514, doi. 10.3390/a16110514
- By:
- Publication type:
- Article
23
On the (semi)lattices induced by continuous reducibilities.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 5, p. 488, doi. 10.1002/malq.200910104
- By:
- Publication type:
- Article
24
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 511, doi. 10.1002/malq.200710015
- By:
- Publication type:
- Article
25
Computability of compact operators on computable Banach spaces with bases.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 345, doi. 10.1002/malq.200710004
- By:
- Publication type:
- Article
26
Computable Riesz representation for the dual of C [0; 1].
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 415, doi. 10.1002/malq.200710008
- By:
- Publication type:
- Article
27
On local non-compactness in recursive mathematics.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 4, p. 323, doi. 10.1002/malq.200510036
- By:
- Publication type:
- Article
28
Effective Borel measurability and reducibility of functions.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 1, p. 19, doi. 10.1002/malq.200310125
- By:
- Publication type:
- Article
29
Is the Mandelbrot set computable?
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 1, p. 5, doi. 10.1002/malq.200310124
- By:
- Publication type:
- Article
30
Minima of initial segments of infinite sequences of reals.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 1, p. 47, doi. 10.1002/malq.200310075
- By:
- Publication type:
- Article
31
Approximate decidability in euclidean spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 34, doi. 10.1002/malq.200310003
- By:
- Publication type:
- Article
32
Computable analysis of a boundary-value problem for the generalized KdV-Burgers equation.
- Published in:
- Mathematical Methods in the Applied Sciences, 2015, v. 38, n. 11, p. 2243, doi. 10.1002/mma.3218
- By:
- Publication type:
- Article
33
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 155, doi. 10.1007/s00224-006-1335-6
- By:
- Publication type:
- Article
34
Unveiling Functional Biomarkers in Schizophrenia: Insights from Region of Interest Analysis Using Machine Learning.
- Published in:
- Journal of Integrative Neuroscience, 2024, v. 23, n. 9, p. 1, doi. 10.31083/j.jin2309179
- By:
- Publication type:
- Article