A. Aberdein, J. Ian, and . Dove, The argument of mathematics, 2013.

P. Baroni, F. Cerutti, M. Giacomin, and G. Guida, Afra: Argumentation framework with recursive attacks, International Journal of Approximate Reasoning, vol.52, issue.1, pp.19-37, 2011.

G. Boella, M. Dov, L. Gabbay, S. Van-der-torre, and . Villata, Support in abstract argumentation, COMMA'10, pp.40-51, 2010.

N. Boudjani, A. Gouaich, and S. Kaci, Debate-based learning game for constructing mathematical proofs, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp.36-45, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01799456

J. Brooke, Sus-a quick and dirty usability scale. Usability evaluation in industry, vol.189, pp.4-7, 1996.

C. Cayrol, A. Cohen, and M. , Towards a new framework for recursive interactions in abstract bipolar argumentation, 6th International Conference on Computational Models of Argument (COMMA 2016), p.191, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01474908

C. Cayrol and M. , Coalitions of arguments: A tool for handling bipolar argumentation frameworks, International Journal of Intelligent Systems, vol.25, issue.1, pp.83-109, 2010.

C. Cayrol and M. , Bipolarity in argumentation graphs: Towards a better understanding. IJAR, vol.54, pp.876-899, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01123535

A. Cohen, S. Gottifredi, A. J. García, and G. R. Simari, An approach to abstract argumentation with recursive attack and support, Journal of Applied Logic, vol.13, issue.4, pp.509-533, 2015.

D. Phan-minh, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial intelligence, vol.77, issue.2, pp.321-357, 1995.

V. Durand-guerrier, P. Boero, N. Douek, S. Susanna, D. Epp et al., Argumentation and proof in the mathematics classroom, Proof and proving in mathematics education, pp.349-367, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00804050

G. Hanna and M. De-villiers, International Program Committee, et al. Icmi study 19: Proof and proving in mathematics education, ZDM, vol.40, issue.2, pp.329-336, 2008.

T. Hedge, Teaching and learning in the language classroom, vol.106, 2001.

J. Kirkpatrick, The effects of argumentation on student motivation in mathematics, 2016.

S. Modgil and H. Prakken, The ASPIC+ framework for structured argumentation: a tutorial, Argument & Computation, vol.5, issue.1, pp.31-62, 2014.

F. Nouioua and V. Risch, Bipolar argumentation frameworks with specialized supports, ICTAI'10, pp.215-218, 2010.

. Oecd and . Pisa, , vol.I, 2015.

N. Oren and T. J. Norman, Semantics for evidence-based argumentation, COMMA'08, pp.276-284, 2008.

D. Pastre, Automated theorem proving in mathematics, Annals of Mathematics and Artificial Intelligence, vol.8, issue.3-4, pp.425-447, 1993.

A. Pease, K. Budzynska, J. Lawrence, and C. Reed, Lakatos games for mathematical argument, Computational Models of Argument -Proceedings of COMMA 2014, Atholl Palace Hotel, pp.59-66, 2014.

A. Pease, J. Lawrence, K. Budzynska, J. Corneli, and C. Reed, Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, Artificial Intelligence, vol.246, pp.181-219, 2017.

B. Pedemonte, Argumentation and algebraic proof, ZDM, vol.40, issue.3, pp.385-400, 2008.

C. Villani and C. Torossian, 21 mesures pour enseignement des mathématiques, 2018.