Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News Sign UpSign In

Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.

Views: 373
License: MIT
Image: ubuntu2004
Name
Size
Last Modified
counterexample-A.sobj21.3 KB11/10/2020, 11:05:56 AM
counterexample-P.sobj271 bytes11/10/2020, 11:06:14 AM
verifysoscertificate.ipynb22.7 KB11/10/2020, 11:06:41 AM