Publications
Publicações

Publications

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

Leibniz International Proceedings in Informatics, LIPIcs | 2021

R. Matthes

DOI

A coinductive approach to proof search through typed lambda-calculi

Annals of Pure and Applied Logic | 2021

R. Matthes

DOI

Teaching Linear Algebra in Engineering Courses Using Critical Thinking

Open Education Studies | 2021

P. Vasco

DOI

On leonardo pisano hybrinomials

Mathematics | 2021

F. Kürüz

A. Dağdeviren

DOI

(s<inf>1</inf>, s<inf>2</inf>)-Padovan matrix sequence and the case of generalization

Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021

R. Vieira

F.R. Alves

DOI

TEACHER KNOWLEDGE TO MAKE BAR GRAPHS: A PROPOSAL TO IMPROVE PROFESSIONAL DEVELOPMENT

Sofia Costa

Armando Soares

DOI

Os números híbridos de Leonardo

Ciência e Natura | 2021

Milena Mangueira

Francisco Alves

DOI

A GENERALIZAÇÃO DOS QUATÉRNIOS DE NARAYANA

Revista Sergipana de Matemática e Educação Matemática | 2021

Renata Vieira

Francisco Alves

DOI

Didactic Engineering to Teach Leonardo Sequence: A Study on a Complexification Process in a Mathematics Teaching Degree Course

International Electronic Journal of Mathematics Education | 2021

Francisco Alves

Milena Mangueira

Renata Vieira

DOI

As relações recorrentes n-dimensionais de Leonardo

Ciência e Natura | 2021

Renata Vieira

Milena Mangueira

Francisco Alves

DOI

USE OF GOOLE CLASSROOM IN REMOTE LEARNING OF PHYSICS AND CHEMISTRY CONTENTS: A CASE STUDY DURING COVID-19 ISOLATION IN 2021

Cátia Costa

Joaquim Lopes

DOI

Corrigendum to “The Oresme sequence: The generalization of its matrix form and its hybridization process” [Notes on Number Theory and Discrete Mathematics, Vol. 27, 2021, No. 1, 101–111]

Notes on Number Theory and Discrete Mathematics | 2021

Milena Mangueira

Renata Vieira

Francisco Alves

DOI