keywords norm one penalization; variable selection; algebraic re- duction; convex; optimization; computer algebra