Jagiellonian University Repository

A computer-assisted proof of symbolic dynamics in Hyperion's rotation model

A computer-assisted proof of symbolic dynamics in ...

Bibliographic description

Files in this item

This item appears in the following Collection(s)

Udzielam licencji. Uznanie autorstwa 4.0 Międzynarodowa Except where otherwise noted, this item's license is described as Udzielam licencji. Uznanie autorstwa 4.0 Międzynarodowa