K. Kusche

According to our database, K. Kusche authored at least 1 paper in 1987.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1987

Implementation of a geometry theorem proving package in SCRATCHPAD II.

K. Kusche, B. Kutzler, H. Mayr

Proceedings of the EUROCAL '87, 1987