Google Summer of Code



> My vote is for an implementation of linear programming or
> singular value decomposition or something like that.

How much can you do with LP or SVP in a symbolic context?