Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.
License: MIT
ubuntu2004
Name | Size | Last Modified |
|---|---|---|
| counterexample-A.sobj | 21.3 KB | 11/10/2020, 11:05:56 AM |
| counterexample-P.sobj | 271 bytes | 11/10/2020, 11:06:14 AM |
| verifysoscertificate.ipynb | 22.7 KB | 11/10/2020, 11:06:41 AM |