An equational deductive system for the differential and integral calculus.

Rolando Chuaqui Patrick Suppes

Published in: Conference on Computer Logic (1988)

Keyphrases

theorem proving
proof procedure
automated theorem proving
theorem prover
automated deduction
computer algebra
explanation based learning
abductive inference
data sets
databases
web services
first order logic
qualitative spatial reasoning
hypothesis formation
equational theories