The maple symbolic computation system.

Bruce W. Char Keith O. Geddes Gaston H. Gonnet

Published in: SIGSAM Bull. (1983)

Keyphrases

automated deduction
imperative programs
computer algebra systems
bayesian networks
intelligent agents
integrity constraints
solving problems
computer algebra