Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

The Minimum Shared Edges Problem on Grid-Like Graphs. - Till Fluschnik; Meike Hatzel; Steffen Härtlein; Hendrik Molter; Henning Seidler (WG, 2017)

An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization. - Henning Seidler; Timo de Wolff (CoRR, 2018)

Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. - Victor Magron; Henning Seidler; Timo de Wolff (ISSAC, 2019)

Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials. - Victor Magron; Henning Seidler; Timo de Wolff (CoRR, 2019)