Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Generalizing the Steiner-Lehmus theorem using the Gröbner cover

Autor
Montes, A.; Tomás, R.
Tipus d'activitat
Article en revista
Revista
Mathematics and computers in simulation
Data de publicació
2014-10-01
Volum
104
Pàgina inicial
67
Pàgina final
81
DOI
https://doi.org/10.1016/j.matcom.2013.06.006 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/23574 Obrir en finestra nova
URL
http://www.sciencedirect.com/science/article/pii/S0378475413001961 Obrir en finestra nova
Resum
In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is particularly well suited to obtain the missing hypotheses for a given geometric statement to hold true. We deal with the following problem: to describe the triangles that have at least two bisectors of equal...
Citació
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.
Paraules clau
Automatic deduction, Automatic discovery, Comprehensive Gröbner system, Elementarygeometry, Gröbner cover
Grup de recerca
DCG - Discrete and Combinatorial Geometry

Participants