Efficient Type Inference and Coercion in Computer Algebra.

Albrecht Fortenbacher

Published in: DISCO (1990)

Keyphrases

computer algebra
cost effective
computer vision
database
bayesian networks
evolutionary algorithm
special case
theorem prover
data sets
real world
image processing
expert systems
query processing
conditional random fields