Integrating Computer Algebra and Reasoning through the Type System of Aldor.

Erik Poll Simon J. Thompson

Published in: FroCoS (2000)

Keyphrases

computer algebra
computer algebra systems
theorem prover
knowledge base
reasoning systems
real time
neural network
resource bounded
databases
information systems
e learning
automated reasoning
model based reasoning
rule based reasoning
automated theorem provers