On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines (Q4729768): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q486673
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Stephen Smale / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the real spectrum of a ring and its application to semialgebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complex analytic dynamics on the Riemann sphere / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariant sets under iteration of rational functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3893911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3247126 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diophantine sets over polynomial rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diophantine Sets Over Z[ T ] / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Diophantine Problem for Polynomial Rings and Fields of Rational Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic approximations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational complexity of real functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving systems of polynomial inequalities in subexponential time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Harvey Friedman's research on the foundations of mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability Over Arbitrary Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Register machine proof of the theorem on exponential diophantine representation of enumerable sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological complexity of a root finding algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3745276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4153600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4160889 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124327 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetic on curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Betti Numbers of Real Varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability and Noncomputability in Classical Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3694703 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable Algebra, General Theory and Theory of Computable Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving simultaneous positivity of linear forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factoring numbers in O(log n) arithmetic steps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability of Recursive Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4197343 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the topology of algorithms. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial response maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower bounds for algebraic decision trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3690212 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5792485 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5511997 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3922158 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of linear programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alfred Tarski's elimination theory for real closed fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3883493 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1090/s0273-0979-1989-15750-9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2071846104 / rank
 
Normal rank

Latest revision as of 10:38, 30 July 2024

scientific article; zbMATH DE number 4114604
Language Label Description Also known as
English
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
scientific article; zbMATH DE number 4114604

    Statements

    On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines (English)
    0 references
    0 references
    0 references
    0 references
    1989
    0 references
    computation theory
    0 references
    computation over an ordered ring
    0 references
    computation over the reals
    0 references
    universal machine
    0 references
    recursive function
    0 references
    NP-completeness
    0 references
    complements of Julia sets
    0 references
    undecidable sets
    0 references
    4-feasibility problem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references