On protocols for automatic discovery in elementary geometry

with G. Dalzotto, A. Montes

Tomas Recio

Universidad de Cantabria

tomas.recio@unican.es
www.recio.tk

>

On protocols...

Automatic discovery

Definition of FSDIC

Example

Existence

Interpretation

Discovery revisited

Introducing non-degeneracy hypotheses

One more example of discovery

Montes'method