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
4772005
Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications
C Meinel, T Theobald
Springer Science & Business Media, 2012
4372012
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
882013
Games of fixed rank: A hierarchy of bimatrix games
R Kannan, T Theobald
Economic Theory 42 (1), 157-173, 2010
842010
Linear sifting of decision diagrams
C Meinel, F Somenzi, T Theobald
Proceedings of the 34th annual Design Automation Conference, 202-207, 1997
641997
Common Tangents to Four Unit Balls in R 3
IG Macdonald, J Pach, T Theobald
Discrete & Computational Geometry 26 (1), 1-17, 2001
622001
Computing amoebas
T Theobald
Experimental Mathematics 11 (4), 513-526, 2002
522002
On the frontiers of polynomial computations in tropical geometry
T Theobald
Journal of Symbolic Computation 41 (12), 1360-1375, 2006
462006
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
452000
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
431996
Tropical bases by regular projections
K Hept, T Theobald
Proceedings of the American Mathematical Society 137 (7), 2233-2241, 2009
372009
Polyhedral and algebraic methods in computational geometry
M Joswig, T Theobald
Springer Science & Business Media, 2013
342013
Mixed volume techniques for embeddings of Laman graphs
R Steffens, T Theobald
Computational Geometry 43 (2), 84-93, 2010
332010
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
282010
Containment problems for polytopes and spectrahedra
K Kellner, T Theobald, C Trabandt
SIAM Journal on Optimization 23 (2), 1000-1020, 2013
272013
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
222013
Algorithmische Geometrie: Polyedrische und algebraische Methoden
M Joswig, T Theobald
Vieweg, 2008
212008
Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices
R Brandenberg, T Theobald
Applicable Algebra in Engineering, Communication and Computing 14 (6), 439-460, 2004
202004
The system can't perform the operation now. Try again later.
Articles 1–20