Samuel Reid's user avatar
Samuel Reid's user avatar
Samuel Reid's user avatar
Samuel Reid
  • Member for 12 years, 3 months
  • Last seen more than 4 years ago
  • Calgary
15 votes
4 answers
3k views

How are Modal Logic and Graph Theory related?

10 votes
3 answers
830 views

Surface Eversions: Generalizing from Sphere and Torus Eversions

8 votes
1 answer
439 views

Convex Polyhedra Scissors Congruence Problem

7 votes
2 answers
540 views

Kissing Number of Spheres in Non-Euclidean Geometry

7 votes
4 answers
870 views

Reference Request: Non-Standard Models of PA

7 votes
1 answer
432 views

Under what conditions does $\mathcal{M} \vDash \mathsf{PA}$ and $\mathcal{K} \vDash \mathsf{PA}$ such that $\mathcal{M} \ncong \mathcal{K}$?

7 votes
1 answer
199 views

Are the primary parallelotopes classified? (equivalently, Voronoi cells of lattices)

5 votes
1 answer
769 views

How would generalizing simplicial sets affect $(\infty,1)$-functors between $(\infty,1)$-categories?

5 votes
2 answers
2k views

How many models of Peano arithmetic are isomorphic to the standard model and how many models of Peano arithmetic are non-standard?

5 votes
0 answers
455 views

The Riemann Zeta Function summing over the Gamma Function

4 votes
1 answer
244 views

The Mahler conjecture and non-zonoidal 3-polytopes (4-polytopes)

4 votes
0 answers
661 views

A difficult integral which the Risch algorithm shows is not elementary

4 votes
3 answers
6k views

The Area of Spherical Polygons

4 votes
2 answers
515 views

Explicit tetrahedralizations of closed 3-manifolds and connections between convex polytopes and hyperbolic knot complements

4 votes
1 answer
451 views

Generalizing the circle packing theorem to 3-dimensions

4 votes
1 answer
554 views

Completeness of a Theory from the Categorical Viewpoint

4 votes
2 answers
353 views

Finding the order of a flip graph and how it relates to all possible triangulations of a graph

4 votes
0 answers
241 views

Methods for generating metrics and minimizing variational dynamics of particles (masses or charges) on n-dimensional smooth manifolds

4 votes
1 answer
318 views

Deriving Helfrich's shape equation for closed membranes

3 votes
1 answer
210 views

A 2d recurrence equation representing a step-free continuous-time Markov process on N^2 with frequency-dependent rates

3 votes
1 answer
712 views

Klein Bottle exception to the Heawood Conjecture [duplicate]

3 votes
1 answer
734 views

Moise's Theorem and the Fundamental Domain of a $3$-Manifold

3 votes
0 answers
238 views

Computing the Volume of Closed 3-Manifolds and the Geometrization Conjecture

2 votes
1 answer
199 views

Is there a security analysis of the GQ digital signature scheme?

2 votes
2 answers
278 views

On the Combinatorial Classification of Modal Kripke Frames

2 votes
0 answers
349 views

Reducing a System of Polynomial Equations

2 votes
1 answer
353 views

Uniqueness of super godel numbers of $\varphi$ and $\neg \varphi$

2 votes
2 answers
255 views

Adjoint of Pushout as Modal Operators in Internal Logic

2 votes
0 answers
104 views

A (non-convex) minimization quadratic programming problem with d constraints

1 vote
1 answer
132 views

Generalizing the internal angle of a graph in $\mathbb{E}^2$ to $\mathbb{S}^2$