  We describe a prototype of a new experimental GeoGebra command and tool
Discover that analyzes geometric figures for salient patterns, properties, and
theorems. This tool is a basic implementation of automated discovery in
elementary planar geometry. The paper focuses on the mathematical background of
the implementation, as well as methods to avoid combinatorial explosion when
storing the interesting properties of a geometric figure.
