Search Results

Exploring Joint Reflections in ‘Mathematics Teacher Educator - School Mentor-Student Teacher’ Triads: Case Studies from England and China

• Authors : Crisan, Cosette; Liu, Bohan; Zhongtian, Ji ...

Subjects: mathematics teacher educator; school-based mentor; student teacher

• Source: In: Fujita, Taro, (ed.) Proceedings of the British Society for Research into Learning Mathematics. British Society for Research into Learning

Record details

Categorical Foundations of Formalized Condensed Mathematics

• Authors : Asgeirsson, Dagur; Brasca, Riccardo; Kuhn, Nikolas ...

Subjects: Category theory; Proof Assistant Lean; Formalization of Mathematics

• Source: https://hal.science/hal-04633614 ; 2024.

Record details

Categorical Foundations of Formalized Condensed Mathematics

• Authors : Asgeirsson, Dagur; Brasca, Riccardo; Kuhn, Nikolas ...

Subjects: Category theory; Proof Assistant Lean; Formalization of Mathematics

• Source: https://hal.science/hal-04633614 ; 2024.

Record details

Categorical Foundations of Formalized Condensed Mathematics

• Authors : Asgeirsson, Dagur; Brasca, Riccardo; Kuhn, Nikolas ...

Subjects: Category theory; Proof Assistant Lean; Formalization of Mathematics

• Source: https://hal.science/hal-04633614 ; 2024.

Record details

Categorical Foundations of Formalized Condensed Mathematics

• Authors : Asgeirsson, Dagur; Brasca, Riccardo; Kuhn, Nikolas ...

Subjects: Category theory; Proof Assistant Lean; Formalization of Mathematics

• Source: https://hal.science/hal-04633614 ; 2024.

Record details

Capacity Building in Mathematics and Statistics Learning Support in Norway and the Czech Republic (MSLS Net)

• Authors : Rebenda, Josef; Pátíková, Zuzana; Chvátal, Martin

Subjects: Mathematics support; statistics support; European collaboration

Record details

Analysing improvisation in the mathematics classroom

• Authors : McIvor, Nicholas; Hodgen, Jeremy; Loo, Sai

Subjects: Secondary school mathematics; creative teaching; decision making

• Source: In: Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13). CERME (2024) (In press).

Record details

Categorical Foundations of Formalized Condensed Mathematics

• Authors : Asgeirsson, Dagur; Brasca, Riccardo; Kuhn, Nikolas ...

Subjects: Category theory; Proof Assistant Lean; Formalization of Mathematics

• Source: https://hal.science/hal-04633614 ; 2024.

Record details

Identifying the Predictors of Mathematics Anxiety, Confidence, and Performance in Canada: An Educational Data Mining Approach

• Authors : Bulut, Okan; Clelland, Ashley; Wongvorachan, Tarid

Subjects: mathematics achievement; math anxiety; confidence in math

Record details

QuaMath – A Large-scale Implementation Program to improve Mathematics Education

• Authors : Hallemann, Svea

Subjects: ddc:510; ddc:370; high-quality mathematics teaching

Record details