Login / Signup
East Coast Computer Algebra day: ECCAD 2002 poster and demonstration abstracts.
William Y. Sit
Published in:
SIGSAM Bull. (2002)
Keyphrases
</>
computer algebra
theorem prover
united states
automated theorem provers
data sets
information extraction
visualization tool
robot programming
information systems
decision trees
scientific literature
journal articles