East coast computer algebra day 2012 abstracts.

Tony Shaska Daniel E. Steffy

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

Keyphrases

computer algebra
theorem prover
united states
information extraction
scientific literature
evidence based medicine
machine learning
multiscale
biomedical literature
automated theorem provers
databases
data mining
artificial intelligence
high level
expert systems