Stack Exchange

Kyle Miller

Santa Cruz, CA, USA

https://math.berkeley.edu/~kmill/

I got my PhD at UC Berkeley, and now I am a postdoc at UC Santa Cruz (and, temporarily, at FMJH in Orsay, France). I'm mostly interested in low-dimensional topology (knot and spatial graph theory) and in using computers to study math.

top accounts reputation activity subscriptions
Top Questions
Top Answers
38
Verifying 'standup maths' homeomorphism claim
math.stackexchange.com

33
How can 4 resistors of 30ohms each be connected so you end up with a resistance of 18ohms?
electronics.stackexchange.com

26
Gap between an even integer and the next smaller prime?
math.stackexchange.com

22
What does it mean for something to hold "up to isomorphism"?
math.stackexchange.com

21
Porting use of BASIC to-the-power ^ operator
retrocomputing.stackexchange.com

16
Why can you find the roots a of polynomial by factoring it?
math.stackexchange.com

15
Is every loop in a 3-manifold homotopic to some loop on its boundary?
math.stackexchange.com

14
Proof review: Sum of nCk over antidiagonal = Fibonacci
proofassistants.stackexchange.com

13
A normal subgroup that is not a characteristic
math.stackexchange.com

13
Notation (or Name) of the function which is $0$ at $x=0$ and $1$ otherwise
math.stackexchange.com

12
Proving that the join of a path-connected space with an arbitrary space is simply-connected
math.stackexchange.com

11
Prove that there is no smallest positive real number
math.stackexchange.com

11
Is there any proof that the sum of factorial numbers is divisible by 3?
math.stackexchange.com

11
Isotopy classes of essential simple closed curves in a 4-punctured sphere
math.stackexchange.com

10
The vertices of a tetrahedron lie on a sphere
math.stackexchange.com

10
A way to find this shaded area without calculus?
math.stackexchange.com

10
Suspension of a circle is a sphere
math.stackexchange.com

9
Seifert matrix from a Seifert surface
math.stackexchange.com

9
Lean: dubious noncomputability
proofassistants.stackexchange.com

9
Word for manufacturers intentionally making their cheaper products inferior even though they use the same hardware?
english.stackexchange.com

9
$\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2$ representation of $B_3$ braid group
math.stackexchange.com

9
Isotopy classes of embedded closed curves in a torus
math.stackexchange.com

8
Seifert surfaces for knots $6_1, 6_2, 6_3$.
math.stackexchange.com

8
How to calculate rigorously the degree of the map $f: S^1 \to S^1, f(z) = z^n$.
math.stackexchange.com

8
Homology group of $X=\operatorname{SL}(2,\mathbb{R})/\operatorname{SL}(2,\mathbb{Z})$
math.stackexchange.com

8
Is $\mathbb{R}^4$ minus a line simply connected?
math.stackexchange.com

8
CW structure of the universal cover
math.stackexchange.com

8
Does the fundamental group detect the unlink?
math.stackexchange.com

8
Build a Turing *incomplete* language
codegolf.stackexchange.com

8
Map from Integral Cohomology to Real Cohomology
math.stackexchange.com

1 2 3