An improved branch-and-bound process of interval arithmetic subdivision in furtherance of computation of rigorous error bounds on integrated digital scene information for two dimensional display is provided. More particularly, a first aspect of the subject process includes pseudo-randomly subdividing an interval domain comprising a set of interval variables in furtherance of ascertaining a characteristic contribution of the interval variables of said set of interval variables to an image space comprising at least a sub-pixel area. A further aspect, either alone or in combination with the first aspect contemplates pseudo-randomly discarding a select partitioning of interval variables of a set of interval variables of a geometric function from a computed solution of an interval arithmetic branch-and-bound process.