Distributed Maple: parallel computer algebra in networked environments.
Wolfgang SchreinerChristian MittermaierKároly BósaPublished in: J. Symb. Comput. (2003)
Keyphrases
- computer algebra
- computer algebra systems
- distributed systems
- theorem prover
- master slave
- distributed processing
- parallel data mining
- distributed environment
- cooperative
- multi agent
- load balance
- parallel database systems
- parallel query processing
- parallel computing
- distributed network
- inference rules
- massively parallel
- distributed architecture
- data sets
- parallel execution
- peer to peer
- multiple independent
- scheduling problem
- commodity hardware
- automated theorem provers
- communication cost