Skip to main content
Steven Stadnicki's user avatar
Steven Stadnicki's user avatar
Steven Stadnicki's user avatar
Steven Stadnicki
  • Member for 14 years, 6 months
  • Last seen this week
  • Seattle, WA
42 votes

Collecting alternative proofs for the oddity of Catalan

38 votes

Proofs without words

18 votes
Accepted

Why don't Zeilberger and Gosper's algorithms contradict Richardson's theorem?

12 votes

Can we get good rational approximations in all residue classes?

10 votes

Undecidable infinite analogs of NP-complete problems?

9 votes
Accepted

Growth zeta-functions of regular languages

8 votes
Accepted

Is there some numerical evidence that $ \pi(x+x^{1/e})-\pi(x)\geq 1 $ for any large enough $ x $?

6 votes

Journals and other sources with "easy reading" papers?

6 votes

What do we know about the computable surreal numbers?

5 votes

How to recover integer part from known fractional root part?

5 votes
Accepted

Error term for prime harmonic

5 votes

Which unfoldings of the hypercube tile 3-space: How to check for isometric space-fillers?

5 votes
Accepted

Root Finding for Raytracing (Ray and Meta-Ball Intersection)

4 votes

Counting $\mathrm{mod}\:p$ solutions of Diophantine equation in two variables taking $O(p^2)$ time

4 votes

Good "casual" advanced math books

4 votes

Important formulas in combinatorics

3 votes

Mathematics of the 24 game

2 votes

Finding the largest integer describable with a string of symbols of predefined length

2 votes
Accepted

Self-dual hypergraph on $\omega$

1 vote

A randomized version of straight-edge and compass construction

1 vote

Geometric probabilistic problem on triangles on a plane

1 vote

Completeness, easiest, hardest problems

1 vote

Indexing schemes of binary sequences

1 vote

If $a_1=1$ and $a_n=\sec (a_{n-1})$ then what does the proportion of positive terms approach, as $n\to\infty$?

0 votes

Best online mathematics videos?

0 votes

What is the proper name for this "tersest path" problem in Infinite Craft?

0 votes

Can transfinite induction be defined as axiom scheme in FOL on bin-tree structures?