RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctly implement data structures for computable mathematics. RZ does not prescribe a particular method of implementation, but allows programmers to write efficient code by hand, or toâ€¦ (More)

We formulate a predicative, constructive theory of continuous domains whose realizability interpretation gives a practical implementation of continuous Ï‰-chain complete posets and continuous maps between them. We apply the theory to implementation of the interval domain and exact real numbers.

In the paper an approach to analysis of the structure of repositories based on network analysis is proposed. The repository metadata can be transformed into several (one-mode or two-mode) networks. Using the methods of network analysis interesting substructures in these networks can be detected. The proposed approach is illustrated with some analyses of SIOâ€¦ (More)

â€” One of the most interesting problems in transportation networks is the Vehicle Routing Problem (VRP). Given a set of goods, a transportation network with delivery locations and a fleet of transportation vehicles the goal is to carry out deliveries from the central storage facility to all customers incurring minimal costs and subject to certain additionalâ€¦ (More)

Let A be a bounded operator on a separable, infinite dimensional Hilbert space H. Moreover, assume that A is not in the set C + K(H) of operators expressible as a sum of a scalar multiple of identity and a compact operator. What is the smallest similarity invariant semigroup containing operator A? Equivalently, which operators can be expressed as productsâ€¦ (More)