“Avanços No Uso De Sistemas De Igualdades E Desigualdades Para Demonstrar O Teorema Das Quatro Cores”. SciELO Preprints, 8º de julho de 2025, https://doi.org/10.1590/SciELOPreprints.12152.