“Avanços No Uso De Sistemas De Igualdades E Desigualdades Para Demonstrar O Teorema Das Quatro Cores”. SciELO Preprints, julho 8, 2025. Acesso em maio 13, 2026. https://preprints.scielo.org/index.php/scielo/preprint/view/12152.