Montes'method
Automatic discovery of geometry theorems using minimal canonical comprehensive Gršbner systems Antonio Montes, Tomas Recio (ADG 2006, MEGA 2007)
![[Maple Metafile]](images/TR57.gif){kind=small}
![[Maple Metafile]](images/TR58.gif)
![[Maple Metafile]](images/TR59.gif)
![[Maple Metafile]](images/TR60.gif)
![[Maple Metafile]](images/TR61.gif)
![[Maple Metafile]](images/TR62.gif){kind=small}