Henning Seidler
According to our database1,
Henning Seidler
authored at least 6 papers
between 2016 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
CoRR, 2019
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.
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.
CoRR, 2018
2017
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2017
2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016