Automatic discovery

Ò. . . the objective here is to find the missing hypotheses so
that a given conclusion follows from a given incomplete set of hypotheses. . . Ó

D. Kapur: ÒWuÕs method and its application to perspective viewingÓ.

In: Geometric Reasoning. D. Kapur and J.L. Mundy, eds. The MIT press, Cambridge, Ma., 1989.

[Maple Metafile]

orthic triangle

When is it equilateral?

Skaters in love A, B

[Maple Metafile]

Example from GDI