Pages that link to "Item:Q676849"
From MaRDI portal
The following pages link to Mechanical geometry theorem proving based on Gröbner bases (Q676849):
Displaying 6 items.
- Computational algebraic geometry of projective configurations (Q1176393) (← links)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang (Q1329538) (← links)
- Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- (Q4234211) (← links)
- (Q4935821) (← links)