Source: ISSN: 0246-9367 ; Recherches en Didactique des Mathematiques ; https://hal.science/hal-04028314 ; Recherches en Didactique des Mathematiques, 2024, Numéro spécial, pp.15-59.

Record details

Read More Add to Saved list

Academic Journal

Does Conceptual Transparency in Manipulatives Afford Place-Value Understanding in Children at Risk for Mathematics Learning Disabilities?

Authors : Lafay, Anne; Osana, Helena; Levin, Joel ...

Subjects: place value; manipulatives; affordance

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

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

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

Academic Journal

Formative assessment and inquiry-based in mathematics: a case study ; Evaluation formative et démarche d'investigation en mathématiques : une étude de cas

Authors : Lepareur, Céline; Gandit, Michèle, Marie Renée; Grangeat, Michel ...

Subjects: Formative assessment; self-regulation; collaborative work

Source: ISSN: 1956-3485.

Record details

Read More Add to Saved list

Video Recording

Vincent Beffara - Quelques questions autours des marches aléatoires ; : Workshops of Mathematics Magistère 2016 ; Vincent Beffara - Quelques questions autours des marches aléatoires: Séminaire du Magistère de Mathématiques 2016

Authors : Beffara, Vincent; Bastien, Fanny;

Subjects: workshops of mathematics magistère 2016; séminaires du magistère de mathématiques 2016; grenoble

Source: https://hal.science/medihal-01346466 ; 2016.

Record details

Read More Add to Saved list

Video Recording

Emmanuel Trélat - Tout est sous contrôle ; : Workshops of Mathematics Magistère 2016 ; Emmanuel Trélat - Tout est sous contrôle: Séminaires du Magistère de Mathématiques 2016

Authors : Trélat, Emmanuel; Bastien, Fanny;

Subjects: workshops of mathematics magistère 2016; séminaires du magistère de mathématiques 2016; grenoble

Source: https://hal.science/medihal-01385098 ; 2016.

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

Book

Bridging knowing and proving in mathematics An essay from a didactical perspective

Authors : Balacheff, Nicolas;

Subjects: Didactics of Mathematics; Mathematics Education; Mathematical Proof

Source: Explanation and Proof in Mathematics ; https://hal.science/hal-00964926 ; Hanna G., Jahnke H. N., Pulte H. Explanation and Proof in

Record details

Read More Add to Saved list

Dissertation/ Thesis

Effect of the jigsaw method on motivation, self-regulation and performance in mathematics : a longitudinal research in vocational high school ; Effet de la méthode en classe puzzle sur la motivation, l’autorégulation et les performances en mathématiques : une recherche longitudinale en lycée professionnel

Authors : Riant, Mathilde;

Subjects: Cooperative learning; Jigsaw classroom; Motivation

Source: https://theses.hal.science/tel-03857265 ; Education. Université Grenoble Alpes [2020-.], 2022. Français. ⟨NNT : 2022GRALH006⟩.

Record details

Read More Add to Saved list

Book

Toward a digital mathematics library?

Authors : Bouche, Thierry;

Subjects: DML; Digital mathematics library; electronic publishing of mathematics

Source: Communicating mathematics in the digital era ; https://hal.science/hal-00347682 ; Jon M. Borwein, Eugénio M. Rocha, and José F. Rodrigues. Communicating

Record details

Read More Add to Saved list

Conference

Mathematics, Hybrid computing and HPC

Authors : Cottet, Georges-Henri;

Subjects: [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]Fukuoka; Japan

Source: Forum "Math-for-Industry" 2013 :The Impact of Applications on Mathematics ; https://hal.science/hal-00936330 ; Forum "Math-for-Industry" 2013 :The Impact of Applications

Record details

Read More Add to Saved list

Conference

Kalman-based approaches for online estimation of bioreactor dynamics from fluorescent reporter measurements

Authors : Asswad, Rand; Cinquemani, Eugenio; Gouzé, Jean-Luc ...

