-
1
-
2
-
3
-
4
Human-Machine Collaboration in the Teaching of Proof
Veröffentlicht in Journal of humanistic mathematics
VolltextArtikel -
5
-
6
On the unreasonable reliability of mathematical inference
Veröffentlicht in Synthese (Dordrecht)
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
Using the proof assistant Lean in undergraduate mathematics classrooms
Veröffentlicht in ZDM
VolltextArtikel -
13
-
14
-
15
The Mathematical Cultures Network Project
Veröffentlicht in Journal of humanistic mathematics
VolltextArtikel -
16
-
17
What Can the Philosophy of Mathematics Learn from the History of Mathematics?
Veröffentlicht in Erkenntnis
VolltextArtikel -
18
-
19
-
20