publicações selecionadas Comparação experimental de critérios para adaptação de granularidade em provas matemáticas