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 4 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)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