Subjects: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]; [INFO.INFO-BT]Computer Science [cs]/Biotechnology; [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Stockholm; SwedenStockholm, Sweden

Source: European Control Conference ; https://hal.science/hal-04556535 ; European Control Conference, Jun 2024, Stockholm, Sweden. pp.1-6

Record details

Read More Add to Saved list

Academic Journal

Minimization of differential equations and algebraic values of $E$-functions

Authors : Bostan, Alin; Rivoal, Tanguy; Salvy, Bruno ...

Subjects: Linear differential operators; Minimization; Factorization

Source: ISSN: 0025-5718 ; Mathematics of Computation ; https://hal.science/hal-03771150 ; Mathematics of Computation, 2024, 93, pp.1427-1472.

Record details

Read More Add to Saved list

Academic Journal

FPT algorithms for packing k-safe spanning rooted sub(di)graphs

Authors : Bessy, Stéphane; Hörsch, Florian; Maia, Ana Karolinna ...

Subjects: Digraphs; Packing problems; Arborescences

Source: ISSN: 0166-218X ; Discrete Applied Mathematics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04352990 ; Discrete Applied Mathematics, 2024,

Record details

Read More Add to Saved list

Conference

Some thoughts on the near-future Digital Mathematics Library

Authors : Bouche, Thierry;

Subjects: Digital mathematics library; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]Birmingham; United Kingdom

Source: Towards Digital Mathematics Library ; DML 2008 workshop ; https://hal.science/hal-00347712 ; DML 2008 workshop, Jul 2008, Birmingham, United Kingdom. pp.3-15

Record details

Read More Add to Saved list

Academic Journal

Update on Recent Global Digital Mathematics Library (GDML) Developments

Authors : Bouche, Thierry;

Subjects: Digital Mathematics Library; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]; [SHS.INFO]Humanities and Social Sciences/Library and information sciences

Source: ISSN: 1726-751X.

Record details

Read More Add to Saved list

Conference

Digital Mathematics Libraries: The Good, the Bad, the Ugly

Authors : Bouche, Thierry;

Subjects: NUMDAM; CEDRAM; mini-DMLBirmingham; United Kingdom

Source: 7th International Conference, MKM 2008https://hal.science/hal-003477057th International Conference, MKM 2008, Jul 2008, Birmingham,, United Kingdom. pp.331-332,

Record details

Read More Add to Saved list

Book

Computer-based learning environment in mathematics

Authors : Balacheff, Nicolas; Kaput, James, J.;

Subjects: artificial intelligence; mathematical modeling; distance learning

Source: International Handbook of Mathematics Education ; https://hal.science/hal-01775249 ; Alan Bischop. International Handbook of Mathematics

Record details

Read More Add to Saved list

Academic Journal

The role of the researcher’s epistemology in mathematics education: an essay on the case of proof.

Authors : Balacheff, Nicolas;

Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]; [SHS.EDU]Humanities and Social Sciences/Education

Source: ZDM International Journal on Mathematics Education ; https://hal.science/hal-01675739 ; ZDM International Journal on Mathematics

Record details

Read More Add to Saved list

Academic Journal

Digital Mathematics Libraries: The Good, the Bad, the Ugly

Authors : Bouche, Thierry;

Subjects: Digital mathematics library; Electronic publishing of mathematics; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]

Source: ISSN: 1661-8270.

Record details

Read More Add to Saved list

Academic Journal

Weyl’s law for singular Riemannian manifolds

Authors : Chitour, Yacine; Prandi, Dario; Rizzi, Luca ...

Subjects: [MATH.MATH-MG]Mathematics [math]/Metric Geometry [math.MG]; [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]

Source: ISSN: 0021-7824 ; Journal de Mathématiques Pures et Appliquées ; https://hal.science/hal-01902740 ; Journal de Mathématiques Pures et Appliquées, 2024, 181, pp.113-151.

Record details

Read More Add to Saved list

Academic Journal

Topological reconstruction of compact supports of dependent stationary random variables

Authors : Kallel, Sadok; Louhichi, Sana;

Subjects: Hausdorff distance; stationary dependent random variables; mixing Markov chain

Source: ISSN: 0001-8678 ; Advances in Applied Probability ; https://hal.science/hal-04366871 ; Advances in Applied Probability, In press, 56 (4.

Record details

Read More Add to Saved list

Academic Journal

Total Effects with Constrained Features

