Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:abstract_machine
|
| gptkbp:describes |
computation over real numbers
|
| gptkbp:field |
gptkb:theoretical_computer_science
real computation |
| gptkbp:fullName |
gptkb:Blum–Shub–Smale_machine
|
| gptkbp:generalizes |
gptkb:Technical_Machine
|
| gptkbp:introduced |
gptkb:Lenore_Blum
gptkb:Mike_Shub gptkb:Steve_Smale |
| gptkbp:introducedIn |
1989
|
| gptkbp:publishedIn |
gptkb:Blum,_L.;_Shub,_M.;_Smale,_S._(1989)._'On_a_theory_of_computation_and_complexity_over_the_real_numbers:_NP-completeness,_recursive_functions_and_universal_machines.'_Bulletin_of_the_American_Mathematical_Society.
|
| gptkbp:relatedTo |
gptkb:Technical_Machine
gptkb:algebraic_computation_tree gptkb:real_RAM_model |
| gptkbp:supports |
branching
arithmetic operations on real numbers comparison operations on real numbers storage of real numbers |
| gptkbp:usedFor |
studying complexity over real numbers
|
| gptkbp:bfsParent |
gptkb:Blum–Shub–Smale_machine
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
BSS machine
|