Timeline for Lower convex envelope of polynomial functions
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 1 at 0:38 | comment | added | Tuong Nguyen Minh | Can you provide an example ? | |
| May 13, 2021 at 14:12 | comment | added | Aleksei Kulikov | @DenisSerre my problem is that I've learned these things in my first year undergraduate logic class so I've long forgoten all the references (and all the proofs). The only link I can give you is Tarski-Seidenberg Theorem which states the result about the elimination of quantifiers, sorry. | |
| May 13, 2021 at 6:09 | comment | added | Denis Serre | Thank you. What is a practical reference, to learn about these techniques ? | |
| May 13, 2021 at 2:49 | history | answered | Aleksei Kulikov | CC BY-SA 4.0 |