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
26 votes
2 answers
1k views

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

26 votes
2 answers
2k views

Structure of Hopf algebras - trouble understanding an old paper

26 votes
0 answers
884 views

Where to submit this work with several unusual features?

24 votes
2 answers
1k views

SnapPea for the uninitiated

24 votes
2 answers
15k views

OCR for handwritten mathematics

22 votes
3 answers
2k views

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

19 votes
2 answers
2k views

Breen-Deligne packages and the liquid tensor experiment

18 votes
1 answer
2k views

Available frameworks for homotopy type theory

18 votes
1 answer
533 views

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

15 votes
1 answer
2k views

Bases for spaces of smooth functions

14 votes
1 answer
366 views

Free generators for the fat commutator subgroup

14 votes
2 answers
614 views

Logical complexity of algebraically closed fields

14 votes
2 answers
433 views

Quasicategories for non-simplicial model categories

13 votes
1 answer
336 views

Is $KU\otimes S^1_+$ isomorphic to $F(S^1_+,KU)$ as $E_\infty$ rings?

13 votes
1 answer
312 views

Homogeneous spaces that are homotopy tori

12 votes
2 answers
618 views

Polynomial maps between noncommutative groups

12 votes
1 answer
1k views

Rationalised K-theory of number fields

12 votes
3 answers
824 views

Squares in a triquadratic field

12 votes
2 answers
1k views

Why are ordinary spheres not strictly invertible?

11 votes
1 answer
404 views

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

11 votes
1 answer
722 views

Unbased spectral sequences

10 votes
1 answer
565 views

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

9 votes
0 answers
454 views

Framework for primes vs random matrices

9 votes
1 answer
367 views

Detailed proof that $\circ_i$ operads are the same as operads

9 votes
0 answers
239 views

Reference request: integral formula for $\sum_{\text{roots }\lambda}e^{-|\lambda|^2}$

9 votes
1 answer
515 views

Closed orientable surfaces have even Euler characteristic

9 votes
1 answer
396 views

Automorphisms and epimorphisms of finite groups

8 votes
0 answers
177 views

Rational points with small denominator in $U(n)$

8 votes
2 answers
750 views

Approximation theory on the disc

8 votes
1 answer
623 views

Name of a metric space concept