Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420): Difference between revisions

@@ Property / DOI @@
-.1007/s11786-014-0195-8
@@ Property / DOI: 10.1007/s11786-014-0195-8 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G20
@@ Property / Mathematics Subject Classification ID: 65G20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+H20
@@ Property / Mathematics Subject Classification ID: 65H20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 65G30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6374370
@@ Property / zbMATH DE Number: 6374370 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint solving
@@ Property / zbMATH Keywords: constraint solving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision procedures
@@ Property / zbMATH Keywords: decision procedures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval computation
@@ Property / zbMATH Keywords: interval computation / 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 / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1999758876
@@ Property / OpenAlex ID: W1999758876 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6155
@@ Property / arXiv ID: 1312.6155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472553
@@ Property / cites work: Q4472553 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A posteriori direction selection rules for interval optimization methods
+Normal rank
@@ Property / cites work @@
+Subdivision Direction Selection in Interval Methods for Global Optimization
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Revised CPA method to compute Lyapunov functions for nonlinear systems
+Normal rank
@@ Property / cites work @@
+Efficient handling of universally quantified inequalities
+Normal rank
@@ Property / cites work @@
+Weak and strong solvability of interval linear systems of equations and inequalities
+Normal rank
@@ Property / cites work @@
+Testing positiveness of polynomials
@@ Property / cites work: Testing positiveness of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Guaranteed tuning, with application to robust control and motion planning
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+SOSTOOLS and Its Control Applications
@@ Property / cites work: SOSTOOLS and Its Control Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Search heuristics for box decomposition methods
@@ Property / cites work: Search heuristics for box decomposition methods / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Polynomial Loop Invariants
+Normal rank
@@ Property / cites work @@
+Linear interval inequalities
@@ Property / cites work: Linear interval inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing invariants for hybrid systems
@@ Property / cites work: Constructing invariants for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and synthesis using real quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11786-014-0195-8
@@ Property / DOI: 10.1007/S11786-014-0195-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:475420