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
- 88 / 778
- Page Size
- 40
Identifiability of car-following dynamics
Yanbing Wang, Maria Laura Delle Monache, Daniel B. Work
correctmedium confidence- arXiv ID
- 2103.08652
- Category
- math.DS
- Journal tier
- strong field
Transient growth of accelerated first-order methods for strongly convex optimization problems
Hesameddin Mohammadi, Samantha Samuelson, Mihailo R. Jovanović
correctmedium confidence- arXiv ID
- math.DS/2103.08017
- Category
- math.DS
- Journal tier
- Not assigned
Minimality and unique ergodicity of Veech 1969 type interval exchange transformations
Sébastien Ferenczi, Pascal Hubert
correcthigh confidence- arXiv ID
- 2103.09018
- Category
- Not specified
- Journal tier
- strong field
On the joint spectral radius
Emmanuel Breuillard
correcthigh confidence- arXiv ID
- math.DS/2103.09089
- Category
- math.DS
- Journal tier
- Not assigned
AN EPSILON-HYPERCYCLICITY CRITERION AND ITS APPLICATION ON CLASSICAL BANACH SPACES
Sebastián Tapia-García
correctmedium confidence- arXiv ID
- 2103.08075
- Category
- Not specified
- Journal tier
- specialist/solid
Nonequilibrium in Thermodynamic Formalism: the Second Law, gases and Information Geometry
A. O. Lopes, R. Ruggiero
correctmedium confidence- arXiv ID
- 2103.08333
- Category
- Not specified
- Journal tier
- specialist/solid
Gain modulation unlocks phase plasticity thus allowing for malleable nonlinear dynamics
Christoforos A. Papasavvas
correctmedium confidence- arXiv ID
- 2103.08073
- Category
- Not specified
- Journal tier
- note/short/other
Dynamics of SIR model with heterogeneous response to intervention policy
Dmitrii Rachinskii, Samiha Rouf
correctmedium confidence- arXiv ID
- 2103.07989
- Category
- math.DS
- Journal tier
- strong field
Asymptotic behavior of solutions to fractional stochastic multi-term differential equation systems involving non-permutable matrices
Arzu Ahmadova, Nazim I. Mahmudov
incompletemedium confidence- arXiv ID
- 2103.07690
- Category
- Not specified
- Journal tier
- specialist/solid
A FIXED POINT CURVE THEOREM FOR FINITE ORBITS LOCAL DIFFEOMORPHISMS
Lucivanio Lisboa, Javier Ribón
correctmedium confidence- arXiv ID
- 2103.07926
- Category
- Not specified
- Journal tier
- strong field
Essential forward weak KAM solution for the convex Hamilton-Jacobi equation
Xifeng Su, Jianlu Zhang
correctmedium confidence- arXiv ID
- 2103.07638
- Category
- Not specified
- Journal tier
- specialist/solid
On the dimension of arcs in mixed labyrinth fractals
Ligia L. Cristea, Damir Vukičević
correcthigh confidence- arXiv ID
- 2103.07468
- Category
- Not specified
- Journal tier
- specialist/solid
Марковские сплетающие операторы, джойнинги и асимптотические свойства динамических систем
Рыжиков Валерий Валентинович
correctmedium confidence- arXiv ID
- 2103.07435
- Category
- Not specified
- Journal tier
- strong field
Differentiating densities on smooth manifolds
Adam A. Śliwiak, Qiqi Wang
correctmedium confidence- arXiv ID
- 2103.07380
- Category
- math.DS
- Journal tier
- specialist/solid
Epidemics on Hypergraphs: Spectral Thresholds for Extinction
Desmond John Higham, Henry-Louis de Kergorlay
correcthigh confidence- arXiv ID
- 2103.07319
- Category
- math.DS
- Journal tier
- strong field
Metric vs topological receptive entropy of semigroup actions
Andrzej Biś, Dikran Dikranjan, Anna Giordano Bruno, Luchezar Stoyanov
correctmedium confidence- arXiv ID
- 2103.07148
- Category
- Not specified
- Journal tier
- strong field
Mixing Properties and Entropy Bounds of a Family of Pisot Random Substitutions
Giovanni B. Escolano, Neil Mañibo, Eden Delight Miro
correctmedium confidence- arXiv ID
- 2103.04866
- Category
- Not specified
- Journal tier
- specialist/solid
Unbounded solutions to a system of coupled asymmetric oscillators at resonance
A. Boscaggin, W. Dambrosio, D. Papini
correcthigh confidence- arXiv ID
- 2103.06699
- Category
- math.DS
- Journal tier
- strong field
Nth Order Analytical Time Derivatives of Inverse Dynamics in Recursive and Closed Forms
Shivesh Kumar, Andreas Müller
correctmedium confidence- arXiv ID
- 2103.05941
- Category
- Not specified
- Journal tier
- specialist/solid
THE PRIME SPECTRUM OF SOLENOIDAL MANIFOLDS
Steven Hurder, Olga Lukina
correcthigh confidence- arXiv ID
- 2103.06825
- Category
- Not specified
- Journal tier
- strong field
Modulated rotating waves and triadic resonances in spherical fluid systems: The case of magnetized spherical Couette flow
F. Garcia, A. Giesecke, F. Stefani
correcthigh confidence- arXiv ID
- 2103.05924
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamical Pose Estimation
Heng Yang, Chris Doran, Jean-Jacques Slotine
correctmedium confidence- arXiv ID
- 2103.06182
- Category
- Not specified
- Journal tier
- strong field
Graph and wreath products in topological full groups of full shifts
Ville Salo
correctmedium confidence- arXiv ID
- 2103.06663
- Category
- Not specified
- Journal tier
- strong field
Rigorous computer-assisted bounds on renormalisation fixed point functions, eigenfunctions, and universal constants
Andrew Burbanks, Andrew Osbaldestin, Judi Thurlby
correctmedium confidence- arXiv ID
- 2103.05991
- Category
- Not specified
- Journal tier
- strong field
Symmetric Reduction of Regular Controlled Lagrangian System with Momentum Map
Hong Wang
correctmedium confidence- arXiv ID
- 2103.06563
- Category
- math.DS
- Journal tier
- strong field
Urban Epidemic Hazard Index for Chinese Cities: Why Did Small Cities Become Epidemic Hotspots?
Tianyi Li, Jiawen Luo, Cunrui Huang
correctmedium confidence- arXiv ID
- 2103.05189
- Category
- Not specified
- Journal tier
- specialist/solid
Second-order fast-slow dynamics of non-ergodic Hamiltonian systems: Thermodynamic interpretation and simulation
Matthias Klar, Karsten Matthies, Celia Reina, Johannes Zimmer
correctmedium confidence- arXiv ID
- 2103.05778
- Category
- Not specified
- Journal tier
- specialist/solid
EQUIDISTRIBUTION OF AFFINE RANDOM WALKS ON SOME NILMANIFOLDS
Weikun He, Tsviqa Lakrec, Elon Lindenstrauss
correctlow confidence- arXiv ID
- 2103.06670
- Category
- math.DS
- Journal tier
- strong field
Generalized continuation Newton methods and the trust-region updating strategy for the underdetermined system
Xin-long Luo, Hang Xiao
wronghigh confidenceCounterexample- arXiv ID
- 2103.05829
- Category
- math.DS
- Journal tier
- specialist/solid
EMERGENT BEHAVIORS OF ROTATION MATRIX FLOCKS
Razvan C. Fetecau, Seung-Yeal Ha, Hansol Park
correctmedium confidence- arXiv ID
- 2103.06458
- Category
- Not specified
- Journal tier
- specialist/solid
Efficient Topology Design Algorithms for Power Grid Stability
Siddharth Bhela, Harsha Nagarajan, Deepjyoti Deka, Vassilis Kekatos
incompletemedium confidence- arXiv ID
- 2103.05194
- Category
- Not specified
- Journal tier
- specialist/solid
Persistence of Periodic Traveling Waves and Abelian Integrals
Armengol Gasull, Anna Geyer, Víctor Mañosa
correctmedium confidence- arXiv ID
- 2103.05382
- Category
- math.DS
- Journal tier
- specialist/solid
Motions of a charged particle in the electromagnetic field induced by a non-stationary current.
Manuel Garzón, Stefano Marò
correctmedium confidence- arXiv ID
- 2103.05396
- Category
- math.DS
- Journal tier
- specialist/solid
Classification of Backward Filtrations and Factor Filtrations: Examples from Cellular Automata
Paul Lanthier, Thierry de la Rue
correctmedium confidence- arXiv ID
- 2103.04610
- Category
- Not specified
- Journal tier
- strong field
CONNECTION MATRICES IN COMBINATORIAL TOPOLOGICAL DYNAMICS
Marian Mrozek, Thomas Wanner
correctmedium confidence- arXiv ID
- 2103.04269
- Category
- Not specified
- Journal tier
- specialist/solid
Remark on the local nature of metric mean dimension
Masaki Tsukamoto
correcthigh confidence- arXiv ID
- 2103.04497
- Category
- Not specified
- Journal tier
- specialist/solid
On Few Shot Learning of Dynamical Systems: A Koopman Operator Theoretic Approach
Suhbrajit Sinha, Umesh Vaidya, Enoch Yeung
incompletehigh confidence- arXiv ID
- 2103.04221
- Category
- Not specified
- Journal tier
- specialist/solid
Bifurcation from Infinity of the Schrödinger Equation via Invariant Manifolds
Chunqiu Li, Jintao Wang
correctmedium confidence- arXiv ID
- 2103.04082
- Category
- math.DS
- Journal tier
- specialist/solid
Specification Property for Step Skew Products
Ľubomír Snoha
correcthigh confidence- arXiv ID
- 2103.04120
- Category
- math.DS
- Journal tier
- specialist/solid
ANALYTIC GENERICITY OF DIFFUSING ORBITS IN A PRIORI UNSTABLE HAMILTONIAN SYSTEMS
Qinbo Chen, Rafael de la Llave
correctmedium confidence- arXiv ID
- 2103.03847
- Category
- Not specified
- Journal tier
- strong field