]> A small taxonomy of problems solved by computer algebra systems, designed to "plug into" GAMS O (Symbolic Computation).