Abstracts of the 2013 east coast computer algebra day.

Daniel S. Roche

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

Keyphrases

computer algebra
theorem prover
united states
information extraction
computer algebra systems
automated theorem provers
databases
knowledge base
ground truth
evidence based medicine
reinforcement learning
multi agent systems
data sets
text mining
database systems
scientific literature
data mining
real world