The following pages link to (Q3787471):
Displaying 4 items.
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- Traveling wave solutions for nonlinear equations using symbolic computation (Q1609129) (← links)
- On the automatic derivation of a set of geometric formulae (Q1895166) (← links)
