arXiv (All)open access
A computer-assisted proof of robust transitivity
dynamical systems, primary: 37b20, 37c20, secondary: 37d30, 37c29, 37m22
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 997034
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.