The computer algebra system CAS1 for the IBM-PC.

Z. Renbao X. Ling R. Zhaoyang

Published in: SYMSAC (1986)

Keyphrases

computer algebra
theorem prover
international business
computer algebra systems
personal computer
ibm db
real time
blue gene
high level overview
national research council
automated theorem provers
neural network
international conference
theorem proving
cooperative
magnetic tape
learning algorithm