Suchergebnisse - YAN, XIAOHENG (KITTY) | OPAC THWS

1

Using the proof assistant Lean in undergraduate mathematics classrooms von Hanna, Gila, Larvor, Brendan, Yan, Xiaoheng Kitty

Veröffentlicht in ZDM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A DEEP DIVE INTO A DESMOS ACTIVITY von Rowinsky, Nico, Yan, Xiaoheng Kitty

Veröffentlicht in Ontario mathematics gazette

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

OPENING A DISCUSSION ON TEACHING PROOF WITH AUTOMATED THEOREM PROVERS von HANNA, GILA, YAN, XIAOHENG (KITTY)

Veröffentlicht in For the learning of mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Developing teachers’ cultural competencies through co-design of robot-coding mathematics activities for Latinx and Black elementary school students von Lyublinskaya, Irina, Okita, Sandra, Walker, Erica, Yan, Xiaoheng (Kitty)

Veröffentlicht in London review of education

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Human-Machine Collaboration in the Teaching of Proof von Hanna, Gila, Larvor, Brendan, Yan, Xiaoheng

Veröffentlicht in Journal of humanistic mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: