Rigorous verification of feasibility (Q2018466): Difference between revisions

@@ Property / describes a project that uses @@
+testenv
@@ Property / describes a project that uses: testenv / 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.1007/s10898-014-0158-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2076242555
@@ Property / OpenAlex ID: W2076242555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+The optimization test environment
@@ Property / cites work: The optimization test environment / rank @@
+Normal rank
@@ Property / cites work @@
+A scaling algorithm for polynomial constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Constraint propagation on quadratic constraints
@@ Property / cites work: Constraint propagation on quadratic constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous filtering using linear relaxations
@@ Property / cites work: Rigorous filtering using linear relaxations / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint aggregation for rigorous global optimization
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+On proving existence of feasible points in equality constrained optimization problems
+Normal rank
@@ Property / cites work @@
+Existence Verification for Singular Zeros of Complex Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Q3583363
@@ Property / cites work: Q3583363 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Slopes for Rational Functions and Associated Centered Forms
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+Q5491447
@@ Property / cites work: Q5491447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3878653
@@ Property / cites work: Q3878653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284596
@@ Property / cites work: Q4284596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321536
@@ Property / cites work: Q4321536 / rank @@
+Normal rank
@@ Property / cites work @@
+Super-fast validated solution of linear systems
@@ Property / cites work: Super-fast validated solution of linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization and Constraint Satisfaction
@@ Property / cites work: Global Optimization and Constraint Satisfaction / rank @@
+Normal rank