On a personal note, it is almost eerie that it appeared just as I finished a week in Chile at a workshop [1] looking into Buchberger's algorithm and the connections between Gröbner bases and bit complexity of proofs via sums of squares [2, 3].
[1]: https://sites.google.com/view/vverdugo/events/hierarchies-an...
[2]: https://www.cs.cmu.edu/~odonnell/papers/sos-automatizability...
[3]: https://arxiv.org/abs/1702.05139
On a personal note, it is almost eerie that it appeared just as I finished a week in Chile at a workshop [1] looking into Buchberger's algorithm and the connections between Gröbner bases and bit complexity of proofs via sums of squares [2, 3].
[1]: https://sites.google.com/view/vverdugo/events/hierarchies-an...
[2]: https://www.cs.cmu.edu/~odonnell/papers/sos-automatizability...
[3]: https://arxiv.org/abs/1702.05139