Neil Strickland's user avatar
Neil Strickland's user avatar
Neil Strickland's user avatar
Neil Strickland
  • Member for 13 years, 5 months
  • Last seen this week
24 votes
2 answers
15k views

OCR for handwritten mathematics

19 votes
2 answers
2k views

Breen-Deligne packages and the liquid tensor experiment

22 votes
3 answers
2k views

Is there a better proof of this fact in number theory/formal group theory?

15 votes
1 answer
2k views

Bases for spaces of smooth functions

18 votes
1 answer
2k views

Available frameworks for homotopy type theory

26 votes
2 answers
2k views

Structure of Hopf algebras - trouble understanding an old paper

26 votes
2 answers
1k views

Is $\mathbb{H}P^\infty_{(p)}$ an H-space?

24 votes
2 answers
1k views

SnapPea for the uninitiated

12 votes
1 answer
1k views

Rationalised K-theory of number fields

12 votes
2 answers
1k views

Why are ordinary spheres not strictly invertible?

26 votes
0 answers
884 views

Where to submit this work with several unusual features?

12 votes
3 answers
824 views

Squares in a triquadratic field

8 votes
2 answers
750 views

Approximation theory on the disc

11 votes
1 answer
722 views

Unbased spectral sequences

8 votes
1 answer
623 views

Name of a metric space concept

12 votes
2 answers
618 views

Polynomial maps between noncommutative groups

4 votes
1 answer
616 views

Curvature formula

14 votes
2 answers
614 views

Logical complexity of algebraically closed fields

10 votes
1 answer
565 views

Solve $\binom{n}{k}=m$ for $(n,k)$

18 votes
1 answer
533 views

Is $\Omega J_{p^n-1}S^2$ commutative up to homotopy?

9 votes
1 answer
515 views

Closed orientable surfaces have even Euler characteristic

8 votes
0 answers
496 views

Has Grothendieck's motivic vision been realised?

9 votes
0 answers
454 views

Framework for primes vs random matrices

7 votes
0 answers
453 views

Convergence at the radius of convergence

6 votes
2 answers
441 views

Does this quadratic form over a large field represent 1?

4 votes
2 answers
437 views

Modular representations with unequal characteristic - reference request

14 votes
2 answers
433 views

Quasicategories for non-simplicial model categories

7 votes
2 answers
408 views

RELU representation of $\max(x,y,z)$

11 votes
1 answer
404 views

A step in Lurie's treatment of $L$-theory

1 vote
1 answer
399 views

Algorithm to check whether simplices intersect nicely