Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Record details
Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]
Subjects: [MATH]Mathematics [math]
Subjects: mathematical learning disabilities; 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⟩ ;
Subjects: [SCCO]Cognitive science
Subjects: Statistical modeling; 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
Subjects: [MATH]Mathematics [math]; Fredericton; 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,
Subjects: Logic and verification; London; 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
Subjects: Elliptic Curve; Source: ISSN: 0030-6126 ; Osaka Journal of Mathematics ; https://cnrs.hal.science/hal-03769801 ; Osaka Journal of Mathematics, 2024, 61 (1.