Parallel Polynomial Real Root Isolation | AMiner