-
1
OPENING A DISCUSSION ON TEACHING PROOF WITH AUTOMATED THEOREM PROVERS
Veröffentlicht in For the learning of mathematics
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
Human-Machine Collaboration in the Teaching of Proof
Veröffentlicht in Journal of humanistic mathematics
VolltextArtikel -
10
-
11
-
12
-
13
Hybrid Entropy in the Time-Frequency Domain for Grading Electrode Sediment Identification
Veröffentlicht in IEEE access
VolltextArtikel -
14
-
15
-
16
Key ideas in a proof: The case of the irrationality of √2
Veröffentlicht in The Journal of mathematical behavior
VolltextArtikel -
17
Using the proof assistant Lean in undergraduate mathematics classrooms
Veröffentlicht in ZDM
VolltextArtikel -
18
-
19
-
20