Mathematics
mudri's user avatar
mudri's user avatar
mudri's user avatar
mudri
  • Member for 10 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
261
reputation
649
reached
5
answers
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
2
Score
2
Posts
29
Posts %
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
5
Tensor product over non-commutative ring.
Jul 27, 2020
question
2
Is there another term for “complete closure”?
Aug 28, 2014
question
2
Linear algebra in Rel
Apr 3, 2020
answer
2
Example of a relation that is symmetric and transitive, but not reflexive
Sep 5, 2018
answer
2
Is there a "standard" normal form for formulas in linear logic?
Aug 31
answer
1
What is process/function to cancel base (in value with exponential)?
Feb 29, 2016
answer
1
Are infinitesimals equal to zero?
Aug 18, 2016
Top network posts
View all network posts
22
What is the correct pronunciation of "AJAX"?
15
How do Coq's bidirectionality hints (`&`) affect type checking?
13
Changing a quotation so that the original is recognised, but has been given a new meaning
13
How do I turn off the aggressive auto-indent in Proof General/Coq
11
What is the difference between "me neither" and "me either"?

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.