1995 East Coast Computer Algebra Day Abstracts.

Robert Grossman

Published in: SIGSAM Bull. (1995)

Keyphrases

computer algebra
theorem prover
united states
computer algebra systems
automated theorem provers
information extraction
multiscale
scientific literature
real time
clustering algorithm
natural language processing
automatic extraction
journal articles