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