TY  - RPRT
TI  - Certification for Polynomial Systems via Square Subsystems
AU  - Timothy Duff
AU  - Nickolas Hein
AU  - Frank Sottile
PY  - 2020
UR  - https://arxiv.org/abs/1812.02851
ID  - 1812.02851
ER  -