TeLoDe : Towards Creating an Intelligent Computer Algebra System.

Iraklis Paraskakis

Published in: Intelligent Tutoring Systems (2002)

Keyphrases

input image
computer algebra
theorem prover
computer algebra systems
data mining
information retrieval
database systems
automatically generating
digital images
special case
natural language
cooperative
database
case study
website
knowledge base
decision making
information systems
neural network
databases