Explore automated proof audits for cutting-edge mathematics.

Exponential Diophantine approximation and symbolic dynamics

Shigeki Akiyama, Teturo Kamae, Hajime Kaneko

The Markov model of a dynamic system based on experimental data for control problems of bionic prostheses

Meshchikhin I.A., Minkov S., Lichkunov A.A.

ON THE NUMBER OF ERGODIC PHYSICAL/SRB MEASURES OF SINGULAR-HYPERBOLIC ATTRACTING SETS

Vitor Araujo

LI–YORKE AND DEVANEY CHAOTIC UNIFORM DYNAMICAL SYSTEMS AMONGST WEIGHTED SHIFTS

Fatemah Ayatollah Zadeh Shirazi, Elaheh Hakimi, Arezoo Hosseini, Reza Rezavand

Persistence criteria for a chemostat with variable nutrient input and variable washout with delayed response in growth

Mauro Rodriguez Cartabia

Stability of the Non-Critical Spectral Properties I: Arithmetic Absolute Continuity of the Integrated Density of States

Lingrui Ge, Svetlana Jitomirskaya, Xin Zhao

STAYING THE COURSE: LOCATING EQUILIBRIA OF DYNAMICAL SYSTEMS ON RIEMANNIAN MANIFOLDS DEFINED BY POINT-CLOUDS

Juan M. Bello-Rivas, Anastasia Georgiou, John Guckenheimer, Ioannis G. Kevrekidis

A DYNAMICAL SYSTEMS BASED FRAMEWORK FOR DIMENSION REDUCTION

Ryeongkyung Yoon, Braxton Osting

Asymptotic Lines and Parabolic Points of Plane Fields in R3

Douglas H. da Cruz, Ronaldo A. Garcia

Suppression of Quasiperiodicity in Circle Maps with Quenched Disorder

David Müller-Bender, Johann Luca Kastner, Günter Radons

The number of relative equilibria in the PCR4PB

Jordi-Lluís Figueras, Warwick Tucker, Piotr Zgliczynski

Properties of Orbits and Normal Numbers in the Binary Dynamical System

Rodney Nillsen

A note on the invariants of the Volterra gyrostat and each of its known special cases, and implications for low order models∗

Ashwin K Seshadri, S Lakshmivarahan

Generic Regularity of Level Set Flows with Spherical Singularity

Ao Sun, Jinxin Xue

Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

Eddie Nijholt, Lee DeVille

Roots of a characteristic equation with complex coefficients associated with differential-difference equations

Rafał Kapica, Radosław Zawiski

Maximizing dimension for Bernoulli measures and the Gauss map

Mark Pollicott

RATIONAL NUMBERS IN ×b-INVARIANT SETS

Bing Li, Ruofan Li, Yufeng Wu

An analogue of the Blaschke-Santaló inequality for billiard dynamics

Daniel Tsodikovich

Small-Gain Theorem for Safety Verification under High-Relative-Degree Constraints

Ziliang Lyu, Xiangru Xu, Yiguang Hong

NON-INTEGRABILITY AND CHAOS FOR NATURAL HAMILTONIAN SYSTEMS WITH A RANDOM POTENTIAL

Alberto Enciso, Daniel Peralta-Salas, Álvaro Romaniega

The difference between port-Hamiltonian, passive and positive real descriptor systems

Karim Cherifi, Hannes Gernandt, Dorothea Hinsen

Pointed Gromov-Hausdorff Topological Stability for non-compact metric spaces

Henry Mauricio Sánchez Sanabria, Luis Eduardo Osorio Acevedo

Non-autonomous hybrid stochastic systems with delays

Dingshi Li, Yusen Lin, Zhe Pu

Learning high-order spatial discretisations of PDEs with symmetry-preserving iterative algorithms

J. E. Bunder, A. J. Roberts

DIRECTIONAL DYNAMICS OF Z+ × Z-ACTIONS GENERATED BY 1D-CA AND THE SHIFT MAP

Hasan Akin, Chunlin Liu

A Case Study on Identifying Bifurcation and Chaos with CROCKER Plots

İsmail Güzel, Elizabeth Munch, Firas Khasawneh

Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata

Solène J. Esnay, Alonso Núñez, Ilkka Törmä

Near-Optimal Distributed Linear-Quadratic Regulator for Networked Systems

Sungho Shin, Yiheng Lin, Guannan Qu, Adam Wierman, Mihai Anitescu

COVER TIMES IN DYNAMICAL SYSTEMS

Natalia Jurga, Mike Todd

ON THE SUPPORTS IN THE HUMILIÈRE COMPLETION AND γ-COISOTROPIC SETS (WITH AN APPENDIX JOINT WITH VINCENT HUMILIÈRE)

C. Viterbo

Predicting extreme events from data using deep machine learning: when and where

Junjie Jiang, Zi-Gang Huang, Celso Grebogi, Ying-Cheng Lai

FLAT TRACE ESTIMATES FOR ANOSOV FLOWS

Long Jin, Zhongkai Tao

Gate lattices

Ville Salo

Non-autonomous stochastic lattice systems with Markovian switching

Dingshi Li, Yusen Lin, Zhe Pu

Epidemic Population Games With Nonnegligible Disease Death Rate

Jair Certório, Nuno C. Martins, Richard J. La

Universality but no rigidity for two-dimensional perturbations of almost commuting pairs

D. Gaidashev, D. Lilja

Unknown authors

ON THE ACTION OF THE (2,3,7)-HOMOLOGY SPHERE GROUP ON ITS SPACE OF LEFT-ORDERS

Kathryn Mann, Michele Triestino

Permanence via invasion graphs: Incorporating community assembly into Modern Coexistence Theory

Josef Hofbauer, Sebastian J. Schreiber