Certifying feasibility and objective value of linear programs (Q453056)

From MaRDI portal





scientific article; zbMATH DE number 6083706
Language Label Description Also known as
default for all languages
No label defined
    English
    Certifying feasibility and objective value of linear programs
    scientific article; zbMATH DE number 6083706

      Statements

      Certifying feasibility and objective value of linear programs (English)
      0 references
      0 references
      0 references
      18 September 2012
      0 references
      linear programming
      0 references
      certified feasibility
      0 references
      safe bounds
      0 references
      rational arithmetic
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers