Mathematics
SagarM's user avatar
SagarM's user avatar
SagarM's user avatar
SagarM
  • Member for 9 years, 5 months
  • Last seen this week
Profile Activity
Stats
1,777
reputation
608k
reached
59
answers
58
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
26
bronze badges
Top tags
View all tags
19
Score
19
Posts
16
Posts %
12
Score
23
Posts
20
Posts %
4
Score
5
Posts
4
Posts %
3
Score
5
Posts
4
Posts %
2
Score
15
Posts
13
Posts %
2
Score
5
Posts
4
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
8
Visually stunning math concepts which are easy to explain
Apr 28, 2020
answer
7
Showing Logical Equivalence
Jan 21, 2021
question
7
Trying to understand the formula for counting labelled directed acyclic graphs?
Nov 11, 2022
answer
7
Trouble with "only if"
Mar 16, 2022
question
7
What does $\exists^{=1}$ stands for?
Jun 30, 2020
answer
6
Proof that $e^{i\theta}/e^ {i\phi} = e^{i(\theta - \phi)}$
Feb 17, 2022
question
5
Proving that : $(\forall n: \sum_{i=1}^{m} a_i x_i^{n} =\sum_{i=1}^{m} a_i y_i^{n} )\rightarrow (\sum_{i=1}^{m}x_i =\sum_{i=1}^{m}y_i )$
Mar 11, 2022
question
5
How can I formally prove that undirected graphs cannot be axiomatised in First Order Logic with only unary predicates?
Jul 14, 2021
question
4
Problem in understanding Graph Enumeration ? (From the book on Graphical Enumeration by Palmer and Harary)
May 20, 2021
question
3
Probable error on N-ball recurrence relation on Wikipedia
Oct 25, 2019
Top network posts
View all network posts
9
Existing implementation of Scott's reduction?
8
Is there any online lecture series that covers "Computational Complexity: A Modern Approach"?
8
Are there analogous works to PPSZ algorithm for #P?
6
Can modern SAT-Solvers utilise the symmetry of First Order Logic?

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.