[hacker news] 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]
来源
本文首发于 hacker news。
阅读原文：[Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean]](https://news.ycombinator.com/item?id=47820134)
0