Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.
Project: 2020 MPI MiS and TU Berlin
Views: 373License: MIT
Image: 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 |