On the complexity of quantified linear systems (Q391791): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2013.08.001
@@ Property / DOI: 10.1016/j.tcs.2013.08.001 / rank @@
-Normal rank
@@ Property / author @@
-Q261361
@@ Property / author: Q261361 / rank @@
-Normal rank
@@ Property / author @@
-Piotr J. Wojciechowski
@@ Property / author: Piotr J. Wojciechowski / rank @@
-Normal rank
@@ Property / author @@
+K. Subramani and Vahan Mkrtchyan
@@ Property / author: K. Subramani and Vahan Mkrtchyan / rank @@
+Normal rank
@@ Property / author @@
+Piotr J. Wojciechowski
@@ Property / author: Piotr J. Wojciechowski / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 03D15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q15
@@ Property / Mathematics Subject Classification ID: 68Q15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C05
@@ Property / Mathematics Subject Classification ID: 90C05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6244500
@@ Property / zbMATH DE Number: 6244500 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantified linear systems
@@ Property / zbMATH Keywords: quantified linear systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theory of real numbers with addition
@@ Property / zbMATH Keywords: theory of real numbers with addition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity classes
@@ Property / zbMATH Keywords: complexity classes / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2013.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2157787341
@@ Property / OpenAlex ID: W2157787341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+Normal rank
@@ Property / cites work @@
+Real addition and the polynomial hierarchy
@@ Property / cites work: Real addition and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813613
@@ Property / cites work: Q3813613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach for automatic theorem proving in real geometry
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+The complexity of logical theories
@@ Property / cites work: The complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial hierarchy and a simple model for competitive analysis
+Normal rank
@@ Property / cites work @@
+Computational Difficulties of Bilevel Linear Programming
+Normal rank
@@ Property / cites work @@
+The computational complexity of multi-level linear programs
+Normal rank
@@ Property / cites work @@
+Q3671749
@@ Property / cites work: Q3671749 / rank @@
+Normal rank
@@ Property / cites work @@
+On a decision procedure for quantified linear programs
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2013.08.001
@@ Property / DOI: 10.1016/J.TCS.2013.08.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:391791