Ask Us Anything!
Square CoCalc Logo
StoreFeaturesDocsShareSupport Try Sign InSign Up

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

Views: 358
License: MIT
Image: ubuntu2004
| Embed | Raw
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