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
- 43 / 778
- Page Size
- 40
DOES P(ω)/fin KNOW ITS RIGHT HAND FROM ITS LEFT?
Will Brian
correctmedium confidenceCounterexample- arXiv ID
- 2402.04358
- Category
- Not specified
- Journal tier
- strong field
Basic principles drive self-organization of brain-like connectivity structure
Carlos Calvo Tapia, Valeri A. Makarov, Cees van Leeuwen
uncertainmedium confidence- arXiv ID
- 2402.03529
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamic flux surrogate-based partitioned methods for interface problems
Pavel Bochev, Justin Owen, Paul Kuberry, Jeffrey Connors
correctmedium confidence- arXiv ID
- 2402.03560
- Category
- Not specified
- Journal tier
- strong field
Long time stability for cubic nonlinear Schrödinger equations on non-rectangular flat tori
Joackim Bernier, Nicolas Camps
correctmedium confidence- arXiv ID
- 2402.04122
- Category
- Not specified
- Journal tier
- strong field
ENTROPY OF SINGULAR SUSPENSIONS.
Elias Rego, Sergio Romaña
correctmedium confidence- arXiv ID
- 2402.03132
- Category
- Not specified
- Journal tier
- strong field
DySLIM: Dynamics Stable Learning by Invariant Measure for Chaotic Systems
Yair Schiff, Zhong Yi Wan, Jeffrey B. Parker, Stephan Hoyer, Volodymyr Kuleshov, Fei Sha, Leonardo Zepeda-Núñez
correctmedium confidence- arXiv ID
- 2402.04467
- Category
- math.DS
- Journal tier
- strong field
ON EXISTENCE OF TRAVELING WAVE OF AN HBV INFECTION DYNAMICS MODEL: A NOVEL APPROACH
Rupchand Sutradhar, D C Dalal
incompletemedium confidence- arXiv ID
- 2402.02770
- Category
- math.DS
- Journal tier
- note/short/other
A minimal model of cognition based on oscillatory and current-based reinforcement processes
Linnéa Gyllingberg, Yu Tian, David J. T. Sumpter
incompletemedium confidence- arXiv ID
- 2402.02520
- Category
- Not specified
- Journal tier
- specialist/solid
TUBULAR DIMENSION: LEAF-WISE ASYMPTOTIC LOCAL PRODUCT STRUCTURE, AND ENTROPY AND VOLUME GROWTH
Snir Ben Ovadia
correctmedium confidence- arXiv ID
- 2402.02496
- Category
- Not specified
- Journal tier
- strong field
Sigmoidal approximations of a nonautonomous neural network with infinite delay and Heaviside function
Peter E. Kloeden, Víctor M. Villarragut
correctmedium confidence- arXiv ID
- 2401.17936
- Category
- Not specified
- Journal tier
- strong field
Notes on Symplectic Squeezing in T∗Tn and Spectra of Finsler Dynamics
Qi Feng, Jun Zhang
correctmedium confidence- arXiv ID
- 2401.17635
- Category
- math.DS
- Journal tier
- strong field
Prediction-for-CompAction: Navigation in social environments using generalized cognitive maps
Jose A. Villacorta-Atienza, Carlos Calvo, Valeri A. Makarov
incompletemedium confidence- arXiv ID
- 2402.02219
- Category
- math.DS
- Journal tier
- specialist/solid
Fast social-like learning of complex behaviors based on motor motifs
Carlos Calvo Tapia, Ivan Y. Tyukin, Valeri A. Makarov
correctmedium confidence- arXiv ID
- 2402.02226
- Category
- math.DS
- Journal tier
- specialist/solid
Nineteen Fifty-four: Kolmogorov’s new ‘metrical approach’ to Hamiltonian Dynamics
L. Chierchia, I. Fascitiello
correctmedium confidence- arXiv ID
- 2402.00178
- Category
- Not specified
- Journal tier
- specialist/solid
Graph Iterated Function Systems and Fractal Tops
Grover Lancaster-Cole, Georgiana Lyall, Thomas Malcolm, Qiyu Zhou
correctmedium confidence- arXiv ID
- 2402.00237
- Category
- Not specified
- Journal tier
- specialist/solid
Synchronization and averaging in partially hyperbolic systems with fast and slow variables
Federico Bonetto, Guido Gentile
correctmedium confidence- arXiv ID
- 2402.01958
- Category
- Not specified
- Journal tier
- strong field
Stabilisation of stochastic single-file dynamics using port-Hamiltonian systems
Julia Ackermann, Matthias Ehrhardt, Thomas Kruse, Antoine Tordeux
correctmedium confidence- arXiv ID
- 2401.17954
- Category
- math.DS
- Journal tier
- specialist/solid
Exponential ordering for nonautonomous neutral functional differential equations
Sylvia Novo, Rafael Obaya, Víctor M. Villarragut
correctmedium confidence- arXiv ID
- 2402.00087
- Category
- Not specified
- Journal tier
- strong field
Some questions concerning attractors for non-autonomous dynamical systems
Russell Johnson, Víctor Muñoz-Villarragut
correcthigh confidence- arXiv ID
- 2401.17765
- Category
- math.DS
- Journal tier
- strong field
On asymptotic expansions of ergodic integrals for Zd-extensions of translation flows.
Henk Bruin, Charles Fougeron, Davide Ravotti, Dalia Terhesiu
correctmedium confidence- arXiv ID
- 2402.02266
- Category
- Not specified
- Journal tier
- strong field
Geodesic flow and decay of traces on hyperbolic surfaces
Antoine Gansemer, Andrew Hassell
correctmedium confidence- arXiv ID
- 2402.00230
- Category
- Not specified
- Journal tier
- specialist/solid
Badly Approximable Grids and k-Divergent Lattices
Nikolay Moshchevitin, Anurag Rao, Uri Shapira
incompletemedium confidence- arXiv ID
- 2402.00196
- Category
- math.DS
- Journal tier
- strong field
Modeling the hallmarks of avascular tumors
Erik Blom, Stefan Engblom, Gesina Menz
correctmedium confidence- arXiv ID
- 2402.01305
- Category
- Not specified
- Journal tier
- specialist/solid
LEMDA: A Lagrangian-Eulerian Multiscale Data Assimilation Framework
Quanling Deng, Nan Chen, Samuel N. Stechmann, Jiuhua Hu
correctmedium confidence- arXiv ID
- 2401.18048
- Category
- Not specified
- Journal tier
- strong field
Schrödinger operators with potentials generated by hyperbolic transformations: II. Large deviations and Anderson localization
Artur Avila, David Damanik, Zhenghe Zhang
correctmedium confidence- arXiv ID
- 2402.00215
- Category
- Not specified
- Journal tier
- strong field
Neutral Functional Differential Equations with Applications to Compartmental Systems
Víctor Muñoz-Villarragut, Sylvia Novo, Rafael Obaya
correctmedium confidence- arXiv ID
- 2401.17708
- Category
- Not specified
- Journal tier
- strong field
PAC-Bayesian-Like Error Bound for a Class of Linear Time-Invariant Stochastic State-Space Models
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafal Wisniewski, Mihaly Petreczky
correctmedium confidence- arXiv ID
- 2212.14838
- Category
- Not specified
- Journal tier
- specialist/solid
CRITICALLY FIXED THURSTON MAPS: CLASSIFICATION, RECOGNITION, AND TWISTING
Mikhail Hlushchanka, Nikolai Prochorov
correcthigh confidence- arXiv ID
- 2212.14759
- Category
- Not specified
- Journal tier
- specialist/solid
Topological Entropy for Countable Markov Shifts and Exel–Laca Algebras
Yuta Michimoto, Yushi Nakano, Hisayoshi Toyokawa, Keisuke Yoshida
correctmedium confidence- arXiv ID
- 2212.14607
- Category
- Not specified
- Journal tier
- strong field
Statistics and modelling of order patterns in univariate time series
Christoph Bandt
correctmedium confidence- arXiv ID
- 2212.14386
- Category
- math.DS
- Journal tier
- specialist/solid
KAM THEOREMS FOR MULTI-SCALE TORUS.
Weichao Qian, Yixian Gao, Yong Li
correctmedium confidence- arXiv ID
- 2212.14212
- Category
- math.DS
- Journal tier
- specialist/solid
Bifurcations and Early-Warning Signs for SPDEs with Spatial Heterogeneity
P. Bernuzzi, C. Kuehn
correctmedium confidence- arXiv ID
- 2212.14061
- Category
- math.DS
- Journal tier
- strong field
Finding similarity of orbits between two discrete dynamical systems via optimal principle
Yuting Chen, Yong Li
correctmedium confidence- arXiv ID
- 2212.14564
- Category
- Not specified
- Journal tier
- specialist/solid
Controllability of suspension bridge model proposed by Lazer and Mckenna under the influence of impulses, delays, and non-local conditions
Walid Zouhair, Hugo Leiva
correcthigh confidence- arXiv ID
- 2212.13978
- Category
- Not specified
- Journal tier
- strong field
Dynamics on the path space of generalized Bratteli diagrams
Sergey Bezuglyi, Palle E.T. Jorgensen, Olena Karpel, Shrey Sanadhya
correctmedium confidence- arXiv ID
- 2212.13803
- Category
- Not specified
- Journal tier
- specialist/solid
Global Weinstein Type Theorem on Multiple Rotating Periodic Solutions for Hamiltonian Systems
Jiamin Xing, Xue Yang, Yong Li
correcthigh confidence- arXiv ID
- 2212.12736
- Category
- Not specified
- Journal tier
- specialist/solid
Dictionary-free Koopman model predictive control with nonlinear input transformation
Vít Cibulka, Milan Korda, Tomáš Haniš
correctmedium confidence- arXiv ID
- 2212.13828
- Category
- Not specified
- Journal tier
- strong field
On phase at a resonance in slow-fast Hamiltonian systems
Yuyang Gao, Anatoly Neishtadt, Alexey Okunev
correcthigh confidence- arXiv ID
- 2212.13293
- Category
- Not specified
- Journal tier
- strong field
Controlled Synchronization of Coupled Pendulums by Koopman Model Predictive Control
Loi Do, Milan Korda, Zdeněk Hurák
incompletemedium confidence- arXiv ID
- 2212.13783
- Category
- Not specified
- Journal tier
- specialist/solid
Generalized Lyapunov exponents and aspects of the theory of deep learning
Anders Karlsson
correctmedium confidence- arXiv ID
- 2212.13097
- Category
- math.DS
- Journal tier
- specialist/solid