Interval methods for verifying structural optimality of circle packing configurations in the unit square (Q861900)

From MaRDI portal





scientific article; zbMATH DE number 5121430
Language Label Description Also known as
default for all languages
No label defined
    English
    Interval methods for verifying structural optimality of circle packing configurations in the unit square
    scientific article; zbMATH DE number 5121430

      Statements

      Interval methods for verifying structural optimality of circle packing configurations in the unit square (English)
      0 references
      2 February 2007
      0 references
      interval analysis
      0 references
      circle packing
      0 references
      computer-assisted proof
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references