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,400●1●12●24

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

11
30
votes
5
answers
1k
views

Computational complexity of computing homotopy groups of spheres

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

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

12
23
votes
2
answers
796
views

A Pachner complex for triangulated manifolds

aug 10 10 at 16:17 Kevin Walker 6,167●1●10●32

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

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

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.7k●2●58●110

7
18
votes
1
answer
683
views

Word problem for fundamental group of submanifolds of the 4-sphere

jul 23 10 at 17:23 Ryan Budney 21.6k●1●40●101

4
15
votes
0
answers
308
views

Monoid structure of oriented manifolds with connect sum

apr 8 12 at 20:07 Ryan Budney 21.6k●1●40●101

1 2 3 4 next