Pages that link to "Item:Q2229890"
From MaRDI portal
The following pages link to Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890):
Displaying 4 items.
- The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries (Q286680) (← links)
- Computing the canonical representation of constructible sets (Q294390) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES (Q6192529) (← links)
