User Samuel Reid

6

12

votes

4

answers

3k

views

How are Modal Logic and Graph Theory related?

Aug 7 '16 at 20:45 1.. 11.8k

4

9

votes

3

answers

730

views

Surface Eversions: Generalizing from Sphere and Torus Eversions

gn.general-topology gt.geometric-topology

Aug 10 '17 at 23:05 Joseph O'Rourke 136k

1

8

votes

1

answer

396

views

Convex Polyhedra Scissors Congruence Problem

discrete-geometry polyhedra scissors-congruence

Jan 23 '20 at 6:05 YCor 42.3k

7

votes

1

answer

178

views

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

co.combinatorics mg.metric-geometry discrete-geometry convex-polytopes

Nov 17 '15 at 21:59 Yoav Kallus 5,328

1

7

votes

2

answers

489

views

Kissing Number of Spheres in Non-Euclidean Geometry

mg.metric-geometry co.combinatorics sphere-packing

Mar 1 '13 at 10:34 Will Jagy 23.5k

7

votes

4

answers

767

views

Reference Request: Non-Standard Models of PA

reference-request lo.logic model-theory peano-arithmetic

Mar 3 '12 at 0:05 Benedict Eastaugh 519

5

votes

2

answers

327

views

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

co.combinatorics graph-theory

Mar 17 '17 at 22:48 Joseph O'Rourke 136k

1

5

votes

0

answers

424

views

The Riemann Zeta Function summing over the Gamma Function

special-functions gamma-function zeta-functions

Jun 15 '13 at 2:48 Community♦ 1

1

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?

lo.logic

Mar 24 '12 at 21:16 Joel David Hamkins 184k

1

5

votes

1

answer

305

views

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

lo.logic reference-request ho.history-overview

Mar 11 '12 at 22:06 Joel David Hamkins 184k

4

votes

1

answer

382

views

Generalizing the circle packing theorem to 3-dimensions

graph-theory mg.metric-geometry simplicial-stuff circle-packing

May 14 '15 at 8:47 VividD 127

4

votes

0

answers

550

views

A difficult integral which the Risch algorithm shows is not elementary

real-analysis cv.complex-variables integration

Feb 3 '15 at 20:12 Samuel Reid 1,263

1

4

votes

1

answer

296

views

Deriving Helfrich's shape equation for closed membranes

mp.mathematical-physics calculus-of-variations reference-request

Jul 7 '13 at 16:43 Carlo Beenakker 118k

2

4

votes

1

answer

392

views

Completeness of a Theory from the Categorical Viewpoint

lo.logic ct.category-theory

Feb 11 '13 at 7:05 David Roberts 28k

1

4

votes

0

answers

237

views

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

dg.differential-geometry mp.mathematical-physics mg.metric-geometry calculus-of-variations riemannian-geometry

Jan 17 '12 at 20:35 Samuel Reid 1,263

3

votes

1

answer

201

views

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

stochastic-processes markov-chains recurrences

Apr 5 '19 at 20:35 Timothy Budd 1,625

3

votes

2

answers

458

views

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

at.algebraic-topology gt.geometric-topology 3-manifolds

Jan 8 '19 at 19:46 j.c. 12.6k

3

votes

0

answers

227

views

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

mg.metric-geometry gt.geometric-topology sphere-packing

Feb 26 '13 at 19:49 Samuel Reid 1,263

3

votes

1

answer

714

views

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

ct.category-theory

Mar 30 '12 at 2:58 Peter May 27.9k

1

3

votes

1

answer

550

views

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

gt.geometric-topology at.algebraic-topology reference-request

Mar 9 '12 at 22:39 Misha 29.1k

3

votes

1

answer

616

views

Klein Bottle exception to the Heawood Conjecture [duplicate]

gt.geometric-topology gn.general-topology co.combinatorics ho.history-overview graph-theory

Jan 13 '12 at 20:41 Community♦ 1

2

votes

0

answers

326

views

Reducing a System of Polynomial Equations

ag.algebraic-geometry mathematical-software polynomials

May 13 '19 at 9:23 Glorfindel 2,238

1

2

votes

3

answers

3k

views

The Area of Spherical Polygons

spherical-geometry mg.metric-geometry simplicial-stuff

Dec 7 '16 at 14:34 cffk 161

2

votes

2

answers

239

views

On the Combinatorial Classification of Modal Kripke Frames

Nov 17 '15 at 21:56 Samuel Reid 1,263

2

votes

0

answers

96

views

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

oc.optimization-and-control nonlinear-optimization quadratic-programming

Oct 19 '15 at 23:50 Samuel Reid 1,263

2

votes

1

answer

149

views

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

reference-request cryptography computational-number-theory

Dec 30 '14 at 13:50 Community♦ 1

2

votes

2

answers

223

views

Adjoint of Pushout as Modal Operators in Internal Logic

Aug 30 '14 at 22:10 Evgeny Zolin 15

2

votes

1

answer

216

views

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

mg.metric-geometry discrete-geometry convex-polytopes geometric-measure-theory

May 15 '14 at 8:57 eins6180 1,252

2

votes

1

answer

286

views

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

lo.logic

Mar 20 '12 at 13:38 Joel David Hamkins 184k

1

vote

1

answer

149

views

Mahler Volume of the Snub 24-Cell

mg.metric-geometry

Jan 26 '14 at 1:54 Joseph O'Rourke 136k

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

39 Questions

How are Modal Logic and Graph Theory related?

Surface Eversions: Generalizing from Sphere and Torus Eversions

Convex Polyhedra Scissors Congruence Problem

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

Kissing Number of Spheres in Non-Euclidean Geometry

Reference Request: Non-Standard Models of PA

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

The Riemann Zeta Function summing over the Gamma Function

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

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

Generalizing the circle packing theorem to 3-dimensions

A difficult integral which the Risch algorithm shows is not elementary

Deriving Helfrich's shape equation for closed membranes

Completeness of a Theory from the Categorical Viewpoint

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

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

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

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

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

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

Klein Bottle exception to the Heawood Conjecture [duplicate]

Reducing a System of Polynomial Equations

The Area of Spherical Polygons

On the Combinatorial Classification of Modal Kripke Frames

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

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

Adjoint of Pushout as Modal Operators in Internal Logic

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

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

Mahler Volume of the Snub 24-Cell