Skip to main content
Jeffrey Shallit's user avatar
Jeffrey Shallit's user avatar
Jeffrey Shallit's user avatar
Jeffrey Shallit
  • Member for 10 years, 8 months
  • Last seen more than a week ago
42 votes

Formula for sequence $0, 0, 0, 0, 1, 0, 0, 0, 0, 1,\ldots$

15 votes

Quick doubt on converting a decimal to a fraction

12 votes

Is there a better alternative to the phrase, 'it holds that'?

10 votes
Accepted

convoluted recurrence: $f(2n)=f(n)+f(n+1)+n, f(2n+1)=f(n)+f(n-1)+1$

10 votes

Why does Pascal's Triangle (mod 2) encode the Fermat primes?

6 votes

Has any previously unknown result been proven by an automated theorem prover?

4 votes

Egyptian fraction representations of real numbers

4 votes

Question on Proof that the Fibonacci Word is Sturmian

3 votes
Accepted

Numerical value of $\sum_{p \in \mathcal P} \frac1{p\ln p}$

2 votes

prove that $\quad n = E\left[ {\frac{{n - 1}}{2}} \right] + E\left[ {\frac{{n + 2}}{4}} \right] + E\left[ {\frac{{n + 4}}{4}} \right]$

2 votes

Check primality of large prime by Miller-Rabin

2 votes

What are the theorems of mathematics proved by a computer so far?

2 votes
Accepted

Simple Example of Dependency Digraph that is Not a Dependency Graph

2 votes
Accepted

get gcd as a linear combination.

2 votes
Accepted

Bijection between binary strings with an even-length palindromic prefix and binary strings with a bifix

2 votes

Statements which feel like they shouldn't be first-order expressible, but are

1 vote

What is the minimum length of maximal palindrome of a binary word of length $n$?

1 vote

Evaluation of a class of continued fractions