To access the full text documents, please follow this link: http://hdl.handle.net/2117/23574
dc.contributor | Universitat Politècnica de Catalunya. DCCG - Grup de recerca en geometria computacional, combinatoria i discreta |
---|---|
dc.contributor.author | Montes Lozano, Antonio |
dc.contributor.author | Recio Muñiz, Tomás |
dc.date | 2014-10-01 |
dc.identifier.citation | Montes, A.; Tomás, R. Generalizing the Steiner-Lehmus theorem using the Gröbner cover. "Mathematics and computers in simulation", 01 Octubre 2014, vol. 104, p. 67-81. |
dc.identifier.citation | 0378-4754 |
dc.identifier.citation | 10.1016/j.matcom.2013.06.006 |
dc.identifier.uri | http://hdl.handle.net/2117/23574 |
dc.language.iso | eng |
dc.relation | http://www.sciencedirect.com/science/article/pii/S0378475413001961 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Aplicacions informàtiques a la física i l‘enginyeria |
dc.subject | Computational geometry |
dc.subject | Automatic deduction |
dc.subject | Automatic discovery |
dc.subject | Comprehensive Gröbner system |
dc.subject | Elementarygeometry |
dc.subject | Gröbner cover |
dc.subject | Geometria computacional |
dc.title | Generalizing the Steiner-Lehmus theorem using the Gröbner cover |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |