Login / Signup
East coast computer algebra day 2005: poster abstracts.
Iyad Ajwa
Published in:
SIGSAM Bull. (2005)
Keyphrases
</>
computer algebra
theorem prover
united states
computer algebra systems
information extraction
automated theorem provers
data sets
machine learning
database
real time
neural network
feature selection
multiscale
data structure
domain knowledge