Does galois theory actually have some involvement in solving a solvable quintic, or does it just tell you whether it IS solvable or not?
When the quintic is solvable, one can use the structure of the Galois group to explicitely construct the solutions. It is an immensely impractical task, though!
GAP has a package called RadiRoot which does precisely this.
|show 2 more comments|