The following pages link to (Q3571256):
Displaying 5 items.
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- (Q3483266) (← links)
- Complex brackets, balanced complex differences, and applications in symbolic geometric computing (Q5301621) (← links)