Login / Signup
On the design of an expert help system for computer algebra systems.
Renato P. dos Santos
Waldir L. Roque
Published in:
CoRR (2014)
Keyphrases
</>
design process
engineering design
databases
neural network
machine learning
artificial intelligence
knowledge based systems
building blocks
design decisions
computer algebra systems
real world
information systems
metadata
case study
user interface
theorem proving