HOME    »    PROGRAMS/ACTIVITIES    »    Annual Thematic Program
Talk Abstract
Representable Multivalued Maps as a Topological Bridge between Dynamics and Finite Mathematics

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.

Back to Workshop Schedule

Connect With Us: