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,…

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…

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…

What follows are several investigations involving string musical instruments developed for and used in a "Science of Sound & Light" course. The experiments make use of a guitar, orchestral string instruments and data collection and graphing software. They are designed to provide students with concrete examples of how mathematical formulae, when…

An outbox of a quadrilateral is a rectangle such that each vertex of the given quadrilateral lies on one side of the rectangle and different vertices lie on different sides. We first investigate those quadrilaterals whose every outbox is a square. Next, we consider the maximal outboxes of rectangles and those quadrilaterals with perpendicular…

The fun thing about teaching measurement topics is allowing students to create three-dimensional objects from cardboard or paper and then to use them to calculate volume and surface area. The project described in this article is one that author Shafer has used for many years at the high school and college levels to reinforce the concepts of volume…

Dynamic geometry software (DGS), such as Geometer's Sketchpad[TM], Cabri Geometry[TM], and GeoGebra[TM] has become a widely used classroom technology. The broad availability of DGS has given students the opportunity to engage in many aspects of reasoning and proof, including exploration, conjecture development, and proof, in its many roles. By…

The assessment of knowledge and learning progress in the context of game-based learning requires novel, noninvasive, and embedded approaches. In the present paper, we introduce a mathematical framework which relates the (problem solution) behavior of a learner in the game context to the learner's available and lacking competencies. We argue that a…

This article describes one classroom activity in which the author simulates the Newtonian gravity, and employs the Euclidean Geometry with the use of new technologies (NT). The prerequisites for this activity were some knowledge of the formulae for a particle free fall in Physics and most certainly, a good understanding of the notion of similarity…

Online discussion forums provide open workspace allowing learners to share information, exchange ideas, address problems and discuss on specific themes. But the substantial impediment to its promotion as effective e-learning facility lies in the continuously increasing messages but with discrete and incoherent structure as well as the loosely-tied…