Computer Algebra on MIMD Machine.

Jean-Louis Roch Pascale Sénéchaud Françoise Roch-Siebert Gilles Villard

Published in: ISSAC (1988)

Keyphrases

computer algebra
theorem prover
load balancing
parallel algorithm
automated theorem provers
computer algebra systems
batch processing
real world
data mining
video sequences
support vector
artificial neural networks
shared memory