“Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores” (2025) SciELO Preprints [Preprint]. doi:10.1590/SciELOPreprints.12152.