Symbolic decision procedure for termination of linear programs (Q539162): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Partial cylindrical algebraic decomposition for quantifier elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5614003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Low Complexity Interior-Point Algorithm for Linear Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithm for isolating the real solutions of semi-algebraic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recent advances on determining the number of real roots of parametric polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete discrimination system for polynomials / rank
 
Normal rank

Revision as of 02:10, 4 July 2024

scientific article
Language Label Description Also known as
English
Symbolic decision procedure for termination of linear programs
scientific article

    Statements

    Symbolic decision procedure for termination of linear programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 May 2011
    0 references
    linear programs
    0 references
    termination
    0 references
    symbolic computation
    0 references
    numerical computation
    0 references
    0 references
    0 references
    0 references

    Identifiers