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
- 1 / 778
- Page Size
- 40
Showing 1–40 of 31,095 papers
Coarse non-wandering sets and their filtration
Tomoo Yokoyama
correctmedium confidence- arXiv ID
- 2509.13697
- Category
- Not specified
- Journal tier
- strong field
Data-driven balanced truncation for linear systems with quadratic outputs
Reetish Padhi, Ion Victor Gosea, Igor Pontes Duff, Serkan Gugercin
correctmedium confidence- arXiv ID
- 2509.12393
- Category
- Not specified
- Journal tier
- strong field
Random attractor and SRB measure for stochastic Hopf bifurcation under discretization
Chuchu Chen, Jialin Hong, Yibo Wang
correctmedium confidence- arXiv ID
- 2509.12865
- Category
- Not specified
- Journal tier
- strong field
Rigidity of strong and weak foliations
Boris Kalinin, Victoria Sadovskaya
correctmedium confidence- arXiv ID
- 2509.13986
- Category
- Not specified
- Journal tier
- strong field
On simultaneously preperiodic points for one-parameter families of polynomials in characteristic p
Jungin Lee, Gyeonghyeon Nam
correctmedium confidence- arXiv ID
- 2509.15079
- Category
- Not specified
- Journal tier
- specialist/solid
Data Denoising and Derivative Estimation for Data-Driven Modeling of Nonlinear Dynamical Systems
Jiaqi Yao, Lewis Mitchell, John Maclean, Hemanth Saratchandran
incompletemedium confidence- arXiv ID
- 2509.14219
- Category
- math.DS
- Journal tier
- specialist/solid
Birkhoff attractors for dissipative symplectic billiards
Luca Baracco, Olga Bernardi, Anna Florio, Alessandra Nardi
correctmedium confidence- arXiv ID
- 2509.13086
- Category
- Not specified
- Journal tier
- strong field
Topological Entropy of Nonlinear Time-Varying Systems
Guosong Yang, Daniel Liberzon
correcthigh confidenceCounterexample- arXiv ID
- 2509.13537
- Category
- Not specified
- Journal tier
- strong field
Boundedness of solutions of the first-order linear multidimensional difference equations
Andrii Chaikovskyi, Oleksandr Liubimov
correctmedium confidence- arXiv ID
- 2509.14842
- Category
- Not specified
- Journal tier
- specialist/solid
Doubling bifurcations of invariant closed curves in 3D maps
Sayanho Biswas, Soumitro Banerjee, Viktor Avrutin, Iryna Sushko
correcthigh confidence- arXiv ID
- 2509.12943
- Category
- Not specified
- Journal tier
- specialist/solid
Segmentation of the spacecraft transfer problem through overdetermined and continuity constraints based on the Theory of Functional Connections
A. K. de Almeida Jr.
wrongmedium confidenceCounterexample- arXiv ID
- 2509.14286
- Category
- math.DS
- Journal tier
- specialist/solid
A Chebyshev–Ritz Spectral Framework for Nonlinear Vibration of CNT-Reinforced Composite Beams
Maryam Jalili, Samad Noeiaghdam
incompletemedium confidence- arXiv ID
- 2509.11946
- Category
- Not specified
- Journal tier
- specialist/solid
On the model attractor in a high-dimensional neural network dynamics of reservoir computing
Miki U. Kobayashi, Kengo Nakai, Yoshitaka Saiki, Natsuki Tsutsumi
incompletehigh confidence- arXiv ID
- 2509.12733
- Category
- Not specified
- Journal tier
- specialist/solid
On Kanai’s conjecture for frame flows over negatively curved manifolds
Louis-Brahim Beaufort
correctmedium confidence- arXiv ID
- 2509.09500
- Category
- math.DS
- Journal tier
- specialist/solid
Chow and Rashevskii meet Sobolev
Sergey Kryzhevich, Eugene Stepanov, Dario Trevisan
correctmedium confidence- arXiv ID
- 2509.11400
- Category
- Not specified
- Journal tier
- strong field
Conditioning on PDE Parameters to Generalise Deep Learning Emulation of Stochastic and Chaotic Dynamics
Ira J. S. Shokar, Rich R. Kerswell, Peter H. Haynes
incompletemedium confidence- arXiv ID
- 2509.09599
- Category
- math.DS
- Journal tier
- specialist/solid
Quantization Errors, Human–AI Interaction, and Approximate Fixed Points in L1(µ)
Faruk Alpay, Hamdi Alakkad
incompletemedium confidence- arXiv ID
- 2509.11700
- Category
- math.DS
- Journal tier
- specialist/solid
Symbolic dynamics for non-uniformly hyperbolic flows in high dimension
Yuri Lima, Juan Carlos Mongez, João Paulo Nascimento
correctmedium confidence- arXiv ID
- 2509.09050
- Category
- Not specified
- Journal tier
- strong field
Data-driven approximation of transfer operators for mean-field stochastic differential equations
Eirini Ioannou, Stefan Klus, Gonçalo dos Reis
correctmedium confidence- arXiv ID
- 2509.09891
- Category
- math.DS
- Journal tier
- specialist/solid
On the common index jump theorem and further developments
Huagui Duan, Yiming Long, Wei Wang, Chaofeng Zhu
correctmedium confidence- arXiv ID
- 2509.11119
- Category
- Not specified
- Journal tier
- specialist/solid
Global Hopf bifurcation and connected components in a delayed predator-prey model
Wael El Khateeb, Guihong Fan, Chunhua Shan, Hao Wang
correctmedium confidence- arXiv ID
- 2509.10243
- Category
- Not specified
- Journal tier
- strong field
Variety of physical measures in partially hyperbolic systems with multi 1-D centers
Zeya Mi, Hangyue Zhang
correctmedium confidence- arXiv ID
- 2509.10071
- Category
- Not specified
- Journal tier
- specialist/solid
Topological chaos in the two-gene Andrecut-Kauffman model
Jörg Neunhäuserer
correcthigh confidence- arXiv ID
- 2509.11881
- Category
- Not specified
- Journal tier
- specialist/solid
Chern character for torsion-free ample groupoids
Valerio Proietti, Makoto Yamashita
correcthigh confidence- arXiv ID
- 2509.07663
- Category
- Not specified
- Journal tier
- strong field
An entropy formula for the Deep Linear Network
Govind Menon, Tianmin Yu
correctmedium confidence- arXiv ID
- 2509.09088
- Category
- Not specified
- Journal tier
- strong field
Using Erdős’s Methods to Study Yorke’s Problems
Eran Igra, Valerii Sopin
wrongmedium confidenceCounterexample- arXiv ID
- 2509.06852
- Category
- math.DS
- Journal tier
- specialist/solid
Limit Cycles in Piecewise Quadratic Kolmogorov Systems
Leonardo Pereira Costa da Cruz, Regilene Oliveira, Joan Torregrosa
correctmedium confidence- arXiv ID
- 2509.06198
- Category
- math.DS
- Journal tier
- strong field
Linearly Stable KAM Tori for One Dimensional Forced Kirchhoff Equations under Periodic Boundary Conditions
Yin Chen, Jiansheng Geng, Guangzhao Zhou
correctmedium confidence- arXiv ID
- 2509.04861
- Category
- Not specified
- Journal tier
- top field-leading
Moments of finitary factor maps between Bernoulli processes
Uri Gabor
correcthigh confidence- arXiv ID
- 2509.06018
- Category
- math.DS
- Journal tier
- strong field
Deficiency of equation-finding approach to data-driven modeling of dynamical systems
Zheng-Meng Zhai, Valerio Lucarini, Ying-Cheng Lai
incompletemedium confidence- arXiv ID
- 2509.03769
- Category
- Not specified
- Journal tier
- note/short/other
Rational self-maps of projective surfaces with a regular iterate
Sina Saleh
correctmedium confidence- arXiv ID
- 2509.05194
- Category
- Not specified
- Journal tier
- strong field
From Control to Opinion Dynamics: Signum Consensus Protocol on Arbitrary Weighted Directed Graphs
Mingxi Li, Hanzhou Wang, Dongyu Li
correcthigh confidence- arXiv ID
- 2509.06080
- Category
- math.DS
- Journal tier
- strong field
Measure 0 of the singular set for 2-valued stationary hypercurrents
Jonas Hirsch, Luca Spolaor
correcthigh confidence- arXiv ID
- 2509.05544
- Category
- Not specified
- Journal tier
- strong field
Modeling Cholera Dynamics Under Food Insecurity and Environmental Contamination: A Multi-Patch Approach
Jean-Marc Mandeng
incompletemedium confidence- arXiv ID
- 2509.05731
- Category
- Not specified
- Journal tier
- specialist/solid
Stable and unstable spatially-periodic canards created in singular subcritical Turing bifurcations in the Brusselator system
Robert Jencks, Arjen Doelman, Tasso J. Kaper, Theodore Vo
correctmedium confidence- arXiv ID
- 2509.04835
- Category
- Not specified
- Journal tier
- strong field
Hausdorff dimension of double base expansions and binary shifts with a hole
Jian Lu, Wolfgang Steiner, Yuru Zou
correctmedium confidence- arXiv ID
- 2509.04227
- Category
- Not specified
- Journal tier
- strong field
Simultaneously bounded and dense orbits for commuting Cartan actions
Dmitry Kleinbock, Chengyang Wu
correcthigh confidence- arXiv ID
- 2509.05272
- Category
- math.DS
- Journal tier
- strong field
Weak solutions of port-Hamiltonian systems
Timo Reis
correctmedium confidence- arXiv ID
- 2509.05521
- Category
- Not specified
- Journal tier
- specialist/solid
L1-DRAC: Distributionally Robust Adaptive Control — Global Results
Aditya Gahlawat, Sambhu H. Karumanchi, Naira Hovakimyan
correctmedium confidence- arXiv ID
- 2509.04619
- Category
- math.DS
- Journal tier
- specialist/solid
Well-Posedness of the Cauchy Problem for First-order Quasilinear Equations with Non-Lipschitz Source Terms and Its Applications
Gaowei Cao, Gui-Qiang G. Chen, Wei Xiang, Xiaozhou Yang
correctmedium confidence- arXiv ID
- 2509.06020
- Category
- math.DS
- Journal tier
- strong field
Page 1 of 778