diff options
author | Nao Pross <np@0hm.ch> | 2024-05-10 22:58:39 +0200 |
---|---|---|
committer | Nao Pross <np@0hm.ch> | 2024-05-10 22:58:39 +0200 |
commit | 3069375afe794cbd5b950d7d50ab5728cfee9cbc (patch) | |
tree | 9874d33bc437fd2a2681e6af3b74a50815ec1f36 /README.md | |
parent | Fix error in construction of multipliers for Positivstellensatz (diff) | |
download | sumofsquares-3069375afe794cbd5b950d7d50ab5728cfee9cbc.tar.gz sumofsquares-3069375afe794cbd5b950d7d50ab5728cfee9cbc.zip |
Separate out Putinar positivstellensatz as function
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions