1,030 reputation
420
bio website
location Aachen, Germany
age 25
visits member for 2 years, 7 months
seen 2 hours ago

I'm computer science grad student in my first master semester majoring in theoretical computer science.


Jul
5
revised Cantor-like set removing middle-$\alpha$ open intervals
fixing title
Jul
5
revised Quarters weigh 6 grams while dimes weigh 2 grams.
Latex fixing
Jul
5
revised Complexity & Computability & Turing Problem
latex grammar
May
28
revised Homomorphical Equivalence is NP-complete
Format, Capitalization
May
13
revised Projected graph and given graph
Grammar, Latex, Spacing
May
10
revised Bad proof or not?
Formatting, Latex, Math stuff
May
9
revised Finding 1000th 5-smooth number
Beautify, Latex ...
Feb
13
revised Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Specialization
Feb
5
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct the set
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct formula
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
More explenation
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
spelling prettierer relations
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
added additional tags
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling puncuation
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling and stuff
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
fixing latex
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
edited tags
Feb
3
revised Warehouse Location Problem as an integer progam instead of a mixed-integer program
spelling
Jan
20
revised First Order logic with vertex covers
defining vertex cover. correcting syntax of binary relations.