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
5032005
Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications
C Meinel, T Theobald
Springer Science & Business Media, 1998
4651998
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
1122013
Games of fixed rank: A hierarchy of bimatrix games
R Kannan, T Theobald
Economic Theory 42 (1), 157-173, 2010
912010
Linear sifting of decision diagrams
C Meinel, F Somenzi, T Theobald
Proceedings of the 34th annual Design Automation Conference, 202-207, 1997
621997
Common tangents to four unit balls in R 3
IG Macdonald, J Pach, T Theobald
Discrete & Computational Geometry 26 (1), 1-17, 2001
602001
Computing amoebas
T Theobald
Experimental Mathematics 11 (4), 513-526, 2002
572002
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
502000
On the frontiers of polynomial computations in tropical geometry
T Theobald
Journal of Symbolic Computation 41 (12), 1360-1375, 2006
472006
Tropical bases by regular projections
K Hept, T Theobald
Proceedings of the American Mathematical Society 137 (7), 2233-2241, 2009
422009
Polyhedral and algebraic methods in computational geometry
M Joswig, T Theobald
Springer Science & Business Media, 2013
412013
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
411996
Mixed volume techniques for embeddings of Laman graphs
R Steffens, T Theobald
Computational Geometry 43 (2), 84-93, 2010
372010
Containment problems for polytopes and spectrahedra
K Kellner, T Theobald, C Trabandt
SIAM Journal on Optimization 23 (2), 1000-1020, 2013
322013
Algorithmen und Datenstrukturen im VLSI-Design: OBDD—Grundlagen und Anwendungen
C Meinel, T Theobald
Springer-Verlag, 2013
292013
Combinatorics and genus of tropical intersections and Ehrhart theory
R Steffens, T Theobald
SIAM Journal on Discrete Mathematics 24 (1), 17-32, 2010
292010
Lines tangent to 2𝑛-2 spheres in ℝⁿ
F Sottile, T Theobald
Transactions of the American Mathematical Society 354 (12), 4815-4829, 2002
272002
Amoebas of genus at most one
T Theobald, T De Wolff
Advances in Mathematics 239, 190-213, 2013
252013
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
242021
Algorithmische Geometrie: Polyedrische und algebraische Methoden
M Joswig, T Theobald
Vieweg, 2008
242008
The system can't perform the operation now. Try again later.
Articles 1–20