4,206 reputation
624
bio website mpi-sws.org
location Kaiserslautern, Germany
age 31
visits member for 1 year, 2 months
seen 8 hours ago
stats profile views 287

PhD student at MPI-SWS.


Mar
18
comment Computing the “lying over”, “going up”, “going down” ideals.
Q2: yes. Q3: Why should $Q \subseteq P_0$ hold? Obviously, $P_0 \in \mathrm{MinAss}(PB)$, so this is only the case iff $P_0 = Q$.
Mar
17
answered given a real number, build an infinite series that will converge to it
Mar
17
comment How many roots lie in the interval $(0,1)$?
Are $p$, $q$ and $r$ fixed? If yes, you could just solve the equation and check... Otherwise, what is the precise question?
Mar
17
comment Computing the “lying over”, “going up”, “going down” ideals.
I just checked my Commutative Algebra lecture notes. In fact, for the general Lying-Over theorem, it is sufficient that we have an integral ring extension $A \to B$.
Mar
17
revised Computing the “lying over”, “going up”, “going down” ideals.
The ring extension I gave in the last example was not, in fact, finite. Changed it by subtituting the factor $z$ with $z-x$.
Mar
16
comment Proving $(1 + 1/n)^{n+1} \gt e$
From a back-of-the-envelope calculation: your sequence is strictly monotonously falling (consider the difference between adjacent sequence elements), and its limits is $e$. Hence, each element of the sequence must be larger than $e$.
Mar
16
comment How to formulate a theorem about bijections between several sets
Why not call the sets $A_\alpha$ or $\alpha$?
Mar
16
revised Computing the “lying over”, “going up”, “going down” ideals.
Added concrete counter-example.
Mar
16
answered Computing the “lying over”, “going up”, “going down” ideals.
Mar
16
revised Where am I going wrong when removing brackets from (s+1)(s+5)(s-3)
Noted a small error, reference other answer.
Mar
16
answered Where am I going wrong when removing brackets from (s+1)(s+5)(s-3)
Mar
16
comment See the sign of the double derivative from just looking at the graph?
Another way to put this: If you run along the graph, it has positive second derivative if it turns left, and negative if it turns right. In this example, you will find that its second derivative switches signs exactly once.
Mar
16
comment Jordan Normal form — Complex matrices
Since the characteristic polynomial factors into linear factors, there should be no problems - after all, all eigenvalues are real.
Mar
15
answered Number of distinct limits of subsequences of a sequence is finite?
Mar
15
comment Time complexity of algorithm computing averages
PPS: You can just edit your post instead of writing an answer.
Mar
15
comment Time complexity of algorithm computing averages
PS: This looks very much like homework, so I would rather not give the answer directly, but help you in learning the methods instead.
Mar
15
comment Time complexity of algorithm computing averages
If it is $n/2$ in the average case, that means that $r \in \Omega(n)$ (i.e., the inner part of the for loops runs in $\Omega(n)$). Hence, the overall algorithm is in ...?
Mar
15
comment the set of sentences (i.e. closed formulas) of first-order logic and the Chomsky hierarchy
Oh, I'm sorry. Of course, adding a space bound like that will generate a new in-between class. They are somewhat related to the XYZ-SPACE classes in complexity, if that helps you.
Mar
15
answered the set of sentences (i.e. closed formulas) of first-order logic and the Chomsky hierarchy
Mar
15
comment Calculate pairing in a rotational system
Actually, pairwise coverage would mean that you want tuples A_i B_j C_k.