MathOverflow
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM
  • Member for 11 years, 6 months
  • Last seen more than 1 year ago
  • United States
Profile Activity
Stats
449
reputation
23k
reached
1
answer
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
5
Score
1
Posts
9
Posts %
5
Score
1
Posts
9
Posts %
0
Score
4
Posts
36
Posts %
0
Score
3
Posts
27
Posts %
0
Score
3
Posts
27
Posts %
0
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
question
24
What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
Jul 6, 2015
question
8
Key ideas behind p-adic Baker's theorem
Dec 2, 2021
answer
5
Physicist's request for intuition on covariant derivatives and Lie derivatives
Sep 2, 2015
question
4
Categories of finite objects
Aug 10, 2015
question
4
How big are small inverse powers of 2 mod powers of 3?
Nov 9, 2021
question
3
floating point representation via the perspective of TTE/computable analysis
Sep 2, 2015
question
3
More refined versions of Brunn–Minkowski inequality and/or Prékopa–Leindler inequality
Oct 9, 2016
question
3
Matroids of hypercubes
Nov 15, 2016
question
2
The concept "opposite" of Cohen-Macaulayness
Sep 11, 2016
question
1
Does $e^{az}/\Gamma(z)dz$ have a nice indefinite integral? Definite integral?
Oct 22, 2012
Top network posts
View all network posts
20
Computation of reals: floating point vs TTE vs domain theory vs etc
12
jupyter notebook jumps after evaluation of cell
12
Weibel 1.4.1: Show that acyclic bounded below chain complexes of free R-modules are always split exact.
9
Humanifying computer-generated or computer assisted proofs
7
proof general cannot find library or its source file even with coq-load-path-include-current and coq-compile-before-require