Skip to content

Commit

Permalink
Fix link to Motzkin example (#339)
Browse files Browse the repository at this point in the history
  • Loading branch information
blegat authored Dec 21, 2023
1 parent 12a477a commit c4f7e9a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/sumofsquares.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ The first explicit example of polynomial that was not a sum of squares was given
x_1^4x_2^2 + x_1^2x_2^4 + 1 - 3x_1^2x_2^2 \geq 0 \quad \forall x
```
While it is not a sum of squares, it can still be certified to be nonnegative using sum-of-squares programming by identifying it with a rational sum-of-squares decomposition.
These facts can be verified numerically using this package as detailed in the [motzkin notebook](https://github.com/jump-dev/SumOfSquares.jl/blob/master/examples/motzkin.ipynb).
These facts can be verified numerically using this package as detailed in the [Motzkin](@ref) example.

### References

Expand Down

0 comments on commit c4f7e9a

Please sign in to comment.