Computer algebra on MIMD machine.

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

Published in: SIGSAM Bull. (1989)

Keyphrases

computer algebra
theorem prover
parallel algorithm
computer algebra systems
load balancing
three dimensional
multi agent
batch processing
database
data sets
machine learning
information systems
first order logic
automated theorem provers