3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Mario Kummer, Tim Netzer
We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This esta…