Exact solution of the L2 model approximation problem, using computer algebra
1st-order necessary conditions -> set of polynomial equations ->
Groebner basis methods -> exponential complexity -> hopeless.
BUT system theory -> simplification + finite no of minima ->
global optimum guaranteed, & some structure apparent ->
maybe not completely hopeless. See you there.