The following pages link to (Q4240685):
Displaying 5 items.
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← 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)
- (Q2716051) (← links)
- (Q4384625) (← links)