Milos Tatarevic

activity

20152026

collaborators

3 papers

math.CO2026

A constructive two-parameter Ramsey increment

Milos Tatarevic

We prove the inequality $R (k + 1, s + 1) \geq R (k, s) + 2 k + 2 s$ for classical Ramsey numbers, valid for all $5 \leq k \leq s$ , and formalize the proof in Lean 4. As a consequence, we obtai…

math.NT2019

Improved algorithms for left factorial residues

Vladica Andrejić, Alin Bostan, Milos Tatarevic

We present improved algorithms for computing the left factorial residues $! p = 0! + 1! + ... + (p - 1)! mod p$ . We use these algorithms for the calculation of the residues $! p mod p$ , f…

cs.CG2015

On Limits of Dense Packing of Equal Spheres in a Cube

Milos Tatarevic

We examine packing of $n$ congruent spheres in a cube when $n$ is close but less than the number of spheres in a regular cubic close-packed (ccp) arrangement of $\lceil p^{3}/2\rce…