On computer-assisted proving the existence of periodic and bounded orbits
Tytuł:
On computer-assisted proving the existence of periodic and bounded orbits
Czasopismo:
Rok:
2015
Strony:
7-17
Tom (seria wydawnicza):
20
Numer DOI:
10.1515/amsil-2015-0001