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…

This paper reports on a study of the instructional situation in high school Geometry that Hsu (2010) called Geometric Calculation in Algebra (GCA). In particular, we conducted a virtual breaching experiment in order to examine the extent to which high school teachers recognized breaches of two norms that we conjectured to describe geometry…

Previous research on preservice teachers' understanding of fractions and algebra has focused on one or the other. To extend this research, we examined 85 undergraduate elementary education majors and middle school mathematics education majors' solutions and solution paths (i.e., the ways or methods in which preservice teachers solve word problems)…

The aim of the study is to conceptualize the technology-aided mathematical modelling process in the frame of cognitive modelling perspective. The grounded theory approach was adopted in the study. The research was conducted with seven groups consisting of nineteen prospective mathematics teachers. The data were collected from the video records of…

This article explores one segment of an extended research and development project that was conducted to better understand the ways online teacher professional development can support teachers' development of deep and connected mathematical understandings. In particular, this article discusses teachers' understandings of the concept of…

In this study, we examined the ability of grades 1-8 pre-service teachers (PSTs) to engage in thinking about patterns, relationships, and functional rules. Using the algebraic habit of mind Building Rules to Represent Functions as a framework, we examined whether and how well our PSTs (n = 18) used seven features of this habit of mind: organize…