Pages that link to "Item:Q1121669"
From MaRDI portal
The following pages link to On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669):
Displaying 9 items.
- Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409) (← links)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang (Q1329538) (← links)
- What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
- (Q3826517) (← links)
- The Case for the Irreducibility of Geometry to Algebra (Q5071691) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)
