A Type-Coercion Problem in Computer Algebra.

Published in: AISMC (1992)

Keyphrases

computer algebra
theorem prover
website
data sets
information retrieval
social networks
computer vision
cooperative
object recognition
knowledge representation