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
- 5 / 778
- Page Size
- 40
Designing topological cluster synchronization patterns with the Dirac operator
Ahmed A. A. Zaid, Ginestra Bianconi
correctmedium confidence- arXiv ID
- 2507.20837
- Category
- Not specified
- Journal tier
- specialist/solid
Arithmetic Degrees are Cohomological Lyapunov Multipliers
Jiarui Song, Junyi Xie, She Yang
correcthigh confidence- arXiv ID
- 2507.17643
- Category
- Not specified
- Journal tier
- top field-leading
Electronic Equivalent of a Mechanical Impact Oscillator
Volodymyr Denysenko, Marek Balcerzak, Artur Dabrowski
correctmedium confidence- arXiv ID
- 2507.18651
- Category
- Not specified
- Journal tier
- specialist/solid
Synchronization and Applications of Piecewise Recursive Sequences with Dynamic Thresholds
Slimane Alaoui Soulimani Valenti
wronghigh confidenceCounterexample- arXiv ID
- 2507.19605
- Category
- math.DS
- Journal tier
- specialist/solid
Continued fractions with large prime partial quotients
Gerardo González Robert, Mumtaz Hussain, Benjamin Ward, Lauren White
correctmedium confidence- arXiv ID
- 2507.17167
- Category
- Not specified
- Journal tier
- strong field
Maximizing entropy for power-free languages
Vaughn Climenhaga
correcthigh confidence- arXiv ID
- 2507.18779
- Category
- Not specified
- Journal tier
- strong field
Avoiding spectral pollution for transfer operators using residuals
April Herwig, Matthew J. Colbrook, Oliver Junge, Péter Koltai, Julia Slipantschuk
correctmedium confidence- arXiv ID
- 2507.16915
- Category
- Not specified
- Journal tier
- strong field
From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs
Jan Bouwe van den Berg, Gabriel William Duchesne, Jean-Philippe Lessard
correctmedium confidence- arXiv ID
- 2507.16798
- Category
- Not specified
- Journal tier
- strong field
Study on Control Problem of a Impulsive Neutral Integro-Differential Equations with Fading Memory
Garima Gupta, Jaydev Dabas
correctmedium confidence- arXiv ID
- 2507.16560
- Category
- math.DS
- Journal tier
- strong field
Extremal Lyapunov exponents in random dynamics
Thirupathi Perumal, Shrihari Sridharan
incompletemedium confidence- arXiv ID
- 2507.16764
- Category
- Not specified
- Journal tier
- specialist/solid
Slow convergence of Birkhoff ergodic averages
Valery V. Ryzhikov
incompletehigh confidence- arXiv ID
- math.DS/2507.16740
- Category
- math.DS
- Journal tier
- Not assigned
Dichotomy for the Hausdorff dimension of nonergodic directions on translation surfaces
Yuming Wei
correctmedium confidence- arXiv ID
- 2507.15870
- Category
- math.DS
- Journal tier
- strong field
Ubiquity of Uncertainty in Neuron Systems
Brandon B. Le, Bennett Lamb, Luke Benfer, Sriharsha Sambangi, Nisal Geemal Vismith, Akshaj Jagarapu
incompletemedium confidence- arXiv ID
- 2507.15702
- Category
- Not specified
- Journal tier
- specialist/solid
Reduced Subgrid Scale Terms in Three-Dimensional Turbulence
Rik Hoekstra, Wouter Edeling
correctmedium confidence- arXiv ID
- 2507.15539
- Category
- Not specified
- Journal tier
- specialist/solid
Thermodynamically Consistent Modeling and Stable ALE Approximations of Reactive Semi-Permeable Interfaces
Weidong Shi, Shixin Xu, Zhen Zhang, Quan Zhao
correctmedium confidence- arXiv ID
- 2507.14774
- Category
- Not specified
- Journal tier
- strong field
Exterior differential systems on Lie algebroids and the invariant inverse problem of the calculus of variations
Tom Mestdag, Kenzo Yasaka
correctmedium confidence- arXiv ID
- 2507.14678
- Category
- math.DS
- Journal tier
- specialist/solid
Learning Stochastic Hamiltonian Systems via Stochastic Generating Function Neural Network
Chen Chen, Lijin Wang, Yanzhao Cao, Xupeng Cheng
incompletemedium confidence- arXiv ID
- 2507.14467
- Category
- Not specified
- Journal tier
- specialist/solid
Identification and Computation of Slow Manifolds Using the Isostable Coordinate System
Dan Wilson
correctmedium confidence- arXiv ID
- 2507.13997
- Category
- Not specified
- Journal tier
- specialist/solid
Gradient descent avoids strict saddles with a simple line-search method too
Andreea-Alexandra Mușat, Nicolas Boumal
correctmedium confidence- arXiv ID
- 2507.13804
- Category
- Not specified
- Journal tier
- strong field
Oscillatory Behavior of Linear Nonautonomous Advanced and Delayed Impulsive Differential Equations with Discontinuous Deviating Arguments via Difference Equations
Ricardo Torres Naranjo, Eugenio Trucco Vera, Özkan Öcal
correctmedium confidence- arXiv ID
- 2507.13559
- Category
- Not specified
- Journal tier
- specialist/solid
Detecting the most probable transition phenomenon of a nutrient–phytoplankton–zooplankton system
Hui Wang, Ying Wang, Xi Chen
correctmedium confidence- arXiv ID
- 2507.12915
- Category
- Not specified
- Journal tier
- specialist/solid
Quantitative contact Hamiltonian dynamics
Danijel Djordjević, Igor Uljarević, Jun Zhang
correctmedium confidence- arXiv ID
- 2507.13234
- Category
- Not specified
- Journal tier
- strong field
Explicit linearization of multi-dimensional germs and vector fields through Ecalle’s tree expansions
Frédéric Fauvet, Frédéric Menous, David Sauzin
correctmedium confidence- arXiv ID
- 2507.13216
- Category
- Not specified
- Journal tier
- strong field
Finitude of physical measures for Markovian random maps
Pablo G. Barrientos, Dominique Malicet, Fumihiko Nakamura, Yushi Nakano, Hisayoshi Toyokawa
correctmedium confidence- arXiv ID
- 2507.12736
- Category
- Not specified
- Journal tier
- strong field
Simple Lyapunov spectrum of partially hyperbolic diffeomorphisms
Karina Marin, Davi Obata, Mauricio Poletti
correcthigh confidence- arXiv ID
- 2507.12715
- Category
- math.DS
- Journal tier
- strong field
Global Synchronization in Matrix-Weighted Networks
Anna Gallo, Yu Tian, Renaud Lambiotte, Timoteo Carletti
correctmedium confidenceCounterexample- arXiv ID
- 2507.12322
- Category
- math.DS
- Journal tier
- strong field
Orbit sets, transitivity, and sensitivity with upper semicontinuous maps
Jeison Amorocho, Javier Camargo, Sergio Macías
correctmedium confidence- arXiv ID
- 2507.12272
- Category
- Not specified
- Journal tier
- specialist/solid
Interacting Hosts with Microbiome Exchange: An Extension of Metacommunity Theory for Discrete Interactions
Michael Johnson, Mason A. Porter
correcthigh confidence- arXiv ID
- 2507.11958
- Category
- Not specified
- Journal tier
- specialist/solid
Learning from Imperfect Data: Robust Inference of Dynamic Systems using Simulation-based Generative Model
Hyunwoo Cho, Hyeontae Jo, Hyung Ju Hwang
correctmedium confidence- arXiv ID
- 2507.10884
- Category
- math.DS
- Journal tier
- strong field
Performance Enhancement of the Recursive Least Squares Algorithms with Rank Two Updates
Alexander Stotsky
correctmedium confidence- arXiv ID
- 2507.11095
- Category
- Not specified
- Journal tier
- specialist/solid
A Piecewise Smooth λ-Lemma
Claudio Buzzi, Paulo Santana, Luan V. M. F. Silva
correctmedium confidence- arXiv ID
- 2507.10896
- Category
- Not specified
- Journal tier
- strong field
Normal Hyperbolicity in Secondary Hopf Bifurcations
Douglas D. Novaes, Pedro C.C.R. Pereira
correctmedium confidence- arXiv ID
- 2507.10721
- Category
- Not specified
- Journal tier
- note/short/other
Making rare events typical in d-dimensional chaotic maps
Yllari K. González-Koda, Ricardo Gutiérrez, Carlos Pérez-Espigares
correctmedium confidence- arXiv ID
- 2507.10663
- Category
- Not specified
- Journal tier
- strong field
Most Fatou and Julia components are small for polynomials
Jinsong Zeng
correctmedium confidence- arXiv ID
- 2507.08471
- Category
- Not specified
- Journal tier
- strong field
Existence and Stability Theory of a Neurologically-Inspired Parabolic PDE Model with a Nonlinear Time-Delayed Boundary Condition
Gangadhara Boregowda, Michael R. Lindstrom
correctmedium confidence- arXiv ID
- 2507.09783
- Category
- Not specified
- Journal tier
- specialist/solid
On the Birkhoff Conjecture for Kepler Billiards
S. Baranzini, V. Barutello, I. De Blasi, S. Terracini
correctmedium confidence- arXiv ID
- 2507.08446
- Category
- Not specified
- Journal tier
- strong field
Discovering Governing Equations in the Presence of Uncertainty
Ridwan Olabiyi, Han Hu, Ashif Iquebal
incompletemedium confidence- arXiv ID
- 2507.09740
- Category
- Not specified
- Journal tier
- specialist/solid
Linear and Regular Kepler-Manev Dynamics via Projective Transformations: A Geometric Perspective
Joseph T.A. Peterson, Manoranjan Majji, John L. Junkins
correctmedium confidence- arXiv ID
- 2507.06545
- Category
- Not specified
- Journal tier
- strong field
Markovian reduction and exponential mixing in total variation for random dynamical systems
Sergei Kuksin, Armen Shirikyan
correctmedium confidence- arXiv ID
- 2507.09707
- Category
- Not specified
- Journal tier
- strong field
Adaptive Nonlinear Vector Autoregression: Robust Forecasting for Noisy Chaotic Time Series
Azimov Sherkhon, Susana López-Moreno, Eric Dolores-Cuenca, Sieun Lee, Sangil Kim
correctmedium confidence- arXiv ID
- 2507.08738
- Category
- math.DS
- Journal tier
- specialist/solid