Speed and data structures in computer algebra systems.

Richard J. Fateman Carl Ponder

Published in: SIGSAM Bull. (1989)

Keyphrases

data structure
computer algebra systems
computer algebra
high speed
real time
image sequences
search algorithm
main memory
theorem prover
similarity measure
bayesian networks
data types
multidimensional data
efficient data structures