Biology
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM's user avatar
SorcererofDM
  • Member for 8 years, 8 months
  • Last seen more than 7 years ago
Profile Activity
Stats
203
reputation
824
reached
0
answers
4
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
0
Score
4
Posts
100
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Neuroscience of mathematicians
Apr 26, 2015
question
3
Neuroscience behind the crash
May 18, 2015
question
1
Are memory updates local in mammals?
Sep 26, 2016
question
1
Immediate Early Genes during sleep
Mar 17, 2015
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?
20
Computation of reals: floating point vs TTE vs domain theory vs etc
12
Weibel 1.4.1: Show that acyclic bounded below chain complexes of free R-modules are always split exact.
11
jupyter notebook jumps after evaluation of cell
9
Humanifying computer-generated or computer assisted proofs

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.