- journal article file
Computable permutations and word problems
Partially answering this question involves ideas from the theory of computability such as Turing degrees and truth-table degrees. We want to make this paper ...
- journal article file
Definability and Decidability Problems in Number Theory
Nov 3, 2016 ... This highly interdisciplinary workshop brought together 51 Mathematicians from. Number Theory, Logic, Algebraic Geometry, Computability, ...
- journal article file
Would real analysis be complete without the fundamental theorem of ...
His current research interest is computability theory. Holger Teismann was ... the algebraic, computable, and constructible numbers. While all these ...
- journal article file
Some Descriptive-Set-Theoretical Problems in Complexity Theory
A partial function /:Z*^2^ is polynomial time computable if its domain. (denoted by Dom(/)) is in P and if there is a polynomial time bounded Turing machine M ...
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Mini-Workshop ...
Galeotti explained the interest of surreals in descriptive set theory and computable analysis. Lehericy presented his work on asymptotic couples, and Krapp on o ...
- journal article
Wavelet and Multiscale Methods | EMS Press
Jun 30, 2008 ... ... theory, or compression techniques and encoding in signal and image processing. ... computability for certain problem classes in numerical ...
- journal article file
Hardness of embedding simplicial complexes in Rd
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
- other
Language equations
Numerous theoretical results in this area have been obtained in recent years, ending with several characterisations of effective computability by equations of a ...
- book chapter
Tameness in geometry and arithmetic: beyond o-minimality | EMS ...
The theory of o-minimal structures provides a powerful framework for the study of geometrically tame structures ... computability results for various ...
- journal article
High order VEM on curved domains | EMS Press
Jun 22, 2019 ... ... computability, is evaluated after applying the projector Π∇ onto the space of polynomials. Numerical experiments confirm the theory. Cite ...