Milos Tatarevic

activity

20142026

most citedSearching for a counterexample to Kurepa's Conjecture

10 citations · 15 across the 4 of their papers we have counts for

collaborators

Showing math.COShow all

2 papers · 1 filter

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.CO2015

New Lower Bounds for 28 Classical Ramsey Numbers

Geoffrey Exoo, Milos Tatarevic

We establish new lower bounds for $28$ classical two and three color Ramsey numbers, and describe the heuristic search procedures we used. Several of the new three color bounds are…