The following pages link to (Q4660680):
Displaying 7 items.
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Testing elementary function identities using CAD (Q944998) (← links)
- Kaldor-Kalecki new model on business cycles (Q2097863) (← links)
- A discrete mathematical model for chaotic dynamics in economics: Kaldor's model on business cycle (Q2228801) (← links)
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