Authors : Borgonovo, Emanuele; Plischke, Elmar; Prieur, Clémentine ...

Subjects: Feature Importance; Constrained Features; Winding Stairs

Source: ISSN: 0960-3174.

Record details

Read More Add to Saved list

Academic Journal

Stabilization of a Rayleigh beam with collocated piezoelectric sensor/actuator

Authors : Bai, Yubo; Prieur, Christophe; Wang, Zhiqiang ...

Subjects: Rayleigh beam; piezoelectric actuator; polynomial decay

Source: ISSN: 2163-2480 ; Evolution Equations and Control Theory ; https://hal.science/hal-04316771 ; Evolution Equations and Control Theory, 2024, 13 (1), pp.67-97. ⟨10.3934/eect.2023036⟩ ;

Record details

Read More Add to Saved list

Academic Journal

Asynchronous Load Balancing and Auto-scaling: Mean-Field Limit and Optimal Design

Authors : Anselmi, Jonatha;

Subjects: serverless computing; asymptotic optimality; Knative

Source: ISSN: 1063-6692 ; IEEE/ACM Transactions on Networking ; https://hal.science/hal-04467913 ; IEEE/ACM Transactions on Networking, 2024, pp.1-12. ⟨10.1109/TNET.2024.3368130⟩.

Record details

Read More Add to Saved list

Academic Journal

André Rouchier : d’un siècle à l’autre, le projet demeure

Authors : Balacheff, Nicolas; Rogalski, Janine;

Subjects: didactique des mathématiques; revue; didactique de l’informatique

Source: ISSN: 0246-9367 ; Recherches en Didactique des Mathematiques ; https://hal.science/hal-04482566 ; Recherches en Didactique des Mathematiques, 2024, Synthesis and perspectives in didactics of

Record details

Read More Add to Saved list

Academic Journal

Connected greedy colourings of perfect graphs and other classes: the good, the bad and the ugly

Authors : Beaudou, Laurent; Brosse, Caroline; Defrain, Oscar ...

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]

Source: ISSN: 1462-7264.

Record details

Read More Add to Saved list

Conference

Dynamic variable step size LMS adaptation algorithms---Application to adaptive feedforward noise attenuation

Authors : Airimitoaie, Tudor-Bogdan; Vau, Bernard; Bismor, Dariusz ...

