CoCalc Public FilesIsabelle / publicSOScertificateOpen with one click!
Views of something in this directory: 68
License: MIT License
Description: Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.
Compute Environment: Ubuntu 20.04 (Default)
counterexample-A.sobj
counterexample-P.sobj
verifysoscertificate.ipynb