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
- 97 / 778
- Page Size
- 40
Generalizations of the Eierlegende-Wollmilchsau
Paul Apisa, Alex Wright
correcthigh confidence- arXiv ID
- 2011.09452
- Category
- math.DS
- Journal tier
- strong field
Shift Equivalence Through the Lens of Cuntz–Krieger Algebras
Toke Meier Carlsen, Adam Dor-On, Søren Eilers
correcthigh confidence- arXiv ID
- 2011.10320
- Category
- math.DS
- Journal tier
- strong field
REGULARITY AND CONVERGENCE OF LOCAL FIRST INTEGRALS OF ANALYTIC DIFFERENTIAL SYSTEMS
Xiang Zhang
incompletemedium confidence- arXiv ID
- 2011.09309
- Category
- math.DS
- Journal tier
- strong field
Learning a Reduced Basis of Dynamical Systems using an Autoencoder
David Sondak, Pavlos Protopapas
correctmedium confidence- arXiv ID
- 2011.07346
- Category
- Not specified
- Journal tier
- specialist/solid
Stochastic Stability of Agglomeration Patterns in an Urban Retail Model
Minoru Osawa, Takashi Akamatsu, Yosuke Kogure
correctmedium confidence- arXiv ID
- 2011.06778
- Category
- Not specified
- Journal tier
- strong field
Equilibrium measures of the natural extension of β-shifts
C.-E. Pfister, W.G. Sullivan
correctmedium confidence- arXiv ID
- 2011.07259
- Category
- Not specified
- Journal tier
- strong field
Pointwise convergence of certain continuous-time double ergodic averages
Michael Christ, Polona Durcik, Vjekoslav Kovač, Joris Roos
correctmedium confidence- arXiv ID
- 2011.06370
- Category
- Not specified
- Journal tier
- strong field
Nuclearity for partial crossed products by exact discrete groups
Alcides Buss, Damián Ferraro, Camila F. Sehnem
correctmedium confidence- arXiv ID
- 2011.06686
- Category
- math.DS
- Journal tier
- strong field
Dynamical Analysis of Stochastic COVID-19 Model with Jump-Diffusion
Almaz T., Daniel Tesfay, Anas Khalaf, James Brannan, Jinqiao Duan
wrongmedium confidence- arXiv ID
- 2011.06280
- Category
- math.DS
- Journal tier
- specialist/solid
Double variational principle for mean dimensions with sub-additive potentials
Yunping Wang, Ercai Chen
correctmedium confidence- arXiv ID
- 2011.02925
- Category
- Not specified
- Journal tier
- specialist/solid
A NON-BOREL SPECIAL ALPHA-LIMIT SET IN THE SQUARE
Stephen Jackson, Bill Mance, Samuel Roth
correctmedium confidence- arXiv ID
- 2011.05509
- Category
- Not specified
- Journal tier
- strong field
FIRST BAND OF RUELLE RESONANCES FOR CONTACT ANOSOV FLOWS IN DIMENSION 3
Mihajlo Ćekić, Colin Guillarmou
correcthigh confidence- arXiv ID
- 2011.05959
- Category
- Not specified
- Journal tier
- specialist/solid
A TYPE OF SHADOWING AND DISTRIBUTIONAL CHAOS
Noriaki Kawaguchi
correctmedium confidence- arXiv ID
- 2011.04248
- Category
- Not specified
- Journal tier
- specialist/solid
Demchenko’s nonholonomic case of gyroscopic ball rolling without sliding over a sphere after his 1923 Belgrade doctoral thesis
Vladimir Dragović, Borislav Gajić, Božidar Jovanović
correctmedium confidence- arXiv ID
- 2011.03866
- Category
- Not specified
- Journal tier
- specialist/solid
Explorations for alternating FPU-chains with large mass
Wilberd van der Kallen, Ferdinand Verhulst
correctmedium confidence- arXiv ID
- 2011.04290
- Category
- Not specified
- Journal tier
- specialist/solid
A natural extension of Mittag-Leffler function associated with a triple infinite series
Ismail T. Huseynov, Arzu Ahmadova, Gbenga O. Ojo, Nazim I. Mahmudov
correctmedium confidence- arXiv ID
- 2011.03999
- Category
- math.DS
- Journal tier
- specialist/solid
ON C0-GENERICITY OF DISTRIBUTIONAL CHAOS
Noriaki Kawaguchi
correctmedium confidence- arXiv ID
- 2011.05641
- Category
- Not specified
- Journal tier
- strong field
Attractors of direct products
Stanislav Minkov, Ivan Shilin
correctmedium confidence- arXiv ID
- 2011.04824
- Category
- Not specified
- Journal tier
- specialist/solid
Convergence of equilibrium measures corresponding to finite subgraphs of infinite graphs: new examples
B.M. Gurevich
correcthigh confidence- arXiv ID
- 2011.05403
- Category
- Not specified
- Journal tier
- specialist/solid
Saddle-center and periodic orbit: dynamics near symmetric heteroclinic connection
L.M. Lerman, K.N. Trifonov
correcthigh confidence- arXiv ID
- 2011.03301
- Category
- Not specified
- Journal tier
- strong field
Shadowing and mixing on systems of countable group actions
Zijie Lin, Ercai Chen, Xiaoyao Zhou
correcthigh confidence- arXiv ID
- 2011.02741
- Category
- Not specified
- Journal tier
- specialist/solid
Control of collective dynamics with time-varying weights
Nastassia Pouradier Duteil, Benedetto Piccoli
correcthigh confidence- arXiv ID
- 2011.04387
- Category
- Not specified
- Journal tier
- specialist/solid
Safe trajectory of a piece moved by a robot
Ernest Benedito, Oliver Bond, Thomas Babb, Juan R. Pacha, Sandeep Kumar, Joan Solà-Morales
correctmedium confidence- arXiv ID
- 2011.03330
- Category
- math.DS
- Journal tier
- specialist/solid
Periodic points on the regular and double n-gon surfaces
Paul Apisa, Rafael M. Saavedra, Christopher Zhang
correcthigh confidence- arXiv ID
- 2011.02668
- Category
- Not specified
- Journal tier
- specialist/solid
Final Dynamics of Systems of Nonlinear Parabolic Equations on the Circle
A. V. Romanov
correctmedium confidence- arXiv ID
- 2011.01822
- Category
- Not specified
- Journal tier
- specialist/solid
Statistics of Multipliers for Hyperbolic Rational Maps
Richard Sharp, Anastasios Stylianou
correcthigh confidence- arXiv ID
- 2010.15646
- Category
- Not specified
- Journal tier
- strong field
Reduced-order modelling of flutter oscillations using normal forms and scientific machine learning
K.H. Lee, D.A.W. Barton, L. Renson
correctmedium confidence- arXiv ID
- 2011.02041
- Category
- Not specified
- Journal tier
- specialist/solid
Shadowing for Families of Endomorphisms of Generalized Group Shifts
Xuan Kien Phung
correctmedium confidence- arXiv ID
- 2011.01524
- Category
- Not specified
- Journal tier
- strong field
STABILITY ANALYSIS OF QUATERNION-VALUED NEURAL NETWORKS WITH LEAKAGE DELAY AND ADDITIVE TIME-VARYING DELAYS
Qun Huang, Jinde Cao
correctlow confidence- arXiv ID
- 2011.00212
- Category
- Not specified
- Journal tier
- strong field
Strongly commuting interval maps
Ana Anušić, Christopher Mouron
correctmedium confidence- arXiv ID
- 2010.15328
- Category
- Not specified
- Journal tier
- strong field
Bifurcation of the neuronal population dynamics of the modified theta model: transition to macroscopic gamma oscillation
Kiyoshi Kotani, Akihiko Akao, Hayato Chiba
incompletemedium confidence- arXiv ID
- 2010.15334
- Category
- Not specified
- Journal tier
- specialist/solid
Topological Entropy of Diagonal Maps on Inverse Limit Spaces
Ana Anušić, Christopher Mouron
correcthigh confidence- arXiv ID
- 2010.15332
- Category
- Not specified
- Journal tier
- strong field
RAYS TO RENORMALIZATIONS
Genadi Levin
correcthigh confidence- arXiv ID
- 2010.15386
- Category
- Not specified
- Journal tier
- strong field
Almost Elementariness and Fiberwise Amenability for Étale Groupoids
Xin Ma, Jianchao Wu
correctmedium confidence- arXiv ID
- 2011.01182
- Category
- Not specified
- Journal tier
- strong field
Comparison and Simplicity of Commutator Subgroups of Full Groups
Hung-Chang Liao
correcthigh confidence- arXiv ID
- 2011.01176
- Category
- Not specified
- Journal tier
- specialist/solid
Lifts of Borel actions on quotient spaces
Joshua Frisch, Alexander Kechris, Forte Shinko
correcthigh confidence- arXiv ID
- 2011.01395
- Category
- Not specified
- Journal tier
- strong field
A geometric analysis of the SIRS epidemiological model on a homogeneous network
Hildeberto Jardón-Kojakhmetov, Christian Kuehn, Andrea Pugliese, Mattia Sensi
uncertainmedium confidence- arXiv ID
- 2011.02169
- Category
- Not specified
- Journal tier
- specialist/solid
Lyapunov Exponents and Stability Properties of Higher Rank Representations
Florestan Martin-Baillon
correctmedium confidence- arXiv ID
- 2011.00902
- Category
- Not specified
- Journal tier
- strong field
A stochastic optimization algorithm for analyzing planar central and balanced configurations in the n-body problem
Alexandru Doicu, Lei Zhao, Adrian Doicu
correctmedium confidence- arXiv ID
- 2010.15358
- Category
- Not specified
- Journal tier
- strong field
Development of the Poincare cross-section method: Visualization the three-dimensional sections of four-dimensional flows
Alexander Herega
incompletemedium confidence- arXiv ID
- 2011.01206
- Category
- Not specified
- Journal tier
- specialist/solid