A computer-assisted proof of symbolic dynamics in Hyperion's rotation model
Tytuł:
A computer-assisted proof of symbolic dynamics in Hyperion's rotation model
Czasopismo:
Rok:
2019
Strony:
33
Tom (seria wydawnicza):
131
Access:
ZAMKNIĘTY