Theoretical Computer Science
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM
  • Member for 10 years, 2 months
  • Last seen more than 3 years ago
Profile Activity
Stats
523
reputation
2k
reached
0
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
19
Computation of reals: floating point vs TTE vs domain theory vs etc
Jul 16, 2015
question
8
Humanifying computer-generated or computer assisted proofs
Jul 23, 2015
question
5
How is the VP=VNP question in char 2 different from other char? What is the current frontier in regards to this question?
Jul 28, 2016
question
4
major applied focuses of different proof assistants
Aug 5, 2015
question
2
applications of institution-independent model theory
Aug 7, 2015
question
-1
The existing bound on Edmonds-Karp doesn't seem to be tight
Jan 7, 2013
Top network posts
View all network posts
24
What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
12
Weibel 1.4.1: Show that acyclic bounded below chain complexes of free R-modules are always split exact.
9
jupyter notebook jumps after evaluation of cell
8
Key ideas behind p-adic Baker's theorem
6
proof general cannot find library or its source file even with coq-load-path-include-current and coq-compile-before-require

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.