Stebėti
Thorsten Theobald
Thorsten Theobald
Professor of Mathematics, Goethe-Universität Frankfurt am Main
Patvirtintas el. paštas math.uni-frankfurt.de - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
Polyhedral and algebraic methods in computational geometry
M Joswig, T Theobald
Springer Science & Business Media, 2013
422013
Tropical bases by regular projections
K Hept, T Theobald
Proceedings of the American Mathematical Society 137 (7), 2233-2241, 2009
422009
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
282002
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20