SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM
  • Member for 11 years, 5 months
  • Last seen more than 1 year ago
  • United States
24 votes
3 answers
2k views

What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

8 votes
0 answers
189 views

Key ideas behind p-adic Baker's theorem

4 votes
0 answers
228 views

How big are small inverse powers of 2 mod powers of 3?

4 votes
2 answers
483 views

Categories of finite objects

3 votes
1 answer
434 views

floating point representation via the perspective of TTE/computable analysis

3 votes
2 answers
215 views

More refined versions of Brunn–Minkowski inequality and/or Prékopa–Leindler inequality

3 votes
1 answer
153 views

Matroids of hypercubes

2 votes
1 answer
573 views

The concept "opposite" of Cohen-Macaulayness

1 vote
0 answers
332 views

Does $e^{az}/\Gamma(z)dz$ have a nice indefinite integral? Definite integral?

1 vote
0 answers
38 views

Homology of the subcomplexes of the "diamond shaped" sphere under 1-norm in $R^n$ as a simplicial complex