5,200 reputation
1935
bio website mpi-sws.org
location Kaiserslautern, Germany
age 33
visits member for 2 years, 11 months
seen 14 hours ago

PhD student at MPI-SWS.


Nov
24
reviewed No Action Needed interior of a nested increasing union over a sequence of sets
Nov
24
reviewed Close Finding determinant using properties of determinant without expanding
Nov
24
reviewed Close Can you please proof that f is constant by computing the derivative f?
Nov
24
reviewed Close Minimizing/Maximizing triangle
Nov
24
reviewed Close How to prove something about the order of element at a group
Nov
23
reviewed Close Sequences in Banach spaces
Nov
23
reviewed Close Prove that $f(x)=x^2 \sin\left ( \frac{1}{x} \right )$ for $x \neq 0$, $f(0)=0$ is differentiable on $\mathbb{R}$.
Nov
23
reviewed Approve An exception to Taylor Series
Nov
23
reviewed Reject Maximum Theorem with concavity condition
Nov
23
reviewed Close No. of $t,s \in [0,1]$ such that $f(t)=f(s)$ for a continuous function $f:[0,1]\rightarrow [0,1]$
Nov
23
reviewed Leave Closed Find a set similar to cantor set
Nov
23
reviewed Close All roots of the quartic equation $a x^4 + b x^3 + x^2 + x + 1 = 0$ cannot be real
Nov
23
reviewed Leave Open Show that the following set has the same cardinality as $\mathbb R$ using CSB
Nov
23
answered Is there a polynomial-time algorithm to find a prime larger than $n$?
Nov
23
answered How to prove that untyped $\lambda$ and simply typed $\lambda$ are of diferent expressive powers
Nov
23
reviewed Approve Prove/refute: Every tautology is contingent
Nov
23
reviewed Approve Having trouble understanding Series and Sequences
Nov
23
reviewed Approve Using the ratio test to find which values of x a series converges
Nov
23
reviewed Leave Open $2\times2$ matrices are not big enough
Nov
21
reviewed Leave Open Minimum of a strange function