文章基本信息

标题：Discovering Theorems about the Gaussian Mersenne Sequence with the Maple´s Help
本地全文：下载
作者：Francisco Regis Vieira Alves ; Paula Maria Machado Cruz Catarino
期刊名称：Annals. Computer Science Series
印刷版ISSN：1583-7165
电子版ISSN：2065-7471
出版年度：2019
卷号：17
期号：2
页码：169-177
出版社：Mirton Publishing House, Timisoara
摘要：In Brazil, we are interested in the study of second-order recurrent numerical sequences. Such mathematical content has an enormous potential to provide a differentiated mathematical culture for the math teachers in initial training. However, it becomes important that the teacher in Brazil knows properties beyond the traditional and classic numerical sequences, such as the Fibonacci sequence, Lucas sequence, Pell sequence, Jacobsthal sequence, Narayana sequence, etc. Thus, in the present work, we present a proposal of CAS Maple as technological resources in the study and discovery of new theorems derived from the Mersenne sequence. Throughout the work, we show that the software allows the discovery of theorems from matrix properties derived from the Mersenne sequences and the sequence of Gaussian numbers of Mersenne. The research presented in the paper can stimulate the formation of Mathematics teachers in Brazil.
关键词：Mersenne sequence;Gaussian sequence of Mersenne;Theorems;Teacher training;Technology