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

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…

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…

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…

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…

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…