To access the full text documents, please follow this link: http://hdl.handle.net/2117/23574

Generalizing the Steiner-Lehmus theorem using the Gröbner cover
Montes Lozano, Antonio; Recio Muñiz, Tomás
Universitat Politècnica de Catalunya. DCCG - Grup de recerca en geometria computacional, combinatoria i discreta
Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Aplicacions informàtiques a la física i l‘enginyeria
Computational geometry
Automatic deduction
Automatic discovery
Comprehensive Gröbner system
Elementarygeometry
Gröbner cover
Geometria computacional
info:eu-repo/semantics/publishedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Abanades, Miguel A.; Botan, Francisco; Montes Lozano, Antonio; Recio Muñiz, Tomás
Manubens Ferriol, Montserrat; Montes Lozano, Antonio
 

Coordination

 

Supporters