Spreadsheet computations in computer algebra.

S. Kamal Abdali Guy W. Cherry Neil Soiffer

Published in: SIGSAM Bull. (1992)

Keyphrases

computer algebra
theorem prover
microsoft excel
computer algebra systems
automated theorem provers
databases
real time
neural network
multimedia
case study
multiscale
search algorithm
management system
first order logic