Source: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.science/hal-04093414 ; Annals of Pure and Applied Logic, 2023, 174 (9), pp.103287.

Record details

Read More Add to Saved list

Academic Journal

Words, history and mathematics

Authors : Lê, François;

Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]

Source: ISSN: 2747-7894.

Record details

Read More Add to Saved list

Academic Journal

The Reverse Mathematics of CAC for trees

Authors : Cervelle, Julien; Gaudelier, William; Patey, Ludovic ...

Subjects: [MATH]Mathematics [math]

Source: ISSN: 0022-4812.

Record details

Read More Add to Saved list

Academic Journal

The reverse mathematics of the Thin set and the Erdos-Moser theorems

Authors : Liu, Lu; Patey, Ludovic;

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: ISSN: 0022-4812.

Record details

Read More Add to Saved list

Academic Journal

Exploring MLD in mathematics education: Ten years of research

Authors : Deruaz, Michel; Dias, Thierry; Gardes, Marie-Line ...

Subjects: mathematical learning disabilities; mathematical learning difficulties; dyscalculia

Source: ISSN: 0732-3123 ; Journal of Mathematical Behavior ; https://hal.science/hal-03018305 ; Journal of Mathematical Behavior, 2020, 60, ⟨10.1016/j.jmathb.2020.100807⟩ ;

Record details

Read More Add to Saved list

Academic Journal

Fraction Knowledge in Adults With Persistent Mathematics Difficulties

Authors : Bhatia, Parnika; Léone, Jessica; Gardes, Marie-Line ...

Subjects: [SCCO]Cognitive science

Source: ISSN: 0731-9487 ; Learning Disability Quarterly ; https://hal.science/hal-04236417 ; Learning Disability Quarterly, In press, pp.073194872311713. ⟨10.1177/07319487231171380⟩.

Record details

Read More Add to Saved list

Conference

The Feedback in Teaching Mathematics, a New Approach with Applications of Social Medias as Twitter and Periscope ; LE FEEDBACK DANS L'ENSEIGNEMENT DES MATHEMATIQUES, UNE NOUVELLE APPROCHE AVEC LES APPLICATIONS DES RESEAUX SOCIAUX COMME TWITTER ET PERISCOPE

Authors : Tekin, Tolga;

Subjects: réseaux sociaux; affordance; mathématiquesBelfort; France

Source: X Colloque International A.S.I. Analyse Statistique Implicative / X International Conference Statistical Implicative Analysis ; https://hal.science/hal-02376657 ; X Colloque International A.S.I.

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

Conference

The mathematics of Ivo Rosenberg (Dedicated to the memory of Professor Ivo Rosenberg)

Authors : Couceiro, Miguel; Haddad, Lucien; Pouzet, Maurice ...

Subjects: [MATH]Mathematics [math]; [INFO]Computer Science [cs]Fredericton; NB

Source: ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic ; https://inria.hal.science/hal-02190088 ; ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019,

Record details

Read More Add to Saved list

Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

Authors : de Frutos-Fernández, María Inés; Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo;

Subjects: Logic and verification; Proof theory formal mathematics; LeanLondon; United Kingdom

Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list