PICOMATH-80™: an even smaller computer algebra package.

David R. Stoutemyer

Published in: SIGSAM Bull. (1980)

Keyphrases

computer algebra
theorem prover
computer algebra systems
software package
automated theorem provers
databases
neural network
genetic algorithm
digital libraries