mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
Advanced search
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
TUM Board of Management
Functional Units
Partnerschaftliche Einrichtungen
Schools
TUM School of Computation, Information and Technology
(45836)
Examination Papers
(3624)
Departments
(37995)
Computer Engineering
Computer Science
(7122)
Electrical Engineering
(6614)
Mathematics
(5221)
Research Group Mathematical Statistics
(1012)
John-von-Neumann-Gastprofessur (Prof. Després, Prof. Fermanian-Kammerer, Prof. Pareschi, Prof. Pavliotis))
Chair of Algebraic Geometry (Prof. Liedtke)
Chair of Algorithmic Algebra (Prof. Kemper)
Lehrstuhl für Analysis und Modellbildung (Prof. Zimmer)
(327)
Chair of Applied Geometry and Discrete Mathematics (N.N.)
(201)
Chair of Applied Numerical Analysis (Prof. Fornasier)
(118)
Lehrstuhl für Arithmetische Geometrie (N.N.)
Chair of Representation Theory (Dr. Cobbe, komm.)
Mathematical Finance (Prof. Zagst)
(1477)
Chair of Geometry I (Prof. Richter-Gebert)
(1)
Chair of Global Analysis (Prof. Friesecke)
Chair of Advanced Mathematics and Analytical Mechanics (N.N.)
Chair of Mathematical Modeling of Biological Systems (Prof. Theis)
(365)
Chair of Mathematical Optimization (Prof. Ulbrich)
(85)
Chair of Mathematical Physics (Prof. Wolf)
(68)
Chair of Mathematical Quantum Physics (Prof. Warzel)
Chair of Multiscale and Stochastic Dynamics (Prof. Kühn)
Chair of Numerical Analysis (Prof. Wohlmuth)
(298)
Chair of Numerical Mathematics / Control Theory (N.N.)
Lehrstuhl für Numerische Methoden der Plasmaphysik (Prof. Sonnendrücker)
(95)
Lehrstuhl für Operations Research (Prof. Schulz)
(279)
Abschlussarbeiten
(2)
Books / Book sections
(8)
Conferences
(67)
Diverses
(24)
Key Publications
(5)
Presseveröffentlichungen
(3)
Refereed journal articles
(86)
Chair of Optimal Control (Prof. Vexler)
(267)
Chair of Resource Aware Machine Learning (Prof. Sra)
Chair of Probability Theory (Prof. Gantert)
(79)
Scientific Computing (Prof. Bornemann)
Associate of Applied Computational Mathematics (Prof. Hoffmann)
Applied and Computational Topology (Prof. Bauer)
(48)
Professur für Biostatistik (Prof. Ankerst)
(197)
Field of Discrete Mathematics (Prof. Weltge)
(7)
Professur für Diskrete Mathematik und Kombinatorische Optimierung (Prof. Wiese)
Associate Professorship of Dynamic Systems (Prof. Matthes)
Assistant Professorship of Mathematical Finance (Prof. Knochenhauer)
Assistant Profesorship of Cryptography (Prof. Panny)
Associate Professorship of Mathematics in Life Sciences (Prof. Kuttler)
Associate Professorship of Mathematical Continuum Mechanics (Prof. Cicalese)
Field of Mathematical Methods in Biochemistry and Molecular Biology (Prof. Müller)
(96)
Associate Professorship of Numerics for Partial Differential Equations (Prof. Lasser)
Professorship of Numerics of Complex Systems (Prof. Junge)
Professorship for Optimization and Data Analysis (Prof. Krahmer)
(37)
Professur für Risk and Insurance (Prof. Scherer)
(1)
Professur für Stochastische Prozesse (Prof. Berger Steiger)
Professur für Theorie komplexer Quantensysteme (Prof. König)
(55)
Professur für Topologie (Prof. Scheimbauer)
Associate Professorship of Probability Theory (Prof. Rolles)
(49)
Associate Professorship of Scientific Computing and Uncertainty Quantification (Prof. Ullmann)
(60)
Images CIT
(6)
Technical Reports
ehemalige Lehrstühle und Fachgebiete
(3664)
Publikationen
(7)
TUM School of Engineering and Design
Center of Life and Food Sciences Weihenstephan
TUM School of Management
TUM School of Medicine and Health
TUM School of Natural Sciences
(14731)
TUM School of Social Sciences and Technology
(9123)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Mathematics
Lehrstuhl für Operations Research (Prof. Schulz)
Back
Back to start of result list
Permanent link for displayed object
Title:
Approximating the existential theory of the reals
Document type:
Zeitschriftenaufsatz
Author(s):
Deligkas, Argyrios; Fearnley, John; Melissourgos, Themistoklis; Spirakis, Paul G.
Non-TUM Co-author(s):
ja
Cooperation:
international
Intellectual Contribution:
Contribution to Practice
Journal title:
Journal of Computer and System Sciences
Journal listet in FT50 ranking:
nein
Year:
2022
Journal volume:
125
Pages contribution:
106-128
Fulltext / DOI:
doi:10.1016/j.jcss.2021.11.002
Publisher:
Elsevier BV
E-ISSN:
0022-0000
Date of publication:
01.05.2022
Judgement review:
0
Key publication:
Ja
Peer reviewed:
Ja
Commissioned:
not commissioned
Technology:
Nein
Interdisciplinarity:
Nein
Mission statement:
;
Ethics and Sustainability:
Nein
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Management
Departments
Operations and Technology
Lehrstuhl für Operations Research (Prof. Schulz)
mediaTUM Gesamtbestand
Hochschulbibliographie
2022
Schools und Fakultäten
TUM School of Management
Lehrstuhl für Operations Research (Prof. Schulz)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Mathematics
Lehrstuhl für Operations Research (Prof. Schulz)
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Operations Research Center (Prof. Schulz)