Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores. SciELO Preprints, 2025. DOI: 10.1590/SciELOPreprints.12152. Disponível em: https://preprints.scielo.org/index.php/scielo/preprint/view/12152. Acesso em: 13 maio. 2026.