Hacker News new | ask | show | jobs
by enedil 1154 days ago
Galois actually proved, that you cannot express the solutions as a set of certain expressions (composition of polynomials, division and taking roots). Using Gröbner basis, it is possible to construct an algorithm that computes results (now, I'm not sure if it's always possible, I'm not an expert. But this distinction is important nonetheless).