Thorsten Theobald

Orcid: 0000-0002-5769-0917

Affiliations:
  • Technical University of Berlin, Department of Mathematics, Germany
  • University of Trier, Germany


According to our database1, Thorsten Theobald authored at least 47 papers between 1995 and 2023.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Sublinear circuits and the constrained signomial nonnegativity problem.
Math. Program., March, 2023

Semidefinite network games: multiplayer minimax and semidefinite complementarity problems.
CoRR, 2023

2022
Symmetry Reduction in AM/GM-Based Optimization.
SIAM J. Optim., 2022

Foreword: Special issue of JSC on the occasion of MEGA 2019.
J. Symb. Comput., 2022

Semidefinite games.
CoRR, 2022

2021
A unified framework of SAGE and SONC polynomials and its duality theory.
Math. Comput., 2021

2019
Imaginary projections of polynomials.
J. Symb. Comput., 2019

Irreducible Infeasible Subsystems of Semidefinite Systems.
J. Optim. Theory Appl., 2019

Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions.
CoRR, 2019

2017
Mixed Ehrhart polynomials.
Electron. J. Comb., 2017

2016
Sum of Squares Certificates for Containment of <i>H</i>-Polytopes in <i>V</i>-Polytopes.
SIAM J. Discret. Math., 2016

Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482).
Dagstuhl Reports, 2016

Einführung in die computerorientierte Mathematik mit Sage.
Springer Studium Mathematik - Bachelor, Springer, ISBN: 978-3-658-10452-8, 2016

2015
A Semidefinite Hierarchy for Containment of Spectrahedra.
SIAM J. Optim., 2015

Approximating amoebas and coamoebas by sums of squares.
Math. Comput., 2015

2013
Containment Problems for Polytopes and Spectrahedra.
SIAM J. Optim., 2013

Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization.
Math. Oper. Res., 2013

Polyhedral and Algebraic Methods in Computational Geometry.
Universitext, Springer, ISBN: 978-1-4471-4816-6, 2013

2012
Determining a Rotation of a Tetrahedron from a Projection.
Discret. Comput. Geom., 2012

2010
Combinatorics and Genus of Tropical Intersections and Ehrhart Theory.
SIAM J. Discret. Math., 2010

Mixed volume techniques for embeddings of Laman graphs.
Comput. Geom., 2010

2008
Algorithmische Geometrie - Polyedrische und algebraische Methoden.
Vieweg Studium, Vieweg+Teubner, ISBN: 978-3-8348-0281-1, 2008

2007
Enumerating the Nash equilibria of rank 1-games
CoRR, 2007

Games of fixed rank: a hierarchy of bimatrix games.
Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2007

2006
On the frontiers of polynomial computations in tropical geometry.
J. Symb. Comput., 2006

2005
Exact analysis of optimal configurations in radii computations.
Proceedings of the (Informal) Proceedings of the 21st European Workshop on Computational Geometry, 2005

2004
Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices.
Appl. Algebra Eng. Commun. Comput., 2004

2003
Common Transversals and Tangents to Two Lines and Two Quadrics in P.
Discret. Comput. Geom., 2003

2002
An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$.
SIAM J. Comput., 2002

Computing Amoebas.
Exp. Math., 2002

Common transversals and tangents to two lines and two quadrics in P<sup>3</sup>
CoRR, 2002

Homotopy techniques for real-time visualization of geometric tangent problems.
Proceedings of the 18th Annual Symposium on Computational Geometry, 2002

2001
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines.
Formal Methods Syst. Des., 2001

Common Tangents to Four Unit Balls in <i>R</i><sup>3</sup>.
Discret. Comput. Geom., 2001

Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry.
Proceedings of the Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, 2001

2000
Linear sifting of decision diagrams and its application insynthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999
Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits.
J. Circuits Syst. Comput., 1999

On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.
RAIRO Theor. Informatics Appl., 1999

1998
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey
Electron. Colloquium Comput. Complex., 1998

Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen
Springer, ISBN: 3-540-63869-5, 1998

Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications
Springer, ISBN: 3-540-64486-5, 1998

1997
Function Decomposition and Synthesis Using Linear Sifting
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise.
Inform. Spektrum, 1997

Transformation techniques for decision diagrams in computer-aided design.
PhD thesis, 1997

1996
Linear Sifting of Decision Diagrams
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

State Encodings and OBDD-Sizes
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

1995
How to Break Shamir's Asymmetric Basis.
Proceedings of the Advances in Cryptology, 1995


  Loading...