Top network posts

• 32 find(1): how is the star wildcard implemented for it to fail on some filenames?
• 27 FO-definability of the integers in (Q, +, <)
• 21 Which recursively-defined predicates can be expressed in Presburger Arithmetic?
• 18 For a linear recurrence sequence $(u_n)_{n\geq 0}$, can $\{i \mid u_i > 0\}$ be the set of Fibonacci numbers?
• 11 Count consecutive positions with the same value
• 11 A zero \parskip and an unusual \paragraph result in overlapping paragraphs
• 11 Rotate a node but not its content: the case of the ellipse decoration
• View more network posts →