No presente artigo, apresentamos resultados de uma pesquisa realizada com professores da rede pública estadual de um municÃpio de Mato Grosso, em que visamos identificar a articulação de registros de representações semióticas utilizados para dar sustentação à s validações produzidas pelos professores em duas categorias de provas: empÃricas e teóricas. Metodologicamente, buscamos uma aproximação com os pressupostos da Engenharia Didática, com a produção dos dados ocorrendo durante curso de extensão que visava a pesquisa e a formação continuada de professores. Foram identificadas produções distintas, envolvendo essas duas categorias de provas, com emprego do registro em linguagem natural nas provas teóricas e do registro figural nas provas empÃricas, especialmente pela construção de materiais manipuláveis. Esse fato indica a necessidade de buscar a articulação entre as duas categorias de provas nos processos de ensino por meio de um trabalho com multirregistros que busque uma aproximação com os pressupostos da teoria dos registros de representações semióticas.