query: Reasoning about Floor Functions of Floor Functions
positive_passages.docid: 157334
positive_passages.text: A valid floor function trick?
negative_passages.docid: 41726
negative_passages.text: Musical and combinatorial proof
negative_passages.docid: 158295
negative_passages.text: First Order Logic clauses decidability
negative_passages.docid: 21802
negative_passages.text: Prove $\sum_{d \leq x} \mu(d)\left\lfloor \frac xd \right\rfloor = 1 $
negative_passages.docid: 79836
negative_passages.text: Proof for $\left\lfloor\frac 1j\left\lfloor\frac nk\right\rfloor\right\rfloor=\left\lfloor\frac n{jk}\right\rfloor$
negative_passages.docid: 156831
negative_passages.text: Prove $\Sigma_{k=0}^{n-1}\lfloor x+\frac{k}{n}\rfloor=\lfloor nx\rfloor$ , n is a Natural Number
negative_passages.docid: 98559
negative_passages.text: subtlety of self-defined function and its evaluation
negative_passages.docid: 26865
negative_passages.text: Difference of the floor of a product and the product of floors
negative_passages.docid: 142907
negative_passages.text: Integrating Floor Functions $\int_0^{1102} \lfloor{x^{1/2}}\rfloor \mathrm{d}x$
negative_passages.docid: 72034
negative_passages.text: Truth table and the meaning of $\oplus$ in propositional logic
negative_passages.docid: 140682
negative_passages.text: Proving a property of a Logic Formal Language
negative_passages.docid: 16187
negative_passages.text: proof of functional completeness of logical operators
negative_passages.docid: 158463
negative_passages.text: Analyzing $\biggl\lfloor{\frac{x}{5}}\bigg\rfloor=\bigg\lfloor{\frac{x}{7}}\bigg\rfloor$
negative_passages.docid: 88603
negative_passages.text: verify equicontinuous functions
negative_passages.docid: 140153
negative_passages.text: Conjectures Involving floor(x)/piecewise continuity with regards to Integration and Differential Equations
negative_passages.docid: 107258
negative_passages.text: Proving If $k \le \left\lfloor \frac{n}{2} \right\rfloor$ then $\binom{n}{k-1} < \binom{n}{k}$
negative_passages.docid: 135267
negative_passages.text: Predicate Logic and Inference