Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean]
Available in: 中文
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean]
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean]
Source
Originally published on hacker news.
Read the full article: [Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean]](https://news.ycombinator.com/item?id=47820134)
0