Skip to main content
Mathematics
Daniil's user avatar
Daniil's user avatar
Daniil's user avatar
Daniil
  • Member for 12 years, 11 months
  • Last seen more than 6 years ago
  • Moscau
Profile Activity
Stats
1,167
reputation
175k
reached
6
answers
8
questions
Communities
View all
Badges
View all badges
2
gold badges
11
silver badges
22
bronze badges
Top tags
View all tags
6
Score
5
Posts
36
Posts %
5
Score
1
Posts
7
Posts %
5
Score
1
Posts
7
Posts %
5
Score
1
Posts
7
Posts %
3
Score
1
Posts
7
Posts %
1
Score
3
Posts
21
Posts %
Top posts
View all questions and answers
33
How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?
Oct 8, 2011
19
Examples of categories where epimorphism does not have a right inverse, not surjective
Nov 11, 2011
17
Can someone please explain 3-CNF for me?
Aug 8, 2011
11
Prove that for any infinite poset there is an infinite subset which is either linearly ordered or antichain.
Jan 4, 2012
5
Counting functions between two sets
Nov 21, 2011
3
If a line segment is divided into 2 parts then one of the parts is equinumerous to the original segment.
Jan 1, 2012
3
Proof that $B^{A \times A'}$ is isomorphic to $(B^A)^{A'}$ in a CCC
Jan 29, 2013
3
LTL is a star-free language but it can describe $a^*b^\omega$. Contradiction?
Apr 8, 2012
2
Modus Ponens Proof
Sep 25, 2014
1
$P(A) = Q(A)$ if $P(\lambda) = Q(\lambda)$ for all eigenvalues $\lambda$ of $A$
Nov 21, 2011
Top Meta posts
0
1
4
Stock answer for questions relating to formal proof
Top network posts
View all network posts
33
Equivalence of Büchi automata and linear $\mu$-calculus
32
What does 'true concurrency' mean?
27
What are the conditions for a NFA for its equivalent DFA to be maximal in size?
24
Dependent types vs refinement types
21
What is MonadBaseControl for?