Earth Science
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson's user avatar
Alex Nelson
  • Member for 2 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About
I'm a mathematical physicist, working as a programmer, etc.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
24
What was the 1st Proof Assistant?
23
Bourbaki's definition of the number 1
18
Where can I find lists of theorems that have been verified?
17
What's wrong with the square root version of the Klein-Gordon equation?
17
In what sense is the renormalization group equation a group?

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.