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
- 26 / 778
- Page Size
- 40
Towards Using Active Learning Methods for Human-Seat Interactions To Generate Realistic Occupant Motion
Niklas Fahse, Monika Harant, Marius Obentheuer, Joachim Linn, Jörg Fehr
incompletemedium confidence- arXiv ID
- 2409.17163
- Category
- Not specified
- Journal tier
- note/short/other
On the set of asymptotic homologies of orbits on invariant Lagrangian graphs
Rafael O. Ruggiero, Alfonso Sorrentino
correctmedium confidence- arXiv ID
- 2409.16010
- Category
- Not specified
- Journal tier
- strong field
Geometric, Variational, and Bracket Descriptions of Fluid Motion with Open Boundaries
Christopher Eldred, François Gay-Balmaz, Meng Wu
correctmedium confidence- arXiv ID
- 2409.13800
- Category
- Not specified
- Journal tier
- specialist/solid
Left-coprimeness condition for the reachability in finite time of pseudo-rational systems of order zero with an application to difference delay systems
Sébastien Fueyo
correctmedium confidence- arXiv ID
- 2409.12767
- Category
- math.DS
- Journal tier
- strong field
Hölder curves with exotic tangent spaces
Eve Shaw, Vyron Vellis
correctmedium confidence- arXiv ID
- 2409.13662
- Category
- Not specified
- Journal tier
- strong field
A theory of generalised coordinates for stochastic differential equations
Lancelot Da Costa, Nathaël Da Costa, Conor Heins, Johan Medrano, Grigorios A. Pavliotis, Thomas Parr, Ajith Anil Meera, Karl Friston
correctmedium confidence- arXiv ID
- 2409.15532
- Category
- Not specified
- Journal tier
- strong field
Generalized Logistic Maps and Convergence
Steven Finch
correctmedium confidence- arXiv ID
- 2409.15175
- Category
- math.DS
- Journal tier
- specialist/solid
On the periodic decompositions of multidimensional configurations
Pyry Herva, Jarkko Kari
correcthigh confidence- arXiv ID
- 2409.14948
- Category
- Not specified
- Journal tier
- strong field
A Novel Neural Filter to Improve Accuracy of Neural Network Models of Dynamic Systems
Parham Oveissi, Turibius Rozario, Ankit Goel
incompletemedium confidence- arXiv ID
- 2409.13654
- Category
- math.DS
- Journal tier
- note/short/other
DISCRETE-TIME DYNAMICAL SYSTEMS GENERATED BY A QUADRATIC OPERATOR
S.K. Shoyimardonov, U.A. Rozikov
correcthigh confidence- arXiv ID
- 2409.13450
- Category
- math.DS
- Journal tier
- specialist/solid
EXISTENCE OF BOUNDED ASYMPTOTIC SOLUTIONS OF AUTONOMOUS DIFFERENTIAL EQUATIONS
Vu Trong Luong, William Barker, Nguyen Duc Huy, Nguyen Van Minh
correctmedium confidence- arXiv ID
- 2409.12885
- Category
- Not specified
- Journal tier
- strong field
Limits of Learning Dynamical Systems
Tyrus Berry, Suddhasattwa Das
incompletehigh confidence- arXiv ID
- 2409.13493
- Category
- Not specified
- Journal tier
- strong field
On the Dynamics of a Nutation Ring Damper
Adrian Luna, Banavara N. Shashikanth
correctmedium confidence- arXiv ID
- 2409.12310
- Category
- Not specified
- Journal tier
- specialist/solid
The Number of Periodic Points of Surface Symplectic Diffeomorphisms
Marcelo S. Atallah, Marta Batoréo, Brayan Ferreira
correctmedium confidence- arXiv ID
- 2409.14962
- Category
- Not specified
- Journal tier
- strong field
Natural levels in return maps of elementary polycycles
Melvin Yeung
correctmedium confidence- arXiv ID
- 2409.13630
- Category
- math.DS
- Journal tier
- specialist/solid
Regularity and persistence in non-Weinstein Liouville geometry via hyperbolic dynamics
Surena Hozoori
correctmedium confidence- arXiv ID
- 2409.15592
- Category
- math.DS
- Journal tier
- strong field
Hamiltonian control to desynchronize Kuramoto oscillators with higher-order interactions
Martin Moriamé, Maxime Lucas, Timoteo Carletti
correctmedium confidence- arXiv ID
- 2409.13578
- Category
- Not specified
- Journal tier
- strong field
Computationally Checking if a Reaction Network is Monotone or Non-expansive
Alon Duvall
correctmedium confidence- arXiv ID
- 2409.12487
- Category
- math.DS
- Journal tier
- specialist/solid
Marked Points of Families of Hyperbolic Automorphisms of Smooth Complex Projective Varieties
Yugang Zhang
correctmedium confidence- arXiv ID
- 2409.12342
- Category
- math.DS
- Journal tier
- strong field
POINTWISE CONVERGENCE OF BILINEAR POLYNOMIAL AVERAGES OVER THE PRIMES
Ben Krause, Hamed Mousavi, Terence Tao, Joni Teräväinen
correctmedium confidence- arXiv ID
- 2409.10510
- Category
- Not specified
- Journal tier
- top field-leading
Hyperuniformity in Regular Trees
Mattias Byléhn
correcthigh confidence- arXiv ID
- 2409.10998
- Category
- Not specified
- Journal tier
- strong field
From Exponential to Finite/Fixed-Time Stability: Applications to Optimization
Ibrahim K. Ozaslan, Mihailo R. Jovanović
correctmedium confidence- arXiv ID
- 2409.11713
- Category
- Not specified
- Journal tier
- strong field
Data-free Non-intrusive Model Reduction for Nonlinear Finite Element Models via Spectral Submanifolds
Mingwu Li, Thomas Thurnher, Zhenwei Xu, Shobhit Jain
correctmedium confidence- arXiv ID
- 2409.10126
- Category
- Not specified
- Journal tier
- strong field
Temporal and Spacial Studies of Infectious Diseases: Mathematical Models and Numerical Solvers
Yongjia Xu, Md Abu Talha, Shan Zhao, Weihua Geng
incompletemedium confidence- arXiv ID
- 2409.10556
- Category
- Not specified
- Journal tier
- specialist/solid
Spectral clustering of time-evolving networks using the inflated dynamic Laplacian for graphs
Gary Froyland, Manu Kalia, Péter Koltai
correctmedium confidence- arXiv ID
- 2409.11984
- Category
- Not specified
- Journal tier
- strong field
LIFEGPT: TOPOLOGY-AGNOSTIC GENERATIVE PRETRAINED TRANSFORMER MODEL FOR CELLULAR AUTOMATA
Jaime A. Berkovich, Markus J. Buehler
correctmedium confidence- arXiv ID
- 2409.12182
- Category
- math.DS
- Journal tier
- specialist/solid
Averaging Theory and Catastrophes: The Persistence of Bifurcations Under Time-Varying Perturbations
Pedro C.C.R. Pereira, Mike R. Jeffrey, Douglas D. Novaes
correctmedium confidence- arXiv ID
- 2409.11054
- Category
- Not specified
- Journal tier
- strong field
Computational Dynamical Systems
Jordan Cotler, Semon Rezchikov
correcthigh confidence- arXiv ID
- 2409.12179
- Category
- Not specified
- Journal tier
- strong field
A Ruelle operator for holomorphic correspondences
Shrihari Sridharan, Subith G.
incompletemedium confidence- arXiv ID
- 2409.11085
- Category
- Not specified
- Journal tier
- specialist/solid
Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
Kenji Takamichi, Yoshihiko Susuki, Marcos Netto
correcthigh confidence- arXiv ID
- 2409.10105
- Category
- Not specified
- Journal tier
- specialist/solid
Kitai’s Criterion for Composition Operators
Daniel Gomes, Karl-G. Grosse-Erdmann
correctmedium confidence- arXiv ID
- 2409.09443
- Category
- Not specified
- Journal tier
- strong field
Accuracy of the Ensemble Kalman Filter in the Near-Linear Setting
E. Calvello, P. Monmarché, A. M. Stuart, U. Vaes
correctmedium confidence- arXiv ID
- 2409.09800
- Category
- Not specified
- Journal tier
- strong field
Horizontally Stationary Generalized Bratteli Diagrams
Sergey Bezuglyi, Palle E.T. Jorgensen, Olena Karpel, Jan Kwiatkowski
correctmedium confidence- arXiv ID
- 2409.10084
- Category
- Not specified
- Journal tier
- strong field
SPECTRAL LOCALIZATION ESTIMATES FOR ABSTRACT LINEAR SCHRÖDINGER EQUATIONS
Jingxuan Zhang
correcthigh confidence- arXiv ID
- 2409.10873
- Category
- Not specified
- Journal tier
- strong field
Entropy for compact operators and results on entropy and specification.
Paulo Lupatini, Felipe Carvalho Silva, Régis Varão
correctmedium confidence- arXiv ID
- 2409.10844
- Category
- Not specified
- Journal tier
- specialist/solid
A laminar chaotic saddle within a turbulent attractor
Hibiki Kato, Miki U Kobayashi, Yoshitaka Saiki, James A. Yorke
uncertainhigh confidence- arXiv ID
- 2409.08870
- Category
- math.DS
- Journal tier
- specialist/solid
Latent Space Dynamics Learning for Stiff Collisional-radiative Models
Xuping Xie, Qi Tang, Xianzhu Tang
incompletemedium confidence- arXiv ID
- 2409.05893
- Category
- Not specified
- Journal tier
- specialist/solid
Khintchine dichotomy for self-similar measures
Timothée Bénard, Weikun He, Han Zhang
correctmedium confidence- arXiv ID
- 2409.08061
- Category
- math.DS
- Journal tier
- strong field
Three-dimensional Nonlinear Path-following Guidance with Bounded Input Constraints
Saurabh Kumar, Shashi Ranjan Kumar, Abhinav Sinha
correctmedium confidence- arXiv ID
- 2409.08507
- Category
- Not specified
- Journal tier
- strong field
Deep Learning for predicting rate-induced tipping
Yu Huang, Sebastian Bathiany, Peter Ashwin, Niklas Boers
incompletemedium confidence- arXiv ID
- 2409.07590
- Category
- Not specified
- Journal tier
- strong field