Rigorous verification of feasibility (Q2018466): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: BARON / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: testenv / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10898-014-0158-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2076242555 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3345690 / rank
 
Normal rank
Property / cites work
 
Property / cites work: G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The optimization test environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: A scaling algorithm for polynomial constraint satisfaction problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint propagation on quadratic constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigorous filtering using linear relaxations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint aggregation for rigorous global optimization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4004279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On proving existence of feasible points in equality constrained optimization problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence Verification for Singular Zeros of Complex Nonlinear Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3583363 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interval Slopes for Rational Functions and Associated Centered Forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5566070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Derived eigenvalues of symmetric matrices, with applications to distance geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5491447 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3878653 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4284596 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4321536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Super-fast validated solution of linear systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global Optimization and Constraint Satisfaction / rank
 
Normal rank

Latest revision as of 21:01, 9 July 2024

scientific article
Language Label Description Also known as
English
Rigorous verification of feasibility
scientific article

    Statements

    Rigorous verification of feasibility (English)
    0 references
    0 references
    0 references
    24 March 2015
    0 references
    rigorous feasibility verification
    0 references
    constraint satisfaction
    0 references
    global optimization
    0 references
    verified computing
    0 references
    interval analysis
    0 references
    0 references
    0 references
    0 references

    Identifiers