Login / Signup
Computer Algebra Systems - New strategies and techniques.
Kostas Zotos
Published in:
Appl. Math. Comput. (2008)
Keyphrases
</>
computer algebra systems
computer algebra
theorem prover
machine learning
feature selection
database
data sets
knowledge base
search algorithm
preprocessing
information technology
search strategies