The following pages link to (Q4234211):
Displaying 11 items.
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- Vectorial equations solving for mechanical geometry theorem proving (Q1582388) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Automated production of traditional proofs in solid geometry (Q1891257) (← links)
- Geometric characterization of data sets with unique reduced Gröbner bases (Q2002131) (← links)
- Theorem proving in infinitesimal geometry (Q2720298) (← links)
- (Q3838770) (← links)
- (Q5315154) (← links)
- Automated Deduction in Geometry (Q5902030) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)