The following pages link to (Q4234320):
Displaying 5 items.
- Testing elementary function identities using CAD (Q944998) (← links)
- Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey (Q1581129) (← links)
- Algebraic aspects of cut elimination (Q1770974) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- Algebraic cuts (Q4383046) (← links)