Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:allowsOperation |
gptkb:division
addition multiplication subtraction comparison to zero |
| gptkbp:introduced |
gptkb:Michael_Ben-Or
|
| gptkbp:introducedIn |
1983
|
| gptkbp:operates |
real numbers
|
| gptkbp:relatedTo |
gptkb:tree
gptkb:Blum–Shub–Smale_machine |
| gptkbp:studiedIn |
gptkb:geometry
|
| gptkbp:usedFor |
analyzing decision problems
|
| gptkbp:usedIn |
gptkb:theoretical_computer_science
|
| gptkbp:uses |
lower bounds for geometric problems
|
| gptkbp:bfsParent |
gptkb:BSS_machine
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
algebraic computation tree
|