Um engenheiro de software usa muita matemática no trabalho?