MIT develops algorithms to "solve" non-linear systems as sum of squares | Hacker News Reader