Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:alsoKnownAs |
gptkb:BSS_machine
|
| gptkbp:complexity |
NP_R
P_R |
| gptkbp:describedBy |
gptkb:Blum,_Shub,_and_Smale's_1989_paper_"On_a_Theory_of_Computation_and_Complexity_over_the_Real_Numbers:_NP-completeness,_Recursive_Functions_and_Universal_Machines"
|
| gptkbp:field |
theoretical computer science
|
| gptkbp:generalizes |
Technical Machine
|
| https://www.w3.org/2000/01/rdf-schema#label |
Blum–Shub–Smale machine
|
| gptkbp:influenced |
computational models over other fields and rings
|
| gptkbp:introduced |
gptkb:Lenore_Blum
gptkb:Mike_Shub gptkb:Steve_Smale |
| gptkbp:introducedIn |
1989
|
| gptkbp:modelsComputationOver |
real numbers
|
| gptkbp:relatedTo |
real computation
complexity classes over the reals |
| gptkbp:supports |
branching
arithmetic operations on real numbers copying of real numbers |
| gptkbp:usedFor |
studying computation over continuous domains
|
| gptkbp:bfsParent |
gptkb:Lenore_Blum
|
| gptkbp:bfsLayer |
5
|