Thematic program in computer algebra: July 1 - Dec 31, 2015.

George Labahn Stephen M. Watt

Published in: ACM Commun. Comput. Algebra (2016)

Keyphrases

computer algebra
theorem prover
hong kong
computer programs
computer algebra systems
e learning
test cases
automated theorem provers
database
data mining
social networks
computer vision
website
expert systems
inference rules
advanced research projects agency