Publications


3521 documents

  • Fabrice Nesslany, Emmanuel Flahaut, Anna Bencsik, Marie Carrière, Patrick Chaskiel, et al.. Avis de l'Anses relatif à l’évaluation du risque de la fraction nanométrique de l’additif alimentaire E171. Saisine n°2016-SA-0226, Anses. 2022, 115 p. ⟨anses-04082191⟩
  • Florian Miralles, Bastien Sauvage, Stephen Wornom, Frédéric Alauzet, Bruno Koobus, et al.. Simulation of massively separated flows using hybrid turbulence models ans mesh adaptation. DLES13 2022 - Direct and Large-Eddy Simulation 13, Oct 2022, Udine, Italy. ⟨hal-03929769⟩
  • Daniele Antonio Di Pietro. An arbitrary-order discrete rot-rot complex on polygonal meshes with application to a quad-rot problem. 2022. ⟨hal-03830503⟩
  • Thomas Haettel. Extra large type Artin groups are CAT(0) and acylindrically hyperbolic. Annales de l'Institut Fourier, 2022, 72 (6), pp.2541-2555. ⟨10.5802/aif.3524⟩. ⟨hal-02157743⟩
  • Michele Bolognesi, Robert Laterveer. On the Chow ring of Fano fourfolds of K3 type. 2022. ⟨hal-03824684⟩
  • Viviane Durand-guerrier. Analysing proofs of the Bolzano-Weierstrass theorem. A mean to improve proof skills and understanding of completeness. Fourth conference of the International Network for Didactic Research in University Mathematics, Leibnitz Universität (Hanover), Oct 2022, Hannover, Germany. pp.283-292. ⟨hal-04026543⟩
  • Viviane Durand-Guerrier, Melih Turgut. TWG3: Teaching and learning of linear and abstract algebra, logic, reasoning and proof. Fourth conference of the International Network for Didactic Research in University Mathematics, Leibnitz Universität (Hanover), Oct 2022, Hannover, Germany. pp.238-242. ⟨hal-04027019⟩
  • Julie Jovignot, Thomas Hausberger. Transitions in abstract algebra throughout the Bachelor: the concept of ideal in ring theory as a gateway to mathematical structuralism. Fourth conference of the International Network for Didactic Research in University Mathematics, Leibnitz Universität (Hanover), Oct 2022, Hannover, Germany. pp.60-69. ⟨hal-04026498⟩
  • Evmorfia Bartzia, Antoine Meyer, Julien Narboux. Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis. INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics, Reinhard Hochmuth, Oct 2022, Hanovre, Germany. pp.253-262. ⟨hal-03648357v2⟩
  • Nathan Lombard. Questioning the quantum world? A priori analysis of an SRP at the interface between mathematics and quantum mechanics. Fourth conference of the International Network for Didactic Research in University Mathematics, Leibnitz Universität (Hanover), Oct 2022, Hannover, Germany. pp.405-414. ⟨hal-04026490⟩

Documents récupérés de l'archive ouverte HAL logo