Integrating computational and deduction systems using OpenMath.

Olga Caprotti Arjeh M. Cohen

Published in: Calculemus (1999)

Keyphrases

computational systems
learning systems
systems require
management system
computing systems
databases
artificial intelligence
web pages
knowledge base
image sequences
intelligent systems
theorem proving
computer algebra