Mathematics
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
  • Member for 8 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
2,312
reputation
85k
reached
16
answers
34
questions
Communities
View all
About

Words which describe me do not exist!

Badges
View all badges
1
gold badge
13
silver badges
22
bronze badges
Top tags
View all tags
137
Score
11
Posts
22
Posts %
129
Score
3
Posts
6
Posts %
5
Score
3
Posts
6
Posts %
4
Score
4
Posts
8
Posts %
4
Score
3
Posts
6
Posts %
3
Score
3
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
126
Counterintuitive examples in probability
Feb 12, 2017
question
9
How does one visualize non-trivial finite fundamental groups?
May 3, 2018
question
5
Why is the Borel Subgroup self normalizing?
Feb 20, 2017
answer
5
How does $\arctan(0)$ equal $\pi?$
Dec 27, 2016
question
5
Metaphorical Story about the irrefutability of the law of excluded middle
Jul 18, 2018
question
4
Are there real solutions to $x^y = y^x = 3$ where $y \neq x$?
Feb 20, 2016
question
4
How do I integrate $\int \frac{dx}{\sin^3 x + \cos^3 x}$? [closed]
Mar 12, 2016
question
4
Series with Binomial Coefficients
Feb 4, 2017
question
4
Is there a different proof of "an irrational raised to the power of an irrational could be a rational" that works in intuitionistic logic?
May 15, 2017
question
4
What are some good examples of _Proof by Mutual Induction_?
Sep 25, 2018
Top network posts
View all network posts
57
Can you have your lunch at your work-desk in France?
34
Proof assistants for beginners - a comparison
27
Contradictory Behaviour of Lambda Functions
19
Which programming languages are most similar to proof assistants?
18
When to use coinductive types?

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.