There are 1 repository under reverse-mathematics topic.
Aplicação desenvolvida como resultado do Trabalho de Conclusão do Curso em Ciências Atuariais pela Universidade Federal de Pernambuco. Seu objetivo consiste no cálculo de Provisões Matemáticas em planos de Benefício Definido para Entidades Fechadas de Previdência Complementar.