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
- 30 / 778
- Page Size
- 40
Memristive Linear Algebra
J. Lin, F. Barrows, F. Caravelli
wrongmedium confidenceCounterexample- arXiv ID
- 2407.20539
- Category
- math.DS
- Journal tier
- specialist/solid
Characterizing Dynamical Stability of Stochastic Gradient Descent in Overparameterized Learning
Dennis Chemnitz, Maximilian Engel
correctmedium confidence- arXiv ID
- 2407.20209
- Category
- math.DS
- Journal tier
- strong field
Opinion response functions are key to understanding tipping of social conventions
Sarah K. Wyse, Eric Foxall
correctmedium confidence- arXiv ID
- 2407.20451
- Category
- Not specified
- Journal tier
- specialist/solid
DISCONTINUITY OF LYAPUNOV EXPONENTS FOR SL(2,R)-VALUED COCYCLES
Edhin Mamani, Raquel Saraiva
correcthigh confidence- arXiv ID
- 2407.20310
- Category
- Not specified
- Journal tier
- specialist/solid
Pseudo-Böttcher Components of the Wandering Set of Inner Mappings
IGOR YU. VLASENKO
correctmedium confidence- arXiv ID
- 2407.19251
- Category
- math.DS
- Journal tier
- specialist/solid
LI-YORKE CHAOTIC WEIGHTED COMPOSITION OPERATORS
Nilson C. Bernardes Jr., Fernanda M. Vasconcellos
correctmedium confidence- arXiv ID
- 2407.19091
- Category
- Not specified
- Journal tier
- strong field
KAM for high-dimensional nonlinear quantum harmonic oscillator
Jianjun Liu, Caihong Qi, Guanghua Shi
correcthigh confidence- arXiv ID
- 2407.19312
- Category
- Not specified
- Journal tier
- specialist/solid
Convergence of Random Batch Method with replacement for interacting particle systems
Zhenhao Cai, Jian-Guo Liu, Yuliang Wang
correctmedium confidence- arXiv ID
- 2407.19315
- Category
- Not specified
- Journal tier
- specialist/solid
Behaviors, trajectories and data: A novel perspective on the design of unknown-input observers
Giorgia Disarò, Maria Elena Valcher
correctmedium confidence- arXiv ID
- 2407.18833
- Category
- math.DS
- Journal tier
- strong field
OVERLAPPING SUBSTITUTIONS AND TILINGS
Shigeki Akiyama, Yasushi Nagai, Shu-Qin Zhang
correcthigh confidence- arXiv ID
- 2407.18666
- Category
- Not specified
- Journal tier
- strong field
Phase transition in a kinetic mean-field game model of inertial self-propelled agents
Piyush Grover, Mandy Huo
incompletemedium confidence- arXiv ID
- 2407.18400
- Category
- Not specified
- Journal tier
- strong field
Spatial analysis of tails of air pollution PDFs in Europe
Hankun He, Benjamin Schäfer, Christian Beck
correctmedium confidence- arXiv ID
- 2407.18268
- Category
- Not specified
- Journal tier
- specialist/solid
Most probable escape paths in perturbed gradient systems
Katherine Slyman, Mackenzie Simper, John A. Gemmer, Björn Sandstede
correcthigh confidence- arXiv ID
- 2407.18052
- Category
- math.DS
- Journal tier
- specialist/solid
On Geometry, Arithmetics and Chaos
Lars Andersen
incompletemedium confidence- arXiv ID
- 2407.17701
- Category
- Not specified
- Journal tier
- specialist/solid
AN ASSESSMENT OF ENSEMBLE KALMAN FILTER AND AZOUANI-OLSON-TITI ALGORITHMS FOR DATA ASSIMILATION: A COMPARATIVE STUDY
Ning Ning, Collin Victor
incompletemedium confidence- arXiv ID
- 2407.17424
- Category
- math.DS
- Journal tier
- specialist/solid
IRREGULAR SET AND METRIC MEAN DIMENSION WITH POTENTIAL
Tianlong Zhang, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2407.17079
- Category
- math.DS
- Journal tier
- specialist/solid
Stationary Solitons in discrete NLS with non-nearest neighbour interactions
Vassilis M. Rothos, Stavros Anastassiou, Katerina G. Hadjifotinou
incompletehigh confidence- arXiv ID
- 2407.15088
- Category
- math.DS
- Journal tier
- specialist/solid
Exponential mixing for random nonlinear wave equations: weak dissipation and localized control
Ziyu Liu, Dongyi Wei, Shengquan Xiang, Zhifei Zhang, Jia-Cheng Zhao
correcthigh confidence- arXiv ID
- 2407.15058
- Category
- math.DS
- Journal tier
- strong field
ANOSOV DIFFEOMORPHISMS OF OPEN SURFACES
Snir Ben Ovadia, Jonathan DeWitt
correctmedium confidence- arXiv ID
- 2407.16650
- Category
- Not specified
- Journal tier
- strong field
Metric mean dimension, Hölder regularity and Assouad spectrum
Alexandre Tavares Baraviera, Maria Carvalho, Gustavo Pessil
correctmedium confidence- arXiv ID
- 2407.15774
- Category
- Not specified
- Journal tier
- strong field
Reconstructing dynamical systems as zero-noise limits
Suddhasattwa Das
incompletemedium confidence- arXiv ID
- 2407.16673
- Category
- Not specified
- Journal tier
- specialist/solid
Extended invariant cones as Nonlinear Normal Modes of inhomogeneous piecewise linear systems
A. Yassine Karoui, Remco I. Leine
correctmedium confidence- arXiv ID
- 2407.16096
- Category
- Not specified
- Journal tier
- strong field
A q-weighted analogue of the Trollope-Delange formula
Aleksei Minabutdinov
correctmedium confidence- arXiv ID
- 2407.15201
- Category
- Not specified
- Journal tier
- strong field
Singular perturbation in heavy ball dynamics
Cédric Josz, Xiaopeng Li
correctmedium confidence- arXiv ID
- 2407.15044
- Category
- Not specified
- Journal tier
- specialist/solid
Birkhoff Sum Convergence of Fréchet Observables to Stable Laws for Gibbs-Markov Systems and Applications
An Chen, Matthew Nicol, Andrew Török
correcthigh confidence- arXiv ID
- 2407.16632
- Category
- Not specified
- Journal tier
- specialist/solid
CORRESPONDENCES ON RIEMANN SURFACES AND NON-UNIFORM HYPERBOLICITY
Laurent Bartholdi, Dzmitry Dudko, Kevin M. Pilgrim
correctmedium confidence- arXiv ID
- 2407.15548
- Category
- Not specified
- Journal tier
- strong field
Multifractal Level Sets and Metric Mean Dimension with Potential
Tianlong Zhang, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2407.15027
- Category
- Not specified
- Journal tier
- specialist/solid
LIMIT CYCLES OF PIECEWISE SMOOTH DIFFERENTIAL SYSTEMS WITH NILPOTENT CENTER AND LINEAR SADDLE
Nanasaheb Phatangare, Krishnat Masalkar, Subhash Kendre
correctmedium confidence- arXiv ID
- 2407.15163
- Category
- Not specified
- Journal tier
- specialist/solid
Energy cascade and Burgers turbulence in the Fermi-Pasta-Ulam-Tsingou chain
Matteo Gallone, Antonio Ponno, Stefano Ruffo
correctmedium confidence- arXiv ID
- 2407.16534
- Category
- Not specified
- Journal tier
- specialist/solid
Existence of Trust-field in Vehicular Ad Hoc Networks: Empirical Evidence
Md Mahmudul Islam, Shaurya Agarwal
incompletemedium confidence- arXiv ID
- 2407.13923
- Category
- math.DS
- Journal tier
- specialist/solid
Priestley duality and representations of recurrent dynamics
William Kalies, Robert Vandervorst
correcthigh confidence- arXiv ID
- 2407.14359
- Category
- Not specified
- Journal tier
- strong field
Online learning of Koopman operator using streaming data from different dynamical regimes ⋆
Kartik Loya, Phanindra Tallapragada
correctmedium confidence- arXiv ID
- 2407.13940
- Category
- Not specified
- Journal tier
- specialist/solid
Mating Parabolic Rational Maps with Hecke Groups
Shaun Bullett, Luna Lomonaco, Mikhail Lyubich, Sabyasachi Mukherjee
correctmedium confidence- arXiv ID
- 2407.14780
- Category
- Not specified
- Journal tier
- top field-leading
Hölder Estimates and Uniformity in Arithmetic Dynamics
Thomas Gauthier
correctlow confidence- arXiv ID
- 2407.13275
- Category
- math.DS
- Journal tier
- strong field
Scaled packing pressures on subsets for amenable group actions
Zubiao Xiao, Hongwei Jia, Zhengyu Yin
correcthigh confidence- arXiv ID
- 2407.13202
- Category
- Not specified
- Journal tier
- specialist/solid
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
correctmedium confidence- arXiv ID
- 2407.12660
- Category
- Not specified
- Journal tier
- specialist/solid
Polynomial Convergence Rate at Infinity for the Cusp Winding Spectrum of Generalized Schottky Groups
Yuya Arima
correctmedium confidence- arXiv ID
- 2407.12398
- Category
- Not specified
- Journal tier
- specialist/solid
Multi evolutional deep neural networks (Multi-EDNN)
Hadden Kim, Tamer A. Zaki
correctmedium confidence- arXiv ID
- 2407.12293
- Category
- Not specified
- Journal tier
- strong field
On Fourier Asymptotics and Effective Equidistribution
Shreyasi Datta, Subhajit Jana
correctmedium confidence- arXiv ID
- 2407.11961
- Category
- Not specified
- Journal tier
- strong field
A Scalable Real-Time Data Assimilation Framework for Predicting Turbulent Atmosphere Dynamics
Junqi Yin, Siming Liang, Siyan Liu, Feng Bao, Hristo G. Chipilski, Dan Lu, Guannan Zhang
incompletehigh confidence- arXiv ID
- 2407.12168
- Category
- Not specified
- Journal tier
- specialist/solid