It is a modern trend today when formulating the curriculum of a geometric course at the technical universities to start from a real-life problem originated in technical praxis and subsequently to define which geometric theories and which skills are necessary for its solving. Nowadays, interactive and dynamic geometry software plays a more and more…

CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…

Errors indicate learners' misunderstanding and can provide learning opportunities. Providing learning support which is contingent on learners' needs when errors occur is considered effective for developing learners' understanding. The current investigation examines how tutors and tutees interact productively with errors when working on a…

As students develop algebraic reasoning in grades 5 to 9, they learn to recognize patterns and understand expressions, equations, and variables. Linear functions are a focus in eighth-grade mathematics, and by algebra 1, students must make sense of functions that are not linear. This article describes how students worked through a classroom task…

Although many factors affect students' mathematical activity during a lesson, the teacher's selection and implementation of tasks is arguably the most influential in determining the level of student engagement. Mathematical tasks are intended to focus students' attention on a particular mathematical concept and it is the careful developing and…

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…

Mathematics educators have argued for some time that elementary school students are capable of engaging in algebraic thinking and should be provided with rich opportunities to do so. Recent initiatives like the Common Core State Standards for Mathematics (CCSSM) (CCSSI 2010) have taken up this call by reiterating the place of early algebra in…

Elementary school mathematics is increasingly recognized for its crucial role in developing the foundational skills and understandings for algebra. In this article, the author uses a lesson to introduce the concept of "rates"--comparing two different types and units of measure--and how to graph them. Described is the lesson and shared…

The formalism of quantum mechanics includes a rich collection of representations for describing quantum systems, including functions, graphs, matrices, histograms of probabilities, and Dirac notation. The varied features of these representations affect how computations are performed. For example, identifying probabilities of measurement outcomes…

The importance of raising students' competence in mathematics in a developing country such as Kenya cannot be overstated. This is because to produce professionals in areas such as engineering, medicine and accounting requires a good score in mathematics. Students that will further their studies in these areas will find that vectors is prerequisite…

This study aims to investigate plane geometry problem-solving strategies of prospective mathematics teachers using dynamic geometry software (DGS) and paper-and-pencil (PPB) environments after receiving an instruction with GeoGebra (GGB). Four plane geometry problems were used in a multiple case study design to understand the solution strategies…

This article is based on the author's experiences as a second-year teacher at a small private school teaching all sections of Geometry and Algebra 2. Working with the same students in both courses, the author was aware of each one's levels of retention and execution of Algebra 1 concepts before the beginning of the year. The author often noticed…

When thinking about student reasoning and sense making, teachers must consider the nature of tasks given to students along with how to plan to use the tasks in the classroom. Students should be presented with tasks in a way that encourages them to draw connections between algebraic and geometric concepts. This article focuses on the idea that it…

The paper uses digital fabrication as a learning environment to demonstrate the importance of conceptual understanding of one-variable inequalities. These inequalities are hidden within two-variable inequalities used to construct geometric shapes the borders of which are the graphs of basic functions from the secondary mathematics curriculum. As…

Algebra is considered a linchpin for success in secondary mathematics, serving as a gatekeeper to higher-level courses. Access to algebra is also considered an important lever for educational equity. Yet despite its prominence, large-scale examinations of algebra instruction are rare. In my dissertation, I endeavor to better understand what…