A reliable linear constraint solver for the UniCalc system (Q2880602)

From MaRDI portal





scientific article; zbMATH DE number 6024057
Language Label Description Also known as
default for all languages
No label defined
    English
    A reliable linear constraint solver for the UniCalc system
    scientific article; zbMATH DE number 6024057

      Statements

      0 references
      0 references
      0 references
      13 April 2012
      0 references
      linear relaxation
      0 references
      reliable enclosure
      0 references
      interval bounds
      0 references
      UniCalc system
      0 references
      mathematical modeling
      0 references
      A reliable linear constraint solver for the UniCalc system (English)
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references