Why not a course on algebra where you build your own (symbolic) computer algebra system? That sounds more approachable than obscure topics like classical mechanics or differential geometry. Or even finding anti-derivatives. It is usually taught in a heuristic way but there's an actual algorithm to do it.