There is no doubt that even in times of CAS a
certain amount of manipulating skills in various fields of math
education is still necessary.
Students need more or less exercising for mastering expanding and
factorizing expressions, finding GCD and LCM, solving triangles,
applying differentiation and integration rules to name only some of the
fields where training of skills might be useful.
We present a respective library developed in Derive reaching from set
theory to calculus, which can support the students (and teachers as
well) offering random generated problems together with the respective