|
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
|
