SumOfSquares.jl icon indicating copy to clipboard operation
SumOfSquares.jl copied to clipboard
verified publisher icon jump-dev

Non-polynomial example

Open blegat opened this issue 1 year ago • 1 comments

With the rewrite on StarAlgebras in https://github.com/jump-dev/SumOfSquares.jl/pull/355, we can now use bases that are not monomial @kalmarek do you have a nice example we could use in the docs ?

blegat avatar Jul 03 '24 17:07 blegat

@kalmarek says https://github.com/kalmarek/QuantumStuff.jl/pull/5 is a nice example of Quantum correlation from the Bell's experiment : https://en.wikipedia.org/wiki/CHSH_inequality

blegat avatar Jul 03 '24 17:07 blegat