Source: ISSN: 0731-9487 ; Learning Disability Quarterly ; https://hal.science/hal-03776432 ; Learning Disability Quarterly, 2023, 46 (2), pp.92-105. ⟨10.1177/07319487221124088⟩.

Record details

Read More Add to Saved list

Video Recording

Herbert GANGL - Illustrating the mathematics of COGENT: A hyperbolic angle ; Herbert GANGL - Illustrating the mathematics of COGENT: A hyperbolic angle: Summer School 2022 - Cohomology, Geometry and Explicit Number Theory

Authors : Gangl, Herbert; Bastien, Fanny;

Subjects: EEM 2022; Grenoble; Institut Fourier

Source: https://hal.science/hal-04361348 ; 2022.

Record details

Read More Add to Saved list

Report

Proof assistants for undergraduate mathematics education: elements of an a priori analysis

Authors : Bartzia, Evmorfia-Iro; Beffara, Emmanuel; Meyer, Antoine ...

Subjects: teaching proof; logic; reasoning

Source: https://hal.science/hal-04087080 ; 2023.

Record details

Read More Add to Saved list

Conference

Learning of the scientific approach at university : the case of research situations from problems of discrete mathematics

Authors : da Ronch, Mickael; Gandit, Michèle; Gravier, Sylvain ...

Subjects: Reasoning; Proof; Scientific approach for non-specialist studentsShanghai; China

Source: 14th International Congress on Mathematical Educationhttps://hal.science/hal-0328507314th International Congress on Mathematical Education, Jul 2021, Shanghai, China. , 2021, Proceedings

Record details

Read More Add to Saved list

INTRODUCTION TO THE THEORY OF SITUATIONS ; INTRODUCTION TO THE THEORY OF SITUATIONS: Fundamental Concepts of the Didactics of Mathematics

Authors : BESSOT, Annie; Université Grenoble Alpes (UGA)

Subjects: [SHS]Humanities and Social Sciences; [MATH]Mathematics [math]

Source: https://hal.science/hal-04500947 ; 2024.

Record details

Read More Add to Saved list

Conference

MDML: The Mathdoc Digital Mathematics Library

Authors : Bouquet, Alexandre; Bouche, Thierry;

Subjects: DML; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]; [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]Prague; Czech Republic

Source: 12th Conference on Intelligent Computer Mathematics (CICM 2019)https://hal.science/hal-0216721812th Conference on Intelligent Computer

Record details

Read More Add to Saved list

Book

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

Authors : Balacheff, Nicolas; Boy de La Tour, Thierry;

Subjects: Mathematics education research; Aumated theorem proving; Artifical Intelligence

Source: Proof Technology in Mathematics Research and Teaching ; https://hal.science/hal-02333646 ; Hanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in

Record details

Read More Add to Saved list

Academic Journal

Notes for a study of the didactic transposition of mathematical proof

Authors : Balacheff, Nicolas;

Subjects: History of mathematics education; Mathematics education; Didactical transposition

Source: Philosophy of Mathematics Education Journal ; https://hal.science/hal-04018464 ; Philosophy of Mathematics Education Journal, 2024, 41 ;

Record details

Read More Add to Saved list

Report

Chair in applied mathematics OQUAIDO Activity report

Authors : Roustant, Olivier; Le Riche, Rodolphe; Garnier, Josselin ...

Subjects: Statistical modeling; Gaussian processes regression; Model identification/reduction

Source: https://hal.science/hal-03217277 ; [Research Report] Mines Saint-Etienne; Ecole Centrale Lyon; BRGM (Bureau de recherches géologiques et minières); CEA; IFP Energies Nouvelles; Institut de

Record details

Read More Add to Saved list

Academic Journal

From geodesic extrapolation to a variational BDF2 scheme for Wasserstein gradient flows

Authors : Gallouët, Thomas; Natale, Andrea; Todeschi, Gabriele ...

Subjects: Optimal transport; Wasserstein extrapolation; Wasserstein gradient flows

Source: ISSN: 0025-5718 ; Mathematics of Computation ; https://hal.science/hal-03790981 ; Mathematics of Computation, 2024,

Record details

Read More Add to Saved list