The following pages link to On algebraic simplification (Q5664804):
Displayed 5 items.
- Growth estimates for exp-log functions (Q803299) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- A structure theorem for the elementary functions and its application to the identity problem (Q3854622) (← links)
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (Q4038447) (← links)
- Experiments with a symbolic programming system for complex analysis (Q4104803) (← links)