Dynamic Time Warping (DTW) library implementing lower bounds (LB_Keogh, LB_Improved...)
-
Updated
Mar 31, 2026 - C++
#
lower-bounds
Here are 10 public repositories matching this topic...
Extensions for ordered Rust slices.
-
Updated
Aug 27, 2023 - Rust
A Gurobi implementation that tracks upper and lower bounds for any Mixed-Integer Programming (MIP) problem using callbacks. Includes visualization with Matplotlib.
python optimization callback gurobi matplotlib mathematical-modelling lower-bounds mip upper-bounds mixed-integer-programming gurobipy operations-r
-
Updated
Mar 14, 2025 - Jupyter Notebook
Записките ми за упражнения по "Дизайн и анализ на алгоритми"
sorting algorithms np-hard complexity graph-theory dynamic-programming lower-bounds asymptotic-analysis np-completeness np-problem
-
Updated
Feb 21, 2026 - TeX
Network Flow: Given a directed graph with edge capacities and vertex demands, is there a circulation of flow?
demand network-flow source supply breadth-first-search lower-bounds sink flow-network patullo noah noah-patullo ford-fulkerson noahpatullo capacity patulo flow-networks pattullo pattulo circulation circulation-with-demands
-
Updated
Jul 20, 2017 - Java
-
Updated
Dec 8, 2022 - Python
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.
theorem-proving lower-bounds formal-verification ai-safety mathlib measure-theory lean4 admissibility-dynamics inconsistency-accumulation delayed-constraints
-
Updated
May 19, 2026 - Lean
Java classes for storing, searching, and manipulating char, int, and float ranges (a set of values between a min and max)
-
Updated
Mar 3, 2019 - Java
Master's thesis (2014-2015) + preparatory work (memof403 2013-2014)
computer-science research master-thesis mathematics lower-bounds point-location k-sum subset-sum linear-decision-tree-model
-
Updated
Oct 27, 2020 - PostScript
Novel mathematical framework connecting P vs NP to the golden ratio phi via witness space geometry. Part of the unified E8/H4/phi theory.
mathematics np-complete fibonacci golden-ratio theoretical-computer-science sat-solver algorithm-analysis lower-bounds phi computational-complexity hamming-distance boolean-satisfiability satisfiability renormalization complexity-theory phase-transition p-vs-np e8-lattice millennium-prize witness-space
-
Updated
Jan 27, 2026 - Python
Improve this page
Add a description, image, and links to the lower-bounds topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lower-bounds topic, visit your repo's landing page and select "manage topics."