Semialgebraic sets and real binary forms decompositions. - Macarena Ansola; Antonio Díaz-Cano; Maria-Angeles Zurro (J. Symb. Comput., 2021)