Skip to main content
Mathematics
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier's user avatar
John Salvatier
  • Member for 13 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
445
reputation
35k
reached
1
answer
12
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
12
bronze badges
Top tags
View all tags
3
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
0
Score
4
Posts
31
Posts %
0
Score
5
Posts
38
Posts %
0
Score
3
Posts
23
Posts %
0
Score
3
Posts
23
Posts %
Top posts
View all questions and answers
question
31
Best measure theoretic probability theory book?
May 1, 2011
question
9
Resources for learning formal math?
Nov 13, 2010
question
5
Set theory practice problems?
Oct 7, 2011
question
4
solve $ y = (A+B^{-1})x $ for $x$
Jan 26, 2013
question
3
What is the symmetry between the definitions of the bounded universal/existential quantifiers?
May 21, 2011
answer
3
Method to reliably determine abnormal statistical values
Nov 22, 2010
question
2
formal rules for avoiding bound/unbound variable problems in lambda calculus
Dec 3, 2010
question
2
How can I learn to create and solve Rational Choice models?
Apr 28, 2011
question
2
Accessible formal specification and explanation of First Order Logic?
Jun 21, 2011
question
2
How do I prove positive definiteness for a matrix difference?
May 10, 2012
Top network posts
View all network posts
236
What is the difference between fixed effect, random effect in mixed effect models?
73
pandas.read_csv from string or package data
60
zip(list1, list2) in Jinja2?
49
How do 'tactics' work in proof assistants?
48
What is the most intuitive dependent type theory I could learn?