Deduction with Euler Circles: Diagrams That Hurt.

Dustin P. Calvillo Krista DeLeeuw Russell Revlin

Published in: Diagrams (2006)

Keyphrases

differential equations
hough transform
inference rules
theorem proving
computer algebra
theorem prover
database
artificial intelligence
graphical representation
automated deduction
laplace transform
real time
graphical representations
automated theorem proving
intuitionistic logic