Skip to main content
Craig Gidney's user avatar
Craig Gidney's user avatar
Craig Gidney's user avatar
Craig Gidney
  • Member for 13 years, 6 months
  • Last seen more than a week ago
10 votes
4 answers
1k views

Multiplying the roots of polynomials using only their integer coefficients

6 votes
3 answers
190 views

Name for the reals augmented with an $x$ such that $x^2 = x$

5 votes
4 answers
3k views

If I square a measure in radians, is the result measured in steradians?

4 votes
1 answer
426 views

How do I prove "not (false = true)" in Lean?

3 votes
2 answers
2k views

Is the surface of a donut distinguishable from pac-man's world?

3 votes
0 answers
58 views

Partially cancelling a unitary matrix with another raised to a power

3 votes
1 answer
287 views

Optimizing an asymptotic recurrence relation with two recursive terms

1 vote
0 answers
129 views

Eigenvector/value of a biased random walk with a sink and a wall

1 vote
0 answers
64 views

Applying the convolution theorem in the presence of a twiddle factor

1 vote
1 answer
52 views

Mystery constant in an approximation of the number of stabilizer states

0 votes
0 answers
10 views

Finding smaller pseudofactors modulo N

0 votes
0 answers
19 views

How common is it to plot linear transforms on continuous spaces?

0 votes
0 answers
79 views

Factoring into two small factors modulo a constant

0 votes
0 answers
43 views

Terminology for $B^{-1} A B$ (or perhaps $B A B^{-1}$)