33

Questions
votes newest views recent
21
52
votes
10
answers
5k
views

Teaching proofs in the era of Google

dec 5 11 at 15:55 Federico Poloni 4,249●1●12●24

12
20
votes
4
answers
2k
views

Curriculum reform success stories at an “average” research university

dec 21 09 at 14:50 Jon Awbrey 341●1●4●12

13
35
votes
4
answers
2k
views

Torsion in homology or fundamental group of subsets of Euclidean 3-space

nov 19 10 at 19:51 Sergey Melikhov 3,692●12●19

4
13
votes
5
answers
2k
views

can you fool SnapPea?

nov 22 11 at 6:48 Chad Musick 165●1●9

10
14
votes
8
answers
2k
views

Hironaka desingularisation theorem — new proofs in literature?

aug 10 10 at 15:26 Thierry Zell 3,103●1●17●43

5
26
votes
6
answers
1k
views

Has anyone thought about creating a formal proof wiki with verifier?

jan 13 at 5:10 Ryan Reich 3,951●1●9●25

11
30
votes
5
answers
1k
views

Computational complexity of computing homotopy groups of spheres

may 9 12 at 3:16 John Klein 7,196●19●28

5
20
votes
3
answers
1k
views

How expensive is knowledge? Knots, Links, 3 and 4-manifold algorithms. [closed]

aug 18 10 at 14:54 Daniel Moskovich 11.1k●1●36●105

8
19
votes
3
answers
949
views

“Largest” finite-dimensional Lie subgroups of Diff(S^n), are they known?

jun 15 10 at 3:36 Tom Goodwillie 26.6k●2●58●110

2
10
votes
2
answers
857
views

slice-ribbon for links (surely it’s wrong)

apr 8 10 at 14:21 Jaikrishnan 485●7

1 2 3 4 next