- A Strongly-Typed Embeddable Computer Algebra Library.

Manuel Bronstein

Published in: DISCO (1996)

Keyphrases

computer algebra
strongly typed
programming language
theorem prover
computer algebra systems
general purpose
automated theorem provers
neural network
computer vision
cooperative
software engineering
medical images