summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2024-05-10 22:58:39 +0200
committerNao Pross <np@0hm.ch>2024-05-10 22:58:39 +0200
commit3069375afe794cbd5b950d7d50ab5728cfee9cbc (patch)
tree9874d33bc437fd2a2681e6af3b74a50815ec1f36 /README.md
parentFix error in construction of multipliers for Positivstellensatz (diff)
downloadsumofsquares-3069375afe794cbd5b950d7d50ab5728cfee9cbc.tar.gz
sumofsquares-3069375afe794cbd5b950d7d50ab5728cfee9cbc.zip
Separate out Putinar positivstellensatz as function
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions