### WG 1 Papers

###### [GO TO THE PAPERS OF OTHER WORKING GROUPS]

**Chair: Viviane Durand-Guerrier (France)
**
vdurand@math.univ-montp2.fr

#### Papers

**WG1 Report: **
Download

**Nadia Azrou**

Proof in Algebra at the University Level: Analysis of Students' Difficulties

**Rolf Biehler & Leander Kempen**

Students` Use of Variables and Examples In Their Transition From Generic Proof To Formal Proof

**Faïza Chellougui & Rahim Kouki
**

Use of Formalism in Mathematical Activity Case Study: The Concept of Continuity in Higher Education

**Renaud Chorlay**

The Making of a Proof-Chain: Epistemological and Didactical Perspectives

**Jenny Christine Cramer**

Possible Language Barriers in Processes of Mathematical Reasoning

**Patrick Gibel**

The Presentation and Setting Up Of a Model of Analysis for Levels of Proof in Mathematics Lessons in Primary Schools

**Denise Grenier**

Research Situations to Learn Logic and Various Types of Mathematical Reasonings and Proofs

**Gila Hanna**

The Width of a Proof

**Margo Kondratieva**

Multiple Proofs and In-Service Teachers’ Training

**Francesca Morselli**

Approaching Algebraic Proof at Lower Secondary School Level: Developing and Testing an Analytical Toolkit

**Eva Müller-Hill**

The Epistemic Status of Formalizable Proof and Formalizability as a Meta-Discursive Rule

**Judith Njomgang Ngansop & Viviane Durand-Guerrier**

0, 999….. = 1 An Equality Questioning The Relationships Between Truth and Validity

**David A. Reid**

Biological Bases for Deductive Reasoning

**Reinert A. Rinvold & Andreas Lorange**

Multimodal Proof in Arithmetic

**Markus Ruppert**

Ways of Analogical Reasoning – Thought Processes in an Example Based Learning Environment

**Ruthmae Sears**

A Case Study of the Enactment of Proof Tasks in High School Geometry

**Annie Selden & John Selden**

Persistence and Self-Efficacy in Proof Construction

**Chrissavgi Triantafillou, Vasiliki Spiliotopoulo, & Despina Potari**

The Nature of Argumentation in School Texts in Different Contexts

#### WG 1 Posters

**Simon Modeste**

Modelling Algorithmic Thinking: The Fundamental Notion Of Problem

###### [GO TO THE PAPERS OF OTHER WORKING GROUPS]