Combining symbolic and numerical solvers to simplify indecomposable systems solving.

Arnaud Fabre, Pascal Schreck

Browse the full SAC paper archive.