No results found

duality

Duality theory in linear optimization and its extensions
#linear-algebra #linear-programming
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlib00df099

    The math library of Lean 4