Follow

Been playing with disjunctive cuts today. Two pages of draft and ~20 lines of + @JuMPjl@twitter.com and there you go with <γ, x> - γ0 ≤ 0

Sign in to participate in the conversation
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!