Affiliation:
1. 1 Institute of Computer Science , University of Białystok , Poland
Abstract
Summary
In this paper problems 48, 80, 87, 89, and 124 from [7] are formalized, using the Mizar formalism [1], [2], [4]. The work is natural continuation of [5] and [3] as suggested in [6].
Subject
Applied Mathematics,Computational Mathematics