Background/purpose: In modern mathematical education, it is important to develop students' ability to understand the fundamental properties of geometric objects deeply. This makes it relevant to study the additivity of the area of triangles as a property inherent in various kinds of quantities and ways of representing it methodologically in the…

Learning to name and notice students' mathematical strengths is a challenging process requiring time and multiple iterations of practice for prospective teachers (PTs) to adopt. Mathematics teacher educators (MTEs) can approximate and decompose the complex practice of naming and noticing students' mathematical strengths so PTs learn to teach…

The work deals with the study of the roots of the characteristic polynomial derived from the Leonardo sequence, using the Newton fractal to perform a root search. Thus, Google Colab is used as a computational tool to facilitate this process. Initially, we conducted a study of the Leonardo sequence, addressing it fundamental recurrence,…

Spreadsheets are a core computational tool for practicing engineers and engineering students. While Microsoft Excel, Google Sheets, and other spreadsheet tools have some differences, numerous formulas, functions, and other tasks are common across versions and platforms. Building upon learning science frameworks showing that interactive activities…

In this study, a description is provided for the development of two undergraduate students' geometric reasoning about the derivative of a complex-valued function with the aid of "Geometer's Sketchpad" ("GSP") during an interview sequence designed to help them characterize the derivative geometrically. Specifically, a particular…

This study suggests a classification model and an e-learning system based on this model for all instructional theories, approaches, models, strategies, methods, and technics being used in the process of instructional design that constitutes a direct or indirect resource for educational technology based on the theory of intuitionistic fuzzy sets…

Mathematical formulae are information objects that can be entered in a computer, visualized, and evaluated. Thus, by the majority of (mostly occasional) users it is also expected that they are transferable through the simple copy-paste procedure. This transfer is particularly interesting when users are involved in tasks that span different…

This monograph provides in-depth mathematical logic as the foundational rationale for the novel and innovative online instructional methodology called the 4A Metric Algorithm. The 4A Metric has been designed to address and meet the meta-competency-based education challenges faced by 21st century students who must now adapt to and learn in a…

In classroom science laboratories, unlike a real science laboratory, the teacher can guide students away from potential dead ends and toward data that are most likely to result in accurate conclusions. Sometimes, though, allowing students to pursue dead ends and to collect "bad" data can provide especially rich learning opportunities.…

Activities for Students appears five times each year in Mathematics Teacher, promoting student-centered activities that teachers can adapt for use in their own classroom. In the course of the activities presented here, students will "look for and make use of structure" by observing algebraic patterns in the power rule and "use…

This design case describes the development of the Invention Coach, an intelligent exploratory learning environment (ELE) for the constructivist activity of Invention. The Invention Coach scaffolds students as they invent mathematical formulas to describe contrasting cases. In this paper, we detail our process and rationale for three key design…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

From the early nineties, most reformed curricula at upper secondary level choose to give functions a major position and a priority over rational expressions and equations of traditional algebra. The goal of this paper is to introduce key challenges resulting from this choice and to discuss the contribution that software environments associating…

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

At grade 7, Common Core's content standards call for the use of long division to find the decimal representation of a rational number. With an eye to reconciling this requirement with Common Core's call for "a balanced combination of procedure and understanding," a more transparent form of long division is developed. This leads to the…