Abstracts of the 2015 east coast computer algebra day.

Silvana Ilie Arne Storjohann

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

Keyphrases

computer algebra
theorem prover
united states
information extraction
computer algebra systems
domain knowledge
automated theorem provers
real world
data structure
natural language
probability distribution
biomedical literature
scientific literature