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