CALYPSO: a computer algebra library for parallel symbolic computation.
Giovanni CesariPublished in: PASCO (1997)
Keyphrases
- computer algebra
- theorem prover
- parallel implementation
- parallel processing
- computer algebra systems
- automated theorem provers
- automated deduction
- distributed memory
- real world
- databases
- digital libraries
- training data
- similarity measure
- shared memory
- decision trees
- parallel computing
- parallel computation
- information retrieval
- neural network