Implementation of a geometry theorem proving package in SCRATCHPAD II.

K. Kusche B. Kutzler H. Mayr

Published in: EUROCAL (1987)

Keyphrases

geometry theorem proving
information systems
efficient implementation
theorem proving
database
real time
social networks
image processing
website
information technology
software development
implementation details
implementation issues