Henning Seidler

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 7

Top Topics

Optimization Methods

Spectral Embedding

Real World Graphs

Top Venues

Publications

Victor Magron, Henning Seidler, Timo de Wolff
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. ISSAC (2019)
Victor Magron, Henning Seidler, Timo de Wolff
Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials. CoRR (2019)
Henning Seidler, Timo de Wolff
An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization. CoRR (2018)
Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler
The Minimum Shared Edges Problem on Grid-like Graphs. CoRR (2017)
Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler
The Minimum Shared Edges Problem on Grid-Like Graphs. WG (2017)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)