Combinatorial proofs of binomial identities involve establishing an identity by arguing that each side enumerates a certain set of outcomes. In this paper, we share results from interviews with experienced provers (mathematicians and upper-division undergraduate mathematics students) and examine one particular aspect of combinatorial proof, namely…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

This work is devoted to exploring proof abilities in Graph Theory of undergraduate students of the Degree in Computer Engineering and Technology of the University of Seville. To do this, we have designed a questionnaire consisting of five open-ended items that serve as instrument to collect data concerning their proof skills when dealing with…

We report findings from a longitudinal study of students' beliefs about empirical arguments and mathematical proof. We consider the influence of an 'Introduction to Proof (ITP)' course and the consequences of the observed changes in behaviour. Consistent with recent literature, our findings suggest that a majority of the thirty-eight undergraduate…

Working with approximations is a common practice in physics. This paper presents an exploratory study of student understanding of some of the elementary aspects of approximations encountered in college physics. For this purpose, a questionnaire (a set of 14 multiple-choice questions) was developed to probe how students dealt with these aspects in…

The Students' Approaches to Learning (SAL) tradition comprehends an approach to learning as a combination of students' aims for learning and the processes used to achieve them. The tradition values a deep approach to learning; this is the case also in the context of university mathematics, where a deep approach is seen as a requirement for…

Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

In this paper, we propose an elementary proof of Niven's Theorem in which the tangent function will have a primary role.

We report on a series of task-based interviews in which nine mathematicians were asked to evaluate a series of six mathematical arguments, purportedly produced either by fellow mathematicians or undergraduate students. In this paper, we attend to the role of context in mathematicians' responses, leading to four themes in expectations when…

This paper reports on themes that arose in an investigation of university lecturers' views on the teaching of linear algebra. This focus on themes was the initial part of a study concentrating on four areas: What is important to teach in a first course in linear algebra? Are there teaching methods which are particularly suited for such a course?…

In this note, we report on an implementation of discovery-oriented problems in courses on Real Analysis and Differential Equations. We explain a type of task design that gives students the opportunity to conjecture, refute and prove. What is new is that the complexity in our problems is limited and thus the tasks can also be used in homework…

Concept inventories have become increasingly common in STEM disciplines as a means of assessing student conceptual understanding on a given topic, and overall they have led to significant reform in the teaching and learning of content in their respective disciplines. In mathematics, the use of the Calculus Concept Inventory seems, anecdotally and…

Educational success is mainly based on the formation of effective learners. Students' learning is affected by several variables, such as intelligence, motivation, teaching and learning approaches. Research showed that approaches to learning are among one of the most important variables that influence students' learning quality. They are related to…

Dr RL Moore was undoubtedly one of the finest mathematics teachers ever. He developed a unique teaching method designed to teach his students to think like mathematicians. His method was not designed to convey any particular mathematical knowledge. Instead, it was designed to teach his students to think. Today, his method has been modified to…

A deeper learning of the properties and applications of the derivative for the study of functions may be achieved when teachers present lessons within a highly graphic context, linking the geometric illustrations to formal proofs. Each concept is better understood and more easily retained when it is presented and explained visually using graphs.…