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
- 94 / 778
- Page Size
- 40
STERNBERG THEOREMS FOR COUPLED MAP LATTICES
Ruben Berenguel, Ernest Fontich
correctmedium confidence- arXiv ID
- 2012.13234
- Category
- math.DS
- Journal tier
- specialist/solid
ANOSOV-KATOK CONSTRUCTIONS FOR QUASI-PERIODIC SL(2,R) COCYCLES
Nikolaos Karaliolios, Xu Xu, Qi Zhou
correcthigh confidence- arXiv ID
- 2012.11069
- Category
- Not specified
- Journal tier
- specialist/solid
Stability and oscillation of linear delay differential equations
John Ioannis Stavroulakis, Elena Braverman
correctmedium confidence- arXiv ID
- 2012.10726
- Category
- Not specified
- Journal tier
- strong field
ADMISSIBILITY AND GENERALIZED NONUNIFORM DICHOTOMIES FOR DISCRETE DYNAMICS
César M. Silva
correctmedium confidence- arXiv ID
- 2012.11910
- Category
- Not specified
- Journal tier
- specialist/solid
Intensity—A Metric Approach to Quantifying Attractor Robustness in ODEs
Katherine J. Meyer, Richard P. McGehee
correctmedium confidence- arXiv ID
- 2012.10786
- Category
- Not specified
- Journal tier
- strong field
Unifying the Hyperbolic and Spherical 2-Body Problem with Biquaternions
Philip Arathoon
correctmedium confidence- arXiv ID
- 2012.12166
- Category
- Not specified
- Journal tier
- strong field
DISSECTING A RESONANCE WEDGE ON HETEROCLINIC BIFURCATIONS
Alexandre A. P. Rodrigues
correctmedium confidence- arXiv ID
- 2012.12954
- Category
- Not specified
- Journal tier
- strong field
Interpolatory Methods for Generic BizJet Gust Load Alleviation Function
C. Poussot-Vassal, P. Vuillemin, O. Cantinaud, F. Sève
correctmedium confidence- arXiv ID
- 2012.10418
- Category
- Not specified
- Journal tier
- specialist/solid
CONTROLLABILITY OF NETWORKED SYSTEM WITH HETEROGENEOUS DYNAMICS
Abhijith Ajayakumar, Raju K. George
incompletehigh confidence- arXiv ID
- 2012.10665
- Category
- math.DS
- Journal tier
- specialist/solid
The Impact of Temperature and Isolation on COVID-19 in India : A Mathematical Modelling approach
D Bhanu Prakash, Bishal Chhetri, D K K Vamsi, Balasubramanian S, Carani B Sanjeevi
correctmedium confidence- arXiv ID
- 2012.11239
- Category
- Not specified
- Journal tier
- specialist/solid
PRESSURE INEQUALITIES FOR GIBBS MEASURES OF COUNTABLE MARKOV SHIFTS
René Rühr
correctmedium confidence- arXiv ID
- 2012.13226
- Category
- Not specified
- Journal tier
- note/short/other
Asymptotic properties of neutral type linear systems
Leonid Berezansky, Elena Braverman
correctmedium confidence- arXiv ID
- 2012.11507
- Category
- Not specified
- Journal tier
- strong field
Helmholtz Decomposition and Rotation Potentials in n-dimensional Cartesian Coordinates
Erhard Glötzl, Oliver Richters
correctmedium confidence- arXiv ID
- 2012.13157
- Category
- Not specified
- Journal tier
- note/short/other
CONSTRUCTING TURING COMPLETE EULER FLOWS IN DIMENSION 3
Robert Cardona, Eva Miranda, Daniel Peralta-Salas, Francisco Presas
correcthigh confidence- arXiv ID
- 2012.12828
- Category
- Not specified
- Journal tier
- strong field
THE EFFECT OF A SMALL BOUNDED NOISE ON THE HYPERBOLICITY FOR AUTONOMOUS SEMILINEAR DIFFERENTIAL EQUATIONS
Tomás Caraballo, Alexandre N. Carvalho, José A. Langa, Alexandre N. Oliveira-Sousa
correcthigh confidence- arXiv ID
- 2012.11386
- Category
- Not specified
- Journal tier
- strong field
Cohomology groups, continuous full groups and continuous orbit equivalence of topological Markov shifts
Kengo Matsumoto
correctmedium confidence- arXiv ID
- 2012.11598
- Category
- Not specified
- Journal tier
- specialist/solid
A model reference adaptive system approach for nonlinear online parameter identification
Barbara Kaltenbacher, Tram Thi Ngoc Nguyen
correctmedium confidence- arXiv ID
- 2012.09908
- Category
- Not specified
- Journal tier
- strong field
Angular values of nonautonomous and random linear dynamical systems
Wolf-Jürgen Beyn, Gary Froyland, Thorsten Hüls
correctmedium confidence- arXiv ID
- 2012.11305
- Category
- math.DS
- Journal tier
- specialist/solid
SATURATED PROPERTIES AND OPTIMAL ORBITS FOR CHAOTIC SYSTEMS
Xiaobo Hou, Xueting Tian, Yiwei Zhang
correctmedium confidence- arXiv ID
- 2012.09482
- Category
- math.DS
- Journal tier
- strong field
A Data Driven Method for Computing Quasipotentials
Bo Lin, Qianxiao Li, Weiqing Ren
correcthigh confidence- arXiv ID
- 2012.09111
- Category
- Not specified
- Journal tier
- strong field
Eggbeater dynamics on symplectic surfaces of genus 2 and 3
Arnon Chor
correcthigh confidence- arXiv ID
- 2012.08930
- Category
- Not specified
- Journal tier
- specialist/solid
Sensitivity, Local Stable/Unstable Sets and Shadowing
Mayara Antunes, Bernardo Carvalho, Margoth Tacuri
correcthigh confidence- arXiv ID
- 2012.08894
- Category
- Not specified
- Journal tier
- specialist/solid
On the Stochastic Singular Cucker-Smale Model: Well-Posedness, Collision-Avoidance and Flocking
Qiao Huang, Xiongtao Zhang
correctmedium confidence- arXiv ID
- 2012.08242
- Category
- Not specified
- Journal tier
- strong field
Classification and Threshold Dynamics of Stochastic Reaction Networks
Carsten Wiuf, Chuang Xu
correctmedium confidence- arXiv ID
- 2012.07954
- Category
- Not specified
- Journal tier
- strong field
Volume growth and topological entropy of certain partially hyperbolic systems
Dawei Yang, Yuntao Zang
correcthigh confidence- arXiv ID
- 2012.07569
- Category
- Not specified
- Journal tier
- strong field
On a linearly damped 2 body problem
Alain Haraux
correctmedium confidence- arXiv ID
- 2012.08293
- Category
- Not specified
- Journal tier
- note/short/other
INSTABILITY OF SMALL-AMPLITUDE PERIODIC WAVES FROM FOLD-HOPF BIFURCATION
Shuang Chen, Jinqiao Duan
correctmedium confidence- arXiv ID
- 2012.07484
- Category
- Not specified
- Journal tier
- specialist/solid
Concerning Iterative Graph Normalization and Maximum Weight Independent Sets
Laurent Guigues
correcthigh confidence- arXiv ID
- 2012.07764
- Category
- math.DS
- Journal tier
- specialist/solid
Observer-Based Adaptive Scheme for Fixed-Time Frequency Estimation of Biased Sinusoidal Signals
Shang Shi, Huifang Min, Shihong Ding
correctmedium confidence- arXiv ID
- 2012.07376
- Category
- Not specified
- Journal tier
- specialist/solid
Hausdorff dimension estimates applied to Lagrange and Markov spectra, Zaremba theory, and limit sets of Fuchsian groups
M. Pollicott, P. Vytnova
correctmedium confidence- arXiv ID
- 2012.07083
- Category
- Not specified
- Journal tier
- strong field
Non interlaced solutions and Hardy fields
O. Le Gal, M. Matusinski, F. Sanz Sánchez
correcthigh confidence- arXiv ID
- 2012.06998
- Category
- Not specified
- Journal tier
- strong field
A General Approach to Nonautonomous Shadowing for Nonlinear Dynamics
Lucas Backes, Davor Dragičević
correcthigh confidence- arXiv ID
- 2012.06797
- Category
- math.DS
- Journal tier
- strong field
Model sets with precompact Borel windows
Nicolae Strungaru
correctmedium confidence- arXiv ID
- 2012.06912
- Category
- math.DS
- Journal tier
- specialist/solid
On the Spectral Theory and Dynamics of Asymptotically Hyperbolic Manifolds
Julie Rowlett
correctmedium confidence- arXiv ID
- 2012.06503
- Category
- Not specified
- Journal tier
- specialist/solid
On the decay of the Fourier transform of self-conformal measures
Amir Algom, Federico Rodriguez Hertz, Zhiren Wang
correctmedium confidence- arXiv ID
- 2012.06529
- Category
- Not specified
- Journal tier
- strong field
ON THE HOMOGENEOUS ERGODIC BILINEAR AVERAGES WITH 1-BOUNDED MULTIPLICATIVE WEIGHTS
E. H. EL ABDALAOUI
incompletemedium confidence- arXiv ID
- 2012.06323
- Category
- math.DS
- Journal tier
- specialist/solid
SRB-Symmetric Diffusions on Hyperbolic Attractors
Shayan Alikhanloo, Michael Hinz
correcthigh confidence- arXiv ID
- 2012.05972
- Category
- math.DS
- Journal tier
- specialist/solid
Geometric theory of inertial manifolds for compact cocycles in Banach spaces
Mikhail Anikushin
correctmedium confidence- arXiv ID
- 2012.03821
- Category
- Not specified
- Journal tier
- specialist/solid
Long-time behaviour of a model for p62-ubiquitin aggregation in cellular autophagy
Julia Delacour, Christian Schmeiser, Peter Szmolyan
correctmedium confidence- arXiv ID
- 2012.05201
- Category
- Not specified
- Journal tier
- strong field
Distortion elements in group of diffeomorphisms of the 2-sphere
Jonathan Conejeros
correcthigh confidence- arXiv ID
- 2012.03708
- Category
- Not specified
- Journal tier
- specialist/solid