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
- 58 / 778
- Page Size
- 40
ARCSINE LAW FOR CORE RANDOM DYNAMICS
Fumihiko Nakamura, Yushi Nakano, Hisayoshi Toyokawa, Kouji Yano
correctmedium confidence- arXiv ID
- 2206.00226
- Category
- Not specified
- Journal tier
- strong field
Phase space transport in a symmetric Caldera potential with three index-1 saddles and no minima
Matthaios Katsanikas, Makrina Agaoglou, Stephen Wiggins, Ana M. Mancho
incompletemedium confidence- arXiv ID
- 2205.14770
- Category
- math.DS
- Journal tier
- specialist/solid
UNIFORM APPROXIMATION PROBLEMS OF EXPANDING MARKOV MAPS
Yubin He, Lingmin Liao
correcthigh confidence- arXiv ID
- 2205.14924
- Category
- math.DS
- Journal tier
- specialist/solid
EXPONENTIAL MIXING AND LIMIT THEOREMS OF QUASI-PERIODICALLY FORCED 2D STOCHASTIC NAVIER-STOKES EQUATIONS IN THE HYPOELLIPTIC SETTING
Rongchang Liu, Kening Lu
correctmedium confidence- arXiv ID
- 2205.14348
- Category
- math.DS
- Journal tier
- strong field
Momentum Stiefel Optimizer, with Applications to Suitably-Orthogonal Attention, and Optimal Transport
Lingkai Kong, Yuqing Wang, Molei Tao
wrongmedium confidence- arXiv ID
- 2205.14173
- Category
- math.DS
- Journal tier
- strong field
Fast variable selection makes scalable Gaussian process BSS-ANOVA a speedy and accurate choice for tabular and time series regression
David S. Mebane, Kyle Hayes, Ali Baheri
incompletemedium confidence- arXiv ID
- 2205.13676
- Category
- Not specified
- Journal tier
- specialist/solid
Noncommutative Coboundary Equations over Integrable Systems
Rafael de la Llave, Maria Saprykina
correcthigh confidence- arXiv ID
- 2205.12356
- Category
- Not specified
- Journal tier
- strong field
Latency correction in sparse neuronal spike trains
Thomas Kreuz, Federico Senocrate, Gloria Cecchini, Curzio Checcucci, Anna Letizia Allegra Mascaro, Emilia Conti, Alessandro Scaglione, Francesco Saverio Pavone
correctmedium confidence- arXiv ID
- 2205.09855
- Category
- Not specified
- Journal tier
- strong field
A GEOMETRIC REPRESENTATIVE FOR THE FUNDAMENTAL CLASS IN KK-DUALITY OF SMALE SPACES
Dimitris Michail Gerontogiannis, Michael F. Whittaker, Joachim Zacharias
correctmedium confidence- arXiv ID
- 2205.13395
- Category
- Not specified
- Journal tier
- strong field
DISCONTINUITIES CAUSE ESSENTIAL SPECTRUM
Oliver Butterley, Giovanni Canestrari, Sakshi Jain
correcthigh confidence- arXiv ID
- 2205.12607
- Category
- Not specified
- Journal tier
- strong field
ОСОБЕННОСТИ СЛОЕНИЙ ЛИУВИЛЛЯ ДЛЯ БИЛЛИАРДОВ В НЕВЫПУКЛЫХ ОБЛАСТЯХ
Москвин Виктор Александрович
correctmedium confidence- arXiv ID
- 2205.10659
- Category
- Not specified
- Journal tier
- specialist/solid
WHY STRENGTHENING GAP JUNCTIONS MAY HINDER ACTION POTENTIAL PROPAGATION
Erin Munro Krull, Christoph Börgers
correctmedium confidence- arXiv ID
- 2205.12185
- Category
- math.DS
- Journal tier
- specialist/solid
Building prescribed orbit equivalence: Sofic approximations and optimal quantitative orbit equivalence
Amandine Escalier
correctmedium confidence- arXiv ID
- 2205.12137
- Category
- Not specified
- Journal tier
- strong field
On the Spectrum of Twisted Laplacians and the Teichmüller Representation
Frédéric Naud, Polyxeni Spilioti
correctmedium confidence- arXiv ID
- 2205.09540
- Category
- Not specified
- Journal tier
- specialist/solid
On Bayesian Mechanics: A Physics of and by Beliefs
Maxwell J. D. Ramstead, Dalton A. R. Sakthivadivel, Conor Heins, Magnus Koudahl, Beren Millidge, Lancelot Da Costa, Brennan Klein, Karl J. Friston
incompletemedium confidence- arXiv ID
- 2205.11543
- Category
- Not specified
- Journal tier
- specialist/solid
Learning differential equations from data
K. D. Olumoyin
incompletemedium confidence- arXiv ID
- 2205.11483
- Category
- Not specified
- Journal tier
- note/short/other
On a new decomposition of the graph Laplacian and the binomial structure of mass-action systems
Stefan Müller
correctmedium confidence- arXiv ID
- 2205.11210
- Category
- math.DS
- Journal tier
- specialist/solid
A mode-in-state contribution factor based on Koopman operator and its application to power system analysis
Kenji Takamichi, Yoshihiko Susuki, Marcos Netto, Atsushi Ishigame
correctmedium confidence- arXiv ID
- 2205.10984
- Category
- Not specified
- Journal tier
- specialist/solid
Lipschitz sub-actions for locally maximal hyperbolic sets of a C1 flow
Xifeng Su, Philippe Thieullen
correctmedium confidence- arXiv ID
- 2205.10135
- Category
- Not specified
- Journal tier
- strong field
FLUCTUATION ANALYSIS FOR A CLASS OF NONLINEAR SYSTEMS WITH FAST PERIODIC SAMPLING AND SMALL STATE-DEPENDENT WHITE NOISE
Shivam Dhama, Chetan D. Pahlajani
correctmedium confidence- arXiv ID
- 2205.09395
- Category
- math.DS
- Journal tier
- strong field
MEASURABLE SEMIGROUP SELECTION OF THE HEAT FLOW FOR HARMONIC MAPS
Jorge E. Cardona
correctmedium confidence- arXiv ID
- 2205.09197
- Category
- Not specified
- Journal tier
- specialist/solid
CERTAIN INVARIANT ALGEBRAIC SETS IN Sp × Sq
Joji Benny, Soumen Sarkar
correctmedium confidence- arXiv ID
- 2205.08825
- Category
- math.DS
- Journal tier
- specialist/solid
Word complexity of weakly mixing rank-one subshifts
Darren Creutz
correctmedium confidence- arXiv ID
- 2205.08691
- Category
- math.DS
- Journal tier
- strong field
OBSTRUCTIONS TO ASYMPTOTIC STABILIZATION
Matthew D. Kvalheim
correcthigh confidenceCounterexample- arXiv ID
- 2205.07840
- Category
- Not specified
- Journal tier
- strong field
Upper and lower bounds for the maximal Lyapunov exponent of singularly perturbed linear switching systems
Yacine Chitour, Ihab Haidar, Paolo Mason, Mario Sigalotti
correcthigh confidence- arXiv ID
- 2205.07699
- Category
- Not specified
- Journal tier
- specialist/solid
Embedding Universality for II1 Factors with Property (T)
Ionut Chifan, Daniel Drimbe, Adrian Ioana
correcthigh confidence- arXiv ID
- 2205.07442
- Category
- Not specified
- Journal tier
- strong field
Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations
Aurélien Desoeuvres, Peter Szmolyan, Ovidiu Radulescu
correctmedium confidence- arXiv ID
- 2205.07360
- Category
- Not specified
- Journal tier
- specialist/solid
Understanding Emergent Behaviours in Multi-Agent Systems with Evolutionary Game Theory
The Anh Han
correctmedium confidence- arXiv ID
- 2205.07369
- Category
- math.DS
- Journal tier
- specialist/solid
Encodings of trajectories and invariant measures
G. S. Osipenko
correctmedium confidence- arXiv ID
- 2205.06787
- Category
- math.DS
- Journal tier
- specialist/solid
On an existence problem of periodic points in intervals whose images cover themselves
Wang Yihan
incompletehigh confidence- arXiv ID
- 2205.07225
- Category
- math.DS
- Journal tier
- specialist/solid
Topological Necessary Conditions for Control Dynamics
Efthimios Kappos
incompletemedium confidence- arXiv ID
- 2205.05893
- Category
- Not specified
- Journal tier
- specialist/solid
Modelling the Dynamics of Cross-Border Ideological Competition
Jose Segovia-Martin
incompletemedium confidence- arXiv ID
- 2205.06010
- Category
- Not specified
- Journal tier
- note/short/other
ESSENTIAL HOLONOMY OF CANTOR ACTIONS
Steven Hurder, Olga Lukina
correcthigh confidence- arXiv ID
- 2205.06285
- Category
- Not specified
- Journal tier
- strong field
Combinatorics of the paths towards synchronization
A. España, X. Leoncini, E. Ugalde
correctmedium confidence- arXiv ID
- 2205.05948
- Category
- math.DS
- Journal tier
- specialist/solid
Forward and pullback dynamics of nonautonomous integrodifference equations: Basic constructions
Huy Huynh, Peter E. Kloeden, Christian Pötzsche
correctmedium confidence- arXiv ID
- 2205.05556
- Category
- math.DS
- Journal tier
- specialist/solid
Hausdorff dimension of intrinsically transversal solenoidal attractors in high dimensions
Ricardo Bortolotti, Eberson Ferreira da Silva
correctmedium confidence- arXiv ID
- 2205.05437
- Category
- Not specified
- Journal tier
- strong field
NUMERICAL DYNAMICS OF INTEGRODIFFERENCE EQUATIONS: FORWARD DYNAMICS AND PULLBACK ATTRACTORS
Huy Huynh, Peter E. Kloeden, Christian Pötzsche
correctmedium confidence- arXiv ID
- 2205.05544
- Category
- math.DS
- Journal tier
- strong field
Invariance Entropy for Uncertain Control Systems
Xingfu Zhong, Yu Huang, Xingfu Zou
correctmedium confidence- arXiv ID
- 2205.05510
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE DISTRIBUTION FUNCTION OF AREA AND PERIMETER FOR PLANAR POISSON LINE PROCESS
A. Kanel-Belov, M. Golafshan, S. Malev, R. Yavich
correctmedium confidence- arXiv ID
- 2205.05151
- Category
- Not specified
- Journal tier
- specialist/solid
Regression-based projection for learning Mori–Zwanzig operators
Yen Ting Lin, Yifeng Tian, Daniel Livescu
correctmedium confidence- arXiv ID
- 2205.05135
- Category
- math.DS
- Journal tier
- strong field