À descoberta de sofware para explorar a programação linear no ensino secundário Artigo de Conferência