“Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores”, SciELO Preprints. 8º de julho de 2025. doi: 10.1590/SciELOPreprints.12152.