Scan barcode
234 pages • missing pub info (editions)
ISBN/UID: 9781680836363
Format: Paperback
Language: English
Publisher: Now Publishers
Publication date: 10 December 2019
Description
In the last two decades a link has been established that, in some cases, proof that a solution exists has enabled an algorithm to find that solution itself. This has had most effect on semialgebraic proof systems and linear and semidefinite progra...
Community Reviews
Content Warnings
234 pages • missing pub info (editions)
ISBN/UID: 9781680836363
Format: Paperback
Language: English
Publisher: Now Publishers
Publication date: 10 December 2019
Description
In the last two decades a link has been established that, in some cases, proof that a solution exists has enabled an algorithm to find that solution itself. This has had most effect on semialgebraic proof systems and linear and semidefinite progra...
Community Reviews
Content Warnings