Explore automated proof audits for cutting-edge mathematics.
Search thousands of math.DS and math.GT papers with AI-generated verdicts, confidence levels, and counterexample detection. Dial in filters to surface precisely the results you need.
- Total Results
- 31,095
- Page
- 47 / 778
- Page Size
- 40
The existence of invariant curves of a kind of almost periodic twist mappings
Yingdu Dong, Xiong Li
correctmedium confidence- arXiv ID
- 2211.03379
- Category
- Not specified
- Journal tier
- specialist/solid
Metric mean dimension of irregular sets for maps with shadowing
Magdalena Foryś-Krawiec, Piotr Oprocha
correctmedium confidence- arXiv ID
- 2211.03503
- Category
- Not specified
- Journal tier
- strong field
MULTIBAND LINEAR CELLULAR AUTOMATA AND ENDOMORPHISMS OF ALGEBRAIC VECTOR GROUPS
Jakub Byszewski, Gunther Cornelissen
correcthigh confidence- arXiv ID
- 2211.02866
- Category
- math.DS
- Journal tier
- specialist/solid
A group from a map and orbit equivalence
Jérôme Los, Natalia A. Viana Bedoya
correcthigh confidence- arXiv ID
- 2211.00637
- Category
- Not specified
- Journal tier
- specialist/solid
GLOBAL ATTRACTORS FOR A FULL VON KARMAN BEAM TRANSMISSION PROBLEM
Tamara Fastovska
correctmedium confidence- arXiv ID
- 2211.03574
- Category
- Not specified
- Journal tier
- specialist/solid
Continuous and Discrete Data Assimilation with Noisy Observations for the Rayleigh-Bénard Convection: A Computational Study
Mohamad Abed El Rahman Hammoud, Olivier Le Maître, Edriss S. Titi, Ibrahim Hoteit, Omar Knio
incompletemedium confidence- arXiv ID
- 2211.02828
- Category
- Not specified
- Journal tier
- specialist/solid
On the Coupling of Well Posed Differential Models — Detailed Version
R.M. Colombo, M. Garavello, M. Tandy
correctmedium confidence- arXiv ID
- 2211.01853
- Category
- Not specified
- Journal tier
- specialist/solid
Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
correctmedium confidence- arXiv ID
- 2211.01298
- Category
- Not specified
- Journal tier
- strong field
STABLE CLT FOR DETERMINISTIC SYSTEMS
Zemer Kosloff, Dalibor Volný
correctmedium confidence- arXiv ID
- 2211.03448
- Category
- math.DS
- Journal tier
- strong field
Chaotic dynamics of the sugarcane borer-two parasitoid agroecosystem with seasonality
Marat Rafikov, Alexandre Molter, João Inácio Moreira Bezerra, Elvira Rafikova, Maria Cristina Varriale
correctmedium confidence- arXiv ID
- 2211.00108
- Category
- Not specified
- Journal tier
- specialist/solid
Rational Maps with Rational Multipliers
Valentin Huguin
correcthigh confidence- arXiv ID
- 2210.17521
- Category
- Not specified
- Journal tier
- specialist/solid
Generalized Quadratic-Embeddings for Nonlinear Dynamics using Deep Learning
Pawan Goyal, Peter Benner
correctmedium confidence- arXiv ID
- 2211.00357
- Category
- Not specified
- Journal tier
- specialist/solid
Accurate control to run and stop chemical reactions via relaxation oscillators
Xiaopeng Shi, Chuanhou Gao, Denis Dochain
incompletemedium confidence- arXiv ID
- 2211.02996
- Category
- math.DS
- Journal tier
- specialist/solid
DEFORMATIVE MAGNETIC MARKED LENGTH SPECTRUM RIGIDITY
James Marshall Reber
correcthigh confidence- arXiv ID
- 2211.01865
- Category
- math.DS
- Journal tier
- strong field
ON CODIMENSION ONE PARTIALLY HYPERBOLIC DIFFEOMORPHISMS
Xiang Zhang
correcthigh confidence- arXiv ID
- 2211.01124
- Category
- math.DS
- Journal tier
- strong field
Hyperbolic and Bi-Hyperbolic Solutions in the Planar Restricted (N+1)-Body Problem
Guowei Yu
correctmedium confidence- arXiv ID
- 2211.00916
- Category
- Not specified
- Journal tier
- strong field
PROPERTIES OF ACTION-MINIMIZING SETS AND WEAK KAM SOLUTIONS VIA MATHER’S AVERAGING FUNCTIONS
Shoya Motonaga
correcthigh confidence- arXiv ID
- 2210.17307
- Category
- Not specified
- Journal tier
- specialist/solid
Development of an Efficient Formulation for Volterra’s Equations of Motion for Multibody Dynamical Systems
Mohammad Hussein Yoosefian Nooshabadi, Hossein Nejat Pishkenari
correctmedium confidence- arXiv ID
- 2210.16965
- Category
- Not specified
- Journal tier
- specialist/solid
Statistical Properties for Mixing Markov Chains with Applications to Dynamical Systems
Ao Cai, Pedro Duarte, Silvius Klein
correcthigh confidence- arXiv ID
- 2210.16908
- Category
- Not specified
- Journal tier
- strong field
Global stability of a time-delayed malaria model with standard incidence rate
Songbai Guo, Min He, Jing-An Cui
correcthigh confidence- arXiv ID
- 2210.17251
- Category
- math.DS
- Journal tier
- specialist/solid
MEASURABLE IMBEDDINGS, FREE PRODUCTS, AND GRAPH PRODUCTS
Özkan Demir
correcthigh confidence- arXiv ID
- 2210.16446
- Category
- Not specified
- Journal tier
- specialist/solid
Conditional Lipschitz Shadowing for Ordinary Differential Equations
Lucas Backes, Davor Dragičević, Masakazu Onitsuka, Mihály Pituk
correcthigh confidence- arXiv ID
- 2210.15967
- Category
- Not specified
- Journal tier
- strong field
Sequence Entropy Tuples and Mean Sensitive Tuples
Jie Li, Chunlin Liu, Siming Tu, Tao Yu
correctmedium confidence- arXiv ID
- 2210.16749
- Category
- math.DS
- Journal tier
- strong field
ON THE HAUSDORFF DIMENSION OF INVARIANT MEASURES OF PIECEWISE SMOOTH CIRCLE HOMEOMORPHISMS
Frank Trujillo
correctmedium confidence- arXiv ID
- 2210.16233
- Category
- math.DS
- Journal tier
- strong field
Irregular Sets Carry Full Metric Mean Dimension
Chunlin Liu, Xue Liu
correcthigh confidence- arXiv ID
- 2210.16491
- Category
- Not specified
- Journal tier
- strong field
Two novel families of multiscale staggered patch schemes efficiently simulate large-scale, weakly damped, linear waves
J. Divahar, A. J. Roberts, Trent W. Mattner, J. E. Bunder, Ioannis G. Kevrekidis
correctmedium confidence- arXiv ID
- 2210.15823
- Category
- Not specified
- Journal tier
- strong field
Actions of discrete amenable groups into the normalizers of full groups of ergodic transformations
Toshihiko Masuda
correcthigh confidence- arXiv ID
- 2210.15916
- Category
- Not specified
- Journal tier
- strong field
A mathematical model with nonlinear relapse: conditions for a forward-backward bifurcation
Fabio Sanchez, Jorge Arroyo-Esquivel, Juan G. Calvo
correctmedium confidence- arXiv ID
- 2210.15481
- Category
- Not specified
- Journal tier
- specialist/solid
L1-FLAT POLYNOMIALS AND SIMPLE LEBESGUE SPECTRUM FOR CONSERVATIVE MAPS EXIST: A SIMPLE PROOF.
el HOUCEIN el ABDALAOUI
correctmedium confidence- arXiv ID
- 2210.15480
- Category
- Not specified
- Journal tier
- specialist/solid
Джойнинги и типичные расширения динамических систем
В. В. Рыжиков
correctmedium confidence- arXiv ID
- 2210.15276
- Category
- Not specified
- Journal tier
- specialist/solid
AN ASYMPTOTIC FOR SUMS OF LYAPUNOV EXPONENTS IN FAMILIES
Patrick Ingram, David Jaramillo-Martinez, Jorge Mello
correctmedium confidence- arXiv ID
- 2210.14733
- Category
- math.DS
- Journal tier
- specialist/solid
Approximate Control of the Marked Length Spectrum by Short Geodesics
Karen Butt
correcthigh confidence- arXiv ID
- 2210.15101
- Category
- Not specified
- Journal tier
- specialist/solid
A synopsis of the non-invertible, two-dimensional, border-collision normal form with applications to power converters
H.O. Fatoyinbo, D.J.W. Simpson
correctmedium confidence- arXiv ID
- 2210.14445
- Category
- math.DS
- Journal tier
- specialist/solid
Parabolic Components in Cubic Polynomial Slice Per1(1)
Runze Zhang
correctmedium confidence- arXiv ID
- 2210.14305
- Category
- Not specified
- Journal tier
- specialist/solid
IFS measures on generalized Bratteli diagrams
Sergey Bezuglyi, Palle E. T. Jorgensen
correctmedium confidence- arXiv ID
- 2210.14059
- Category
- Not specified
- Journal tier
- specialist/solid
Thermodynamics-informed neural networks for physically realistic mixed reality
Quercus Hernández, Alberto Badías, Francisco Chinesta, Elías Cueto
correctmedium confidence- arXiv ID
- 2210.13414
- Category
- math.DS
- Journal tier
- specialist/solid
ENTROPY AND PERIODIC ORBITS FOR ASH ATTRACTORS
Miguel Pineda, Elias Rego, Kendry J. Vivas
correcthigh confidence- arXiv ID
- 2210.12038
- Category
- Not specified
- Journal tier
- strong field
Why are inner planets not inclined?
Andrew Clarke, Jacques Fejoz, Marcel Guardia
correctmedium confidence- arXiv ID
- 2210.11311
- Category
- Not specified
- Journal tier
- strong field
ON INTEGRAL FORMULAS OF METRIC MEAN DIMENSION FOR RANDOM DYNAMICAL SYSTEMS
Rui Yang, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2210.13126
- Category
- math.DS
- Journal tier
- strong field
Global stability of perturbed complex-balanced systems
Polly Y. Yu
correcthigh confidence- arXiv ID
- 2210.13633
- Category
- math.DS
- Journal tier
- specialist/solid