Domínguez Cabrera, S. coq-multivariate-rde-solver [Computer software]. https://zenodo.org/records/14965747