A Type System for Computer Algebra.

Philip S. Santas

Published in: DISCO (1993)

Keyphrases

computer algebra
theorem prover
data mining
decision making
social networks
multiscale
cooperative
artificial neural networks
wireless sensor networks
type checking