Pages that link to "Item:Q846167"
From MaRDI portal
The following pages link to On protocols for the automated discovery of theorems in elementary geometry (Q846167):
Displaying 17 items.
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- A deductive database approach to automated geometry theorem proving and discovering (Q1581854) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Automatic discovery of theorems in elementary geometry (Q1808565) (← links)
- A mechanical geometer (Q2071524) (← links)
- Some issues on the automatic computation of plane envelopes in interactive environments (Q2228804) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- (Q3700870) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)