Representable multivalued maps may be viewed as a generalization of the concept of interval arithmetic. However, unlike the interval arithmetic, they have fruitful connections via topology with continuous mathematics. The connections combined with the simple but significant idea of inheritance enables one to translate some questions in dynamics to combinatorics, solve them algorithmically and translate the solution back to dynamics. This provides an efficient setting for constructing computer assisted proofs in dynamics.

Back to Workshop Schedule