5,160 reputation
1935
bio website mpi-sws.org
location Kaiserslautern, Germany
age 33
visits member for 2 years, 9 months
seen 42 mins ago

PhD student at MPI-SWS.


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
Nov
21
reviewed Leave Open The closed form of a sum of mod(k,m) where k goes from 1 to a arbitrary number.
Nov
21
reviewed Close Prove that $\alpha$ is algebraic over $K$.