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
- 10 / 778
- Page Size
- 40
The Influence of the Memory Capacity of Neural DDEs on the Universal Approximation Property
Christian Kuehn, Sara-Viola Kuntz
correctmedium confidence- arXiv ID
- 2505.07244
- Category
- Not specified
- Journal tier
- specialist/solid
KAM theory at the Quantum resonance
Huanhuan Yuan, Yong Li
incompletemedium confidence- arXiv ID
- 2505.07499
- Category
- Not specified
- Journal tier
- specialist/solid
Quantum mechanical closure of partial differential equations with symmetries
Chris Vales, David C. Freeman, Joanna Slawinska, Dimitrios Giannakis
correctmedium confidence- arXiv ID
- math.DS/2505.07519
- Category
- math.DS
- Journal tier
- Not assigned
The Restricted Three-Body Problem as a Perturbed Duffing Equation
Rongchang Liu, Qiudong Wang
incompletehigh confidence- arXiv ID
- 2505.07104
- Category
- math.DS
- Journal tier
- specialist/solid
Invariants and areas of Steiner 4-chains
G. Bibileishvili, A. Diakvnishvili
correctmedium confidence- arXiv ID
- 2505.06724
- Category
- Not specified
- Journal tier
- specialist/solid
On the regularity of time-delayed embeddings with self-intersections
Adam Śpiewak
correctmedium confidence- arXiv ID
- 2505.06712
- Category
- math.DS
- Journal tier
- strong field
Collet-Eckmann Type Conditions and Conformal Welding of Unicritical Quadratic Laminations
Linhang Huang
correcthigh confidence- arXiv ID
- 2505.02965
- Category
- Not specified
- Journal tier
- strong field
Birkhoff normal form via decorated trees
Jacob Armstrong-Goodall, Yvain Bruned
correctmedium confidence- arXiv ID
- 2505.04547
- Category
- math.DS
- Journal tier
- specialist/solid
Ergodic Generative Flows
Leo Maxime Brunswic, Mateo Clemente, Rui Heng Yang, Adam Sigal, Amir Rasouli, Yinchuan Li
incompletemedium confidence- arXiv ID
- 2505.03561
- Category
- Not specified
- Journal tier
- specialist/solid
The multi-scale KAM persistence without a scaling order for Hamiltonian systems
Weichao Qian, Yong Li, Xue Yang
incompletemedium confidence- arXiv ID
- 2505.05369
- Category
- math.DS
- Journal tier
- specialist/solid
On global rigidity of transversely holomorphic Anosov flows
Mounib Abouanass
correcthigh confidence- arXiv ID
- 2505.06572
- Category
- math.DS
- Journal tier
- specialist/solid
OPEN DYNAMICAL SYSTEMS WITH A MOVING HOLE
Derong Kong, Beibei Sun, Zhiqiang Wang
correcthigh confidence- arXiv ID
- 2505.02336
- Category
- math.DS
- Journal tier
- strong field
Causal Discovery in Symmetric Dynamic Systems with Convergent Cross Mapping
Yiting Duan, Yi Guo, Jack Yang, Ming Yin
correctmedium confidence- arXiv ID
- 2505.04815
- Category
- Not specified
- Journal tier
- strong field
Well-posedness and asymptotic behavior of difference equations with a time-dependent delay and applications
Guilherme Mazanti, Jaqueline G. Mesquita
correctmedium confidence- arXiv ID
- 2505.03301
- Category
- Not specified
- Journal tier
- specialist/solid
Orbits Inside Basins of Attraction of Skew Products
John Erik Fornæss, Mi Hu
correcthigh confidence- arXiv ID
- 2505.03503
- Category
- Not specified
- Journal tier
- specialist/solid
Weighted Birkhoff averages: Deterministic and probabilistic perspectives
Zhicheng Tong, Yong Li
correctmedium confidence- arXiv ID
- 2505.03210
- Category
- Not specified
- Journal tier
- strong field
Attention Mechanisms in Dynamical Systems: A Case Study with Predator-Prey Models
David Balaban
wrongmedium confidenceCounterexample- arXiv ID
- 2505.06503
- Category
- math.DS
- Journal tier
- note/short/other
The Existence of Full-Dimensional KAM tori for one-dimensional nonlinear Klein-Gordon equation
Hongzi Cong, Siming Li, Xiaoqing Wu
correctmedium confidence- arXiv ID
- 2505.06526
- Category
- math.DS
- Journal tier
- strong field
Limits of sequences of volume preserving homeomorphisms in W 1,p, for 0 < p < 1
Assis Azevedo, Davide Azevedo
correctmedium confidence- arXiv ID
- 2505.02482
- Category
- math.DS
- Journal tier
- specialist/solid
A short introduction to the control theory in finite-dimensional spaces
Hoai-Minh Nguyen
correcthigh confidence- arXiv ID
- 2505.02423
- Category
- Not specified
- Journal tier
- specialist/solid
Siegel–Radon transforms of transverse dynamical systems
Michael Björklund, Tobias Hartnick
correcthigh confidence- arXiv ID
- 2505.05980
- Category
- Not specified
- Journal tier
- strong field
Full flexibility of entropies among ergodic measures for partially hyperbolic diffeomorphisms
Lorenzo J. Díaz, Katrin Gelfert, Michał Rams, Jinhua Zhang
correcthigh confidence- arXiv ID
- 2505.03079
- Category
- Not specified
- Journal tier
- top field-leading
Exponential mixing of all orders on Kähler manifolds: (quasi-)plurisubharmonic observables
Marco Vergamini, Hao Wu
correctmedium confidence- arXiv ID
- 2505.04183
- Category
- Not specified
- Journal tier
- strong field
Local Connectivity of Julia Sets of Some Transcendental Entire Functions with Siegel Disks
Fei Yang, Gaofei Zhang, Yanhua Zhang
correcthigh confidence- arXiv ID
- 2505.04944
- Category
- math.DS
- Journal tier
- strong field
Counting functions over periodic orbits of a skew-product map
Subith Gopinathan, Bharath Krishna Seshadri, Shrihari Sridharan
correctmedium confidence- arXiv ID
- 2505.05069
- Category
- math.DS
- Journal tier
- specialist/solid
Enabling Local Neural Operators to perform Equation-Free System-Level Analysis
Gianluca Fabiani, Hannes Vandecasteele, Somdatta Goswami, Constantinos Siettos, Ioannis G. Kevrekidis
incompletemedium confidence- arXiv ID
- 2505.02308
- Category
- Not specified
- Journal tier
- specialist/solid
Exponential map of germs of vector fields
O. V. Kaptsov
correctmedium confidence- arXiv ID
- 2505.02117
- Category
- Not specified
- Journal tier
- note/short/other
Spatial modeling of forest-savanna bistability: Impacts of fire dynamics and timescale separation
Kimberly Shen, Simon Levin, Denis D. Patterson
correctmedium confidence- arXiv ID
- 2505.01149
- Category
- Not specified
- Journal tier
- strong field
CONDITIONAL ENTROPY FOR AMENABLE GROUP ACTIONS
Yuan Lian, Bin Zhu
incompletehigh confidence- arXiv ID
- 2505.01839
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE EMERGENCE OF NUMERICAL INSTABILITIES IN NEXT GENERATION RESERVOIR COMPUTING
Edmilson Roque dos Santos, Erik Bollt
wronghigh confidence- arXiv ID
- 2505.00846
- Category
- math.DS
- Journal tier
- specialist/solid
Topologically conjugate classification of diagonal operators
Yue Xin, Bingzhe Hou
correctmedium confidence- arXiv ID
- 2505.00577
- Category
- Not specified
- Journal tier
- specialist/solid
THE SPECTRAL CHARACTERISTICS OF THE STURM HAMILTONIAN WITH EVENTUALLY PERIODIC TYPE
Jie Cao, Zhenyu Yu
correcthigh confidence- arXiv ID
- 2505.00328
- Category
- Not specified
- Journal tier
- strong field
Subspace-Distance-Enabled Active Learning for Efficient Data-Driven Model Reduction of Parametric Dynamical Systems
Harshit Kapadia, Peter Benner, Lihong Feng
incompletemedium confidence- arXiv ID
- 2505.00460
- Category
- Not specified
- Journal tier
- specialist/solid
Random 2D Linear Cocycles II: Statistical Properties
Pedro Duarte, Marcelo Durães, Tomé Graxinha, Silvius Klein
correctmedium confidence- arXiv ID
- 2505.00146
- Category
- Not specified
- Journal tier
- strong field
Topological State Space Inference for Dynamical Systems
Mishal Assif P K, Yuliy Baryshnikov
correctmedium confidence- arXiv ID
- 2505.00276
- Category
- Not specified
- Journal tier
- specialist/solid
NONINTEGRABILITY OF TIME-PERIODIC PERTURBATIONS OF ANALYTICALLY INTEGRABLE SYSTEMS NEAR HOMO- AND HETEROCLINIC ORBITS
Kazuyuki Yagasaki
correctmedium confidence- arXiv ID
- 2505.00088
- Category
- Not specified
- Journal tier
- strong field
Particle, kinetic and hydrodynamic models for sea ice floes. Part I: Non-rotating floes
Quanling Deng, Seung-Yeal Ha
incompletemedium confidence- arXiv ID
- 2504.21809
- Category
- Not specified
- Journal tier
- specialist/solid
Stabilization of linear systems with multiple unknown time-varying input delays by linear time-varying feedback
Bin Zhou, Kai Zhang
correcthigh confidence- arXiv ID
- 2504.21493
- Category
- Not specified
- Journal tier
- specialist/solid
Topology of Univoque Sets in Double-Base Expansions
Vilmos Komornik, Yichang Li, Yuru Zou
correctmedium confidence- arXiv ID
- 2504.21374
- Category
- Not specified
- Journal tier
- strong field
Resonance in Isochronous Systems with Decaying Oscillatory and Stochastic Perturbations
Oskar A. Sultanov
correctmedium confidence- arXiv ID
- 2504.21405
- Category
- Not specified
- Journal tier
- strong field