Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.

Clemens Ballarin Lawrence C. Paulson

Published in: AISC (1998)

Keyphrases

computer algebra
theorem prover
automated theorem provers
real time
qualitative reasoning
database
data sets
information retrieval
computer vision
image processing
objective function
cost reduction
computer algebra systems
feature selection
knowledge representation