A Para-Functional Programming Interface for a Parallel Computer Algebra Package.

Wolfgang Schreiner

Published in: J. Symb. Comput. (1996)

Keyphrases

computer algebra
programming interface
object oriented
theorem prover
computer algebra systems
parallel processing
neural network
image segmentation
shared memory
massively parallel
parallel computation
learning algorithm
data structure
message passing
software package
automated theorem provers