lower-bounds

Dynamic Time Warping (DTW) library implementing lower bounds (LB_Keogh, LB_Improved...)

Extensions for ordered Rust slices.

A Gurobi implementation that tracks upper and lower bounds for any Mixed-Integer Programming (MIP) problem using callbacks. Includes visualization with Matplotlib.

Записките ми за упражнения по "Дизайн и анализ на алгоритми"

Network Flow: Given a directed graph with edge capacities and vertex demands, is there a circulation of flow?

Machine-checked Lean 4 proofs for "Inconsistency Accumulation in Forward-Local Sequential Policies." Quantitative lower bound E[I_N] >= N/|U| with measure-theoretic verification via two independent proof paths, plus Proposition 1 summary sufficiency and Section 7 arithmetic witnesses.

Lean 4 formalization of lower bounds for nonconvex–concave minimax optimization

Java classes for storing, searching, and manipulating char, int, and float ranges (a set of values between a min and max)

Explicit group-invariant colourings improving three lower bounds in section 7.1(a) of the dynamic survey Small Ramsey Numbers: R(4,4,4;3) >= 84, R(4,6;3) >= 64, R(5,5;4) >= 36

Exactly certified work on Heilbronn's triangle problem: one improved lower bound in the unit disk (n=14), plus a rigidity audit of the unit-square landscape. Every number re-derived from integers in exact arithmetic.

Describe what your system must be able to recover; get a proven state floor

Information-theoretic lower bounds for diffusion-based image compression with learned generative priors.

A comparison of lower bounding methods

Master's thesis (2014-2015) + preparatory work (memof403 2013-2014)

Novel mathematical framework connecting P vs NP to the golden ratio phi via witness space geometry. Part of the unified E8/H4/phi theory.