Subjects: [SPI.AUTO]Engineering Sciences [physics]/Automatic; [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Stockholm; SwedenStockholm, Sweden

Source: ECC 2024 - 22nd European Control Conference ; https://hal.science/hal-04509676 ; ECC 2024 - 22nd European Control Conference, Jun 2024, Stockholm, Sweden

Record details

Read More Add to Saved list

Video Recording

Inauguration de l'exposition - Michèle Audin : Publier sous l’occupation — autour du cas de Jacques Feldbau (1914-1945)

Authors : Audin, Michèle; Bastien, Fanny; Taillade, Esteban ...

Subjects: institut fourier; grenoble; CNRS

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

Record details

Read More Add to Saved list

Video Recording

Inauguration de l'exposition - Romain Joly : Les distributions, une généralisation des fonctions

Authors : Joly, Romain; Bastien, Fanny; Taillade, Esteban ...

Subjects: institut fourier; grenoble; CNRS

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

Record details

Read More Add to Saved list

Video Recording

Laurent Schwartz, des mathématiques à l'engagement politique

Authors : Pajot, Hervé; Bastien, Fanny;

Subjects: institut fourier; Grenoble; CNRS

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

Record details

Read More Add to Saved list

Conference

Online B-spline based trajectory planning for swarm of agents using distributed model predictive control

Authors : Dinh, Cong, Khanh; Prodan, Ionela; Stoican, Florin ...

Subjects: Motion planning Collision avoidance B-splines parametrization Multi-agent dynamical systems Distributed Model Predictive Control (DMPC); Motion planning; Collision avoidanceChania Crete; Greece

Source: 2024 International Conference on Unmanned Aircraft Systems, ICUAS'24https://hal.science/hal-045612992024 International Conference on Unmanned Aircraft Systems, ICUAS'24, Jun 2024, Chania

Record details

Read More Add to Saved list

Conference

Performance Gaps in Multi-view Clustering under the Nested Matrix-Tensor Model

Authors : Lebeau, Hugo; El Amine Seddik, Mohamed; Goulart, José Henrique de M ...

Subjects: random tensors; multi-view clustering; random matrix theoryWien; Austria

Source: ICLR 2024 - 12th International Conference on Learning Representations (ICLR 2024) ; https://hal.science/hal-04464877 ; ICLR 2024 - 12th International Conference on Learning Representations (ICLR

Record details

Read More Add to Saved list

Conference

Optimal Pricing Strategies for Charging Stations in the Frequency Containment Reserves Market for Vehicle-to-Grid Integration

Authors : Gasnier, Guillaume; Canudas de Wit, Carlos;

Subjects: Electromobility; Optimal control; Grid balancingStockholm; SwedenStockholm, Sweden

Source: 22nd European Control Conference (ECC)ECC 2024 - 22nd European Control Conferencehttps://hal.science/hal-04538192ECC 2024 - 22nd European Control Conference, KTH Royal Institute of

Record details

Read More Add to Saved list

Video Recording

Inauguration de l'exposition - Olivier Forlin : L'engagement des intellectuels français, entre décolonisation et tiers-mondisme (1945-fin an.1960)

Authors : Forlin, Olivier; Bastien, Fanny; Taillade, Esteban ...

Subjects: institut fourier; Grenoble; CNRS

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

Record details

Read More Add to Saved list

Report

Space-time shape optimization of rotating electric machines

Authors : Cesarano, Alessio; Dapogny, Charles; Gangl, Peter ...

Subjects: [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]; [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]; [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]

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

Record details

Read More Add to Saved list

Report

Optimal Riemannian metric for Poincaré inequalities and how to ideally precondition Langevin dymanics

Authors : Cui, Tiangang; Tong, Xin; Zahm, Olivier ...

Subjects: Poincaré inequalities; Langevin SDE; Stein kernels

Source: https://inria.hal.science/hal-04526677 ; 2024.

Record details

Read More Add to Saved list

Report

Sticky-threshold diffusions, local time approximation and parameter estimation

Authors : Mazzonetto, Sara; Anagnostakis, Alexis;

Subjects: stickiness; skewness; reflection

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

Record details

Read More Add to Saved list

Report

ALGEBRAIC GROMOV’S ELLIPTICITY OF CUBIC HYPERSURFACES

Authors : Kaliman, Shulim; Zaidenberg, M;

Subjects: spray; Gromov’s ellipticity; unirationality

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

Record details

Read More Add to Saved list

Report

Des croquis comme support de raisonnement et de changement de registres

Authors : Grenier, D; Menini, C; Sénéchaud, P ...

Subjects: Croquis; Schéma; Registre de représentation

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

Record details

Read More Add to Saved list

Academic Journal

The Digital Mathematics Library as of 2014

Authors : Bouche, Thierry;

Subjects: Digital Mathematics Library; [SHS.INFO]Humanities and Social Sciences/Library and information sciences; [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]

Source: ISSN: 0002-9920.

Record details

Read More Add to Saved list

Academic Journal

Technology Enhanced Learning in Mathematics: the cross-experimentation approach adopted by the TELMA European Research Team.

Authors : Artigue, Michèle; Bottino, Rosa Maria; Cerulli, Michele ...

Subjects: methodology in technology enhanced learning (TEL); didactic of mathematics; didactical functionalities

Source: la matematica e la sua didattica ; https://telearn.hal.science/hal-00190016 ; la matematica e la sua didattica, 2007, Anno 21, n.1, 2007, Numero speciale/Special Issue, pp.67-74

Record details

Read More Add to Saved list

Conference

Artificial Intelligence and Mathematics Education: Expectations and Questions

Authors : Balacheff, Nicolas;

Subjects: didactic of mathematics; CABRI geometry; [INFO.EIAH]Computer Science [cs]/Technology for Human LearningPerth; Australia

Source: Proceedings of the 14th Biennial Conference of the Australian Association of Mathematics Teachers ; 14th Biennal of the Australian Association of

Record details

Read More Add to Saved list