User Itai Bar-Natan

22 votes

Accepted

The symmetric group theory of natural numbers

answered Jun 14, 2018 at 10:23

13 votes

Accepted

Small $|2^x 3^y - 5^z 7^t|$ and generalization

answered Jan 6, 2018 at 14:04

7 votes

Conceptual insights and inspirations from experimental and computational mathematics

answered Dec 3, 2019 at 2:13

6 votes

PDE’s whose solutions can be presented using path integrals

answered Sep 13, 2018 at 22:40

6 votes

Accepted

Representing mathematical statements as SAT instances

answered Dec 31, 2017 at 9:06

6 votes

Checkmate in $\omega$ moves?

answered Feb 16, 2014 at 18:22

4 votes

Accepted

Determining if a number is k-rough without factoring

answered Oct 2, 2017 at 13:10

4 votes

The problem of finding the first digit in Graham's number

answered Dec 31, 2017 at 12:55

3 votes

Tweetable Mathematics

answered Nov 16, 2017 at 21:53

3 votes

Suggestions for good notation

answered Jan 27, 2018 at 22:46

2 votes

Density of the Klarner-Rado Sequence

answered Jun 10, 2018 at 19:15

2 votes

Constructively, is the unit of the “free abelian group” monad on sets injective?

answered Jun 12, 2018 at 11:58

1 vote

Provability in $S^1_2$

answered Sep 4, 2017 at 16:38

Stack Exchange Network

13 Answers

The symmetric group theory of natural numbers

Small $|2^x 3^y - 5^z 7^t|$ and generalization

Conceptual insights and inspirations from experimental and computational mathematics

PDE’s whose solutions can be presented using path integrals

Representing mathematical statements as SAT instances

Checkmate in $\omega$ moves?

Determining if a number is k-rough without factoring

The problem of finding the first digit in Graham's number

Tweetable Mathematics

Suggestions for good notation

Density of the Klarner-Rado Sequence

Constructively, is the unit of the “free abelian group” monad on sets injective?

Provability in $S^1_2$