membro de https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 Centro de Inovação e Pesquisa em Educação e Computação - CIPEC Grupo de Pesquisa
publicações selecionadas FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR Sobre a Convergência da Forma Normal de Birkhoff
theses/dissertations advising Inteligência Computacional: Métodos Procedimentais para Pensar, Aprender e Resolver Problemas Intuicionismo no Contexto da Computação Científica No Sentido de uma Lógica Construtiva para a Análise Real Uma Análise Intervalar de Scott Proposta de um Modelo de Computabilidade no Contínuo Sistemas de Informação Contínuos: Uma Abordagem Lógica e Computacional para a matemática Intervalar No Sentido de uma Lógica Construtiva para a Análises Real Teoria das Equações Intervalares Locais Inteligência Computacional- Métodos Procedimentais para Pensar, Aprender e Resolver Problemas Uma Semântica Categórica para a Matemática Intervalar Uma Proposta de uma Abordagem Conjuntista para a Análise Real Uma Proposta para o Tipo de Dados Intervalo
