A hybrid parallel solver for systems of multivariate polynomials using CPUs and GPUs

► Presents a hybrid parallel solver for systems of multivariate constraints. ► Exploits both the CPU and the GPU multicore architectures. ► Achieves up to two orders of magnitude improvement in performance.