The following pages link to (Q3321494):
Displaying 11 items.
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- Compatibility of systems of super differential equations (Q913323) (← links)
- 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)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- (Q2716051) (← links)
- (Q3700870) (← links)
- (Q3765261) (← links)
- (Q3826517) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)