Symbolic decision procedure for termination of linear programs

DOI10.1007/S00165-009-0144-5MaRDI QIDQ539162zbMATH OpenOpenAlexWikidataFDO

Authors Bican Xia, Lu Yang, Naijun Zhan, Zhi-Hai Zhang

Publication date 27 May 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-009-0144-5

zbMATH Keywords

numerical computationsymbolic computationterminationlinear programs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A recursive decision method for termination of linear programs
• Witness to non-termination of linear programs
• Termination of linear programs with nonlinear constraints
• Computer Aided Verification
• Termination of Integer Linear Programs

Cites work

• scientific article; zbMATH DE number 3336895 (Why is no real title available?)
• A Low Complexity Interior-Point Algorithm for Linear Programming
• A complete discrimination system for polynomials
• An algorithm for isolating the real solutions of semi-algebraic systems
• Computer Aided Verification
• Partial cylindrical algebraic decomposition for quantifier elimination
• Recent advances on determining the number of real roots of parametric polynomials

Cited in

(9)

• scientific article; zbMATH DE number 1953286 (Why is no real title available?)
• Discovering non-terminating inputs for multi-path polynomial programs
• Signature-based method of deciding program~termination
• Witness to non-termination of linear programs
• A recursive decision method for termination of linear programs
• Recent advances in program verification through computer algebra
• Termination of linear programs with nonlinear constraints
• Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
• Model checking linear dynamical systems under floating-point rounding

Describes a project that uses

Uses Software

• DISCOVERER
• REDLOG
• QEPCAD

This page was built for publication: Symbolic decision procedure for termination of linear programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539162)