East coast computer algebra day 2011 abstracts.
John MayPublished in: ACM Commun. Comput. Algebra (2011)
Keyphrases
- computer algebra
- theorem prover
- united states
- computer algebra systems
- information extraction
- information technology
- biomedical literature
- aerial photographs
- evidence based medicine
- automated theorem provers
- training data
- knowledge discovery
- web services
- decision making
- scientific literature
- journal articles
- real time
- database