Pages that link to "Item:Q1701040"
From MaRDI portal
The following pages link to Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040):
Displaying 10 items.
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System (Q3102736) (← links)
- (Q3571256) (← links)
- (Q3838770) (← links)
- (Q4234211) (← links)
- (Q5315154) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)