Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
abstract machine
|
gptkbp:describes |
computation over real numbers
|
gptkbp:field |
theoretical computer science
real computation |
gptkbp:fullName |
gptkb:Blum–Shub–Smale_machine
|
gptkbp:generalizes |
Technical Machine
|
https://www.w3.org/2000/01/rdf-schema#label |
BSS 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:algebraic_computation_tree
gptkb:real_RAM_model Technical Machine |
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
|