Henning Seidler

According to our database, Henning Seidler authored at least 6 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials.

Victor Magron, Henning Seidler, Timo de Wolff

CoRR, 2019

Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.

Victor Magron, Henning Seidler, Timo de Wolff

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization.

Henning Seidler, Timo de Wolff

CoRR, 2018

2017

The Minimum Shared Edges Problem on Grid-Like Graphs.

Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2017

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

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

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016