Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores. (2025). Em SciELO Preprints. https://doi.org/10.1590/SciELOPreprints.12152