Refinement to certify abstract interpretations: illustrated on linearization for polyhedra
scientific article; zbMATH DE number 7048642
scientific article