Representable Multivalued Maps as a Topological Bridge between Dynamics and Finite Mathematics

Monday, November 17, 1997 - 2:00pm - 3:00pm
Keller 3-180
Marian Mrozek (University of Krakow)
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.