Thorsten Theobald

According to our database, Thorsten Theobald authored at least 48 papers between 1995 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2025

Symmetric SAGE and SONC forms, exactness and quantitative gaps.

Philippe Moustrou, Cordian Riener, Thorsten Theobald, Hugues Verdure

J. Symb. Comput., 2025

2023

Sublinear circuits and the constrained signomial nonnegativity problem.

Riley Murray, Helen Naumann, Thorsten Theobald

Math. Program., March, 2023

Semidefinite network games: multiplayer minimax and semidefinite complementarity problems.

Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas, Antonios Varvitsiotis

CoRR, 2023

2022

Symmetry Reduction in AM/GM-Based Optimization.

Philippe Moustrou, Helen Naumann, Cordian Riener, Thorsten Theobald, Hugues Verdure

SIAM J. Optim., 2022

Foreword: Special issue of JSC on the occasion of MEGA 2019.

Alessandra Bernardi, Carlos D'Andrea, Thorsten Theobald

J. Symb. Comput., 2022

Semidefinite games.

Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas

CoRR, 2022

2021

A unified framework of SAGE and SONC polynomials and its duality theory.

Lukas Katthän, Helen Naumann, Thorsten Theobald

Math. Comput., 2021

2019

Imaginary projections of polynomials.

Thorsten Jörgens, Thorsten Theobald, Timo de Wolff

J. Symb. Comput., 2019

Irreducible Infeasible Subsystems of Semidefinite Systems.

Kai Kellner, Marc E. Pfetsch, Thorsten Theobald

J. Optim. Theory Appl., 2019

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

Janin Heuer, Frederic Matter, Marc E. Pfetsch, Thorsten Theobald

CoRR, 2019

2017

Mixed Ehrhart polynomials.

Christian Haase, Martina Juhnke-Kubitzke, Raman Sanyal, Thorsten Theobald

Electron. J. Comb., 2017

2016

Sum of Squares Certificates for Containment of <i>H</i>-Polytopes in <i>V</i>-Polytopes.

Kai Kellner, Thorsten Theobald

SIAM J. Discret. Math., 2016

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

Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald

Dagstuhl Reports, 2016

Einführung in die computerorientierte Mathematik mit Sage.

Thorsten Theobald, Sadik Iliman

Springer Studium Mathematik - Bachelor, Springer, ISBN: 978-3-658-10452-8, 2016

2015

A Semidefinite Hierarchy for Containment of Spectrahedra.

Kai Kellner, Thorsten Theobald, Christian Trabandt

SIAM J. Optim., 2015

Approximating amoebas and coamoebas by sums of squares.

Thorsten Theobald, Timo de Wolff

Math. Comput., 2015

2013

Containment Problems for Polytopes and Spectrahedra.

Kai Kellner, Thorsten Theobald, Christian Trabandt

SIAM J. Optim., 2013

Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization.

Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre

Math. Oper. Res., 2013

Polyhedral and Algebraic Methods in Computational Geometry.

Michael Joswig, Thorsten Theobald

Universitext, Springer, ISBN: 978-1-4471-4816-6, 2013

2012

Determining a Rotation of a Tetrahedron from a Projection.

Richard J. Gardner, Paolo Gronchi, Thorsten Theobald

Discret. Comput. Geom., 2012

2010

Combinatorics and Genus of Tropical Intersections and Ehrhart Theory.

Reinhard Steffens, Thorsten Theobald

SIAM J. Discret. Math., 2010

Mixed volume techniques for embeddings of Laman graphs.

Reinhard Steffens, Thorsten Theobald

Comput. Geom., 2010

2008

Algorithmische Geometrie - Polyedrische und algebraische Methoden.

Michael Joswig, Thorsten Theobald

Vieweg Studium, Vieweg+Teubner, ISBN: 978-3-8348-0281-1, 2008

2007

Enumerating the Nash equilibria of rank 1-games

Thorsten Theobald

CoRR, 2007

Games of fixed rank: a hierarchy of bimatrix games.

Ravi Kannan, Thorsten Theobald

Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2007

2006

On the frontiers of polynomial computations in tropical geometry.

Thorsten Theobald

J. Symb. Comput., 2006

2005

Exact analysis of optimal configurations in radii computations.

René Brandenberg, Thorsten Theobald

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.

René Brandenberg, Thorsten Theobald

Appl. Algebra Eng. Commun. Comput., 2004

2003

Common Transversals and Tangents to Two Lines and Two Quadrics in P.

Gábor Megyesi, Frank Sottile, Thorsten Theobald

Discret. Comput. Geom., 2003

2002

An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$.

Thorsten Theobald

SIAM J. Comput., 2002

Computing Amoebas.

Thorsten Theobald

Exp. Math., 2002

Common transversals and tangents to two lines and two quadrics in P³

Gábor Megyesi, Frank Sottile, Thorsten Theobald

CoRR, 2002

Homotopy techniques for real-time visualization of geometric tangent problems.

Daniel Kotzor, Thorsten Theobald

Proceedings of the 18th Annual Symposium on Computational Geometry, 2002

2001

Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines.

Christoph Meinel, Thorsten Theobald

Formal Methods Syst. Des., 2001

Common Tangents to Four Unit Balls in <i>R</i>³.

I. G. MacDonald, János Pach, Thorsten Theobald

Discret. Comput. Geom., 2001

Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry.

Thorsten Theobald

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.

Christoph Meinel, Fabio Somenzi, Thorsten Theobald

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999

Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits.

Christoph Meinel, Thorsten Theobald

J. Circuits Syst. Comput., 1999

On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.

Christoph Meinel, Thorsten Theobald

RAIRO Theor. Informatics Appl., 1999

1998

Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey

Christoph Meinel, Thorsten Theobald

Electron. Colloquium Comput. Complex., 1998

Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen

Christoph Meinel, Thorsten Theobald

Springer, ISBN: 3-540-63869-5, 1998

Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications

Christoph Meinel, Thorsten Theobald

Springer, ISBN: 3-540-64486-5, 1998

1997

Function Decomposition and Synthesis Using Linear Sifting

Christoph Meinel, Fabio Somenzi, Thorsten Theobald

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

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

Christoph Meinel, Thorsten Theobald

Inform. Spektrum, 1997

Transformation techniques for decision diagrams in computer-aided design.

Thorsten Theobald

PhD thesis, 1997

1996

Linear Sifting of Decision Diagrams

Christoph Meinel, Fabio Somenzi, Thorsten Theobald

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

State Encodings and OBDD-Sizes

Thorsten Theobald, Christoph Meinel

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

1995

How to Break Shamir's Asymmetric Basis.

Thorsten Theobald

Proceedings of the Advances in Cryptology, 1995