Follow
Thorsten Theobald
Thorsten Theobald
Professor of Mathematics, Goethe-Universität Frankfurt am Main
Verified email at math.uni-frankfurt.de - Homepage
Title
Cited by
Cited by
Year
First Steps in Tropical Geometry
J Richter-Gebert, B Sturmfels, T Theobald
Idempotent mathematics and mathematical physics: international workshop …, 2005
5272005
Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications
C Meinel, T Theobald
Springer Science & Business Media, 1998
5021998
Exploiting symmetries in SDP-relaxations for polynomial optimization
C Riener, T Theobald, LJ Andrén, JB Lasserre
Mathematics of Operations Research 38 (1), 122-141, 2013
1522013
Games of fixed rank: A hierarchy of bimatrix games
R Kannan, T Theobald
Economic Theory 42, 157-173, 2010
962010
Common Tangents to Four Unit Balls in R 3
IG Macdonald, J Pach, T Theobald
Discrete & Computational Geometry 26, 1-17, 2001
652001
Computing amoebas
T Theobald
Experimental Mathematics 11 (4), 513-526, 2002
642002
Linear sifting of decision diagrams
C Meinel, F Somenzi, T Theobald
Proceedings of the 34th annual Design Automation Conference, 202-207, 1997
611997
Polyhedral and algebraic methods in computational geometry
M Joswig, T Theobald
Springer Science & Business Media, 2013
552013
Linear sifting of decision diagrams and its application in synthesis
C Meinel, F Somenzi, T Theobald
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000
542000
On the frontiers of polynomial computations in tropical geometry
T Theobald
Journal of Symbolic Computation 41 (12), 1360-1375, 2006
522006
Mixed volume techniques for embeddings of Laman graphs
R Steffens, T Theobald
Computational Geometry 43 (2), 84-93, 2010
442010
Tropical bases by regular projections
K Hept, T Theobald
Proceedings of the American Mathematical Society 137 (7), 2233-2241, 2009
432009
Local encoding transformations for optimizing OBDD-representations of finite state machines
C Meinel, T Theobald
International Conference on Formal Methods in Computer-Aided Design, 404-418, 1996
401996
Containment problems for polytopes and spectrahedra
K Kellner, T Theobald, C Trabandt
SIAM Journal on Optimization 23 (2), 1000-1020, 2013
372013
A unified framework of SAGE and SONC polynomials and its duality theory
L Katthän, H Naumann, T Theobald
Mathematics of Computation 90 (329), 1297-1322, 2021
312021
Algorithmen und Datenstrukturen im VLSI-Design: OBDD—Grundlagen und Anwendungen
C Meinel, T Theobald
Springer-Verlag, 2013
292013
Lines tangent to 2𝑛-2 spheres in ℝⁿ
F Sottile, T Theobald
Transactions of the American Mathematical Society 354 (12), 4815-4829, 2002
282002
Approximating amoebas and coamoebas by sums of squares
T Theobald, T De Wolff
Mathematics of Computation 84 (291), 455-473, 2015
26*2015
Amoebas of genus at most one
T Theobald, T De Wolff
Advances in Mathematics 239, 190-213, 2013
262013
Combinatorics and genus of tropical intersections and Ehrhart theory
R Steffens, T Theobald
SIAM Journal on Discrete Mathematics 24 (1), 17-32, 2010
262010
The system can't perform the operation now. Try again later.
Articles 1–20