TY - BOOK ID - 138532779 TI - Semialgebraic proofs and efficient algorithm design AU - Fleming, Noah AU - Kothari, Pravesh AU - Pitassi, Toniann PY - 2019 SN - 1680836374 PB - Norwell, Massachusetts : [Piscataqay, New Jersey] : Now Publishers, IEEE Xplore, DB - UniCat KW - Computer algorithms. KW - Semialgebraic sets. UR - https://www.unicat.be/uniCat?func=search&query=sysid:138532779 AB - The book provides the advanced reader with a deep insight into the exciting line of research, namely, proof that a solution exists has enabled an algorithm to find that solution itself with applications in many areas of computer science. It will inspire readers in deploying the techniques in their own further research. ER -