Computer algebra systems and theorems on real roots of polynomials
International Journal of Mathematical Education in Science and Technology, 2010
A computer algebra system is used to derive a theorem on the existence of roots of a quadratic eq... more A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems.
Uploads
Papers by Anthony Aidoo