Add to ORKGInternational audienceThis paper presents a tool for constructing and evaluating deductive mathematical proofs using formal argumentation called CLEAR (Constructing and evaLuating dEductive mAthematical pRoofs). This tool has a twofold objective: (i) allows students to construct deductive proofs collaboratively using a structured argumentative debate; and (ii) helps instructors to evaluate these proofs and all intermediary steps in order to provide constructive feedbacks to students. This paper focuses on objective (i) and presents results of an experimental study conducted with undergraduate students. The behavior of students during the construction of deductive proofs is analyzed to show whether formal argumentation frameworks allow stude...
Proof is an essential part of mathematical practice both for mathematicians and for students at the ...
The accelerated pace of knowledge generation requires engineering students to develop different type...
Although students of all levels of education face serious difficulties with proof, there is limited ...
Learning deductive proofs is fundamental for mathematics education. Yet, many students have difficul...
L'apprentissage des preuves mathématiques déductives est fondamental dans l'enseignement des mathéma...
International audienceThis chapter arose out of discussions of the working group on argumentation, l...
Deductive reasoning is an area related to argumentation where machine-based techniques, notably th...
Formal proof is a deductive process beginning from some explicitly quantified definitions and other ...
It is generally agreed among researchers and teachers that students have difficulty understanding th...
Mathematicians and mathematics education researchers have consistently asserted the crucial and mult...
In this paper we classify student’s proving level and design an interactive help system (IHS) corres...
Our goal in this paper is to identify the different argumentative activities associated with the not...
M.Ed.Recently there has been renewed interest in proof and proving in schools worldwide. However, ma...
Abstract. Since two decades, mathematical proof has been at the core of an active debate in the comm...
This paper presents preliminary results from the first year of a multi-year research projecti explor...
Proof is an essential part of mathematical practice both for mathematicians and for students at the ...
The accelerated pace of knowledge generation requires engineering students to develop different type...
Although students of all levels of education face serious difficulties with proof, there is limited ...
Learning deductive proofs is fundamental for mathematics education. Yet, many students have difficul...
L'apprentissage des preuves mathématiques déductives est fondamental dans l'enseignement des mathéma...
International audienceThis chapter arose out of discussions of the working group on argumentation, l...
Deductive reasoning is an area related to argumentation where machine-based techniques, notably th...
Formal proof is a deductive process beginning from some explicitly quantified definitions and other ...
It is generally agreed among researchers and teachers that students have difficulty understanding th...
Mathematicians and mathematics education researchers have consistently asserted the crucial and mult...
In this paper we classify student’s proving level and design an interactive help system (IHS) corres...
Our goal in this paper is to identify the different argumentative activities associated with the not...
M.Ed.Recently there has been renewed interest in proof and proving in schools worldwide. However, ma...
Abstract. Since two decades, mathematical proof has been at the core of an active debate in the comm...
This paper presents preliminary results from the first year of a multi-year research projecti explor...
Proof is an essential part of mathematical practice both for mathematicians and for students at the ...
The accelerated pace of knowledge generation requires engineering students to develop different type...
Although students of all levels of education face serious difficulties with proof, there is limited ...