A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm.
B. David SaundersHong R. LeeS. Kamal AbdaliPublished in: ISSAC (1989)
Keyphrases
- parallel implementation
- decomposition algorithm
- decomposition method
- working set
- parallel computation
- equality constraints
- working set selection
- parallel implementations
- recognition algorithm
- parallel computers
- real time
- distributed memory
- machine learning
- human computer interaction
- embedded processors
- cpu implementation