From ea3862179df04c3ef8e80f54ae7eec9e759ea87e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Dvo=C5=99=C3=A1k?= Date: Mon, 9 Sep 2024 11:50:18 +0200 Subject: [PATCH] Update README.md --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 9f4b4d8..3b7756d 100644 --- a/README.md +++ b/README.md @@ -10,9 +10,8 @@ Instead of multiplication, we define scalar action $c \bullet \bot = \bot$ for e $d \bullet \top = \top$ only for $d > 0$ because $0 \bullet \top = 0$. We extend certain Farkas-like theorems to a setting where coefficients are from an extended linearly ordered field. -![AI-generated image](nonLean/AI-generated.jpg) - ## Main results -* [Farkas-Bartl theorem](https://github.com/madvorak/duality/blob/f8bb1a10ee5ff811b057cdcdb50b0b668d6e8d75/Duality/FarkasBartl.lean#L216) with [explanation](FarkasBartl.pdf) -* [Strong duality for extended LP](https://github.com/madvorak/duality/blob/f8bb1a10ee5ff811b057cdcdb50b0b668d6e8d75/Duality/LinearProgramming.lean#L1021) +* [Farkas-Bartl theorem](https://github.com/madvorak/duality/blob/86026c3f8754a29f32a03864d7377767c7cfe54b/Duality/FarkasBartl.lean#L216) with [explanation](FarkasBartl.pdf) +* [Extended Farkas theorem](https://github.com/madvorak/duality/blob/86026c3f8754a29f32a03864d7377767c7cfe54b/Duality/FarkasSpecial.lean#L284) +* [Strong duality for extended linear programs](https://github.com/madvorak/duality/blob/86026c3f8754a29f32a03864d7377767c7cfe54b/Duality/LinearProgramming.lean#L1083)