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
- 99 / 778
- Page Size
- 40
On Examples of Rank-Two Symbolic Shifts
James Leng, Cesar E. Silva, Yuxin Wu
correctmedium confidence- arXiv ID
- 2010.05165
- Category
- Not specified
- Journal tier
- specialist/solid
Periodic solutions and the avoidance of pull–in instability in non–autonomous micro–electro–mechanical systems
Shirali Kadyrov, Ardak Kashkynbayev, Piotr Skrzypacz, Konstantinos Kaloudis, Anastasios Bountis
correctmedium confidence- arXiv ID
- 2010.04475
- Category
- Not specified
- Journal tier
- specialist/solid
A note on the Turing universality of homogeneous potential wells and geodesible flows
Khang Manh Huynh
correcthigh confidence- arXiv ID
- 2010.06210
- Category
- math.DS
- Journal tier
- specialist/solid
Modelling and predicting the effect of social distancing and travel restrictions on COVID-19 spreading
Francesco Parino, Lorenzo Zino, Maurizio Porfiri, Alessandro Rizzo
correctmedium confidence- arXiv ID
- 2010.05968
- Category
- Not specified
- Journal tier
- strong field
Uniqueness of weakly reversible and deficiency zero realization
Gheorghe Craciun, Jiaxin Jin, Polly Y. Yu
correcthigh confidence- arXiv ID
- 2010.04316
- Category
- Not specified
- Journal tier
- strong field
A NEW DEGREE OF FREEDOM FOR OPINION DYNAMICS MODELS: THE ARBITRARINESS OF SCALES
Dino Carpentras, Alejandro Dinkelberg, Michael Quayle
correctmedium confidence- arXiv ID
- 2010.04788
- Category
- math.DS
- Journal tier
- specialist/solid
GLOBAL EXISTENCE AND SINGULARITY OF THE HILL’S TYPE LUNAR PROBLEM WITH STRONG POTENTIAL
Yanxia Deng, Slim Ibrahim
correcthigh confidence- arXiv ID
- 2010.05130
- Category
- Not specified
- Journal tier
- strong field
Chaotic motion in the breathing circle billiard
Claudio Bonanno, Stefano Marò
correctmedium confidence- arXiv ID
- 2010.06348
- Category
- math.DS
- Journal tier
- specialist/solid
PRIMITIVE TUNING VIA QUASICONFORMAL SURGERY
Weixiao Shen, Yimin Wang
correcthigh confidence- arXiv ID
- 2010.05199
- Category
- math.DS
- Journal tier
- specialist/solid
Entropy Monotonicity and Superstable Cycles for the Quadratic Family Revisited
José M. Amigó, Angel Giménez
correctmedium confidence- arXiv ID
- 2010.05208
- Category
- Not specified
- Journal tier
- specialist/solid
EQUIDISTRIBUTION OF HIGHER DIMENSIONAL POLYNOMIAL TRAJECTORIES ON HOMOGENEOUS SPACES
Han Zhang
correctmedium confidence- arXiv ID
- 2010.04547
- Category
- Not specified
- Journal tier
- strong field
ON DYNAMICAL FINITENESS PROPERTIES OF ALGEBRAIC GROUP SHIFTS
Xuan Kien Phung
correctmedium confidence- arXiv ID
- 2010.04035
- Category
- math.DS
- Journal tier
- strong field
A Machine Learning Framework for Computing the Most Probable Paths of Stochastic Dynamical Systems
Yang Li, Jinqiao Duan, Xianbin Liu
incompletemedium confidence- arXiv ID
- 2010.04114
- Category
- Not specified
- Journal tier
- specialist/solid
Accelerating Simulation of Stiff Nonlinear Systems using Continuous-Time Echo State Networks
Ranjan Anantharaman, Yingbo Ma, Shashi Gowda, Chris Laughman, Viral Shah, Alan Edelman, Chris Rackauckas
correctmedium confidence- arXiv ID
- 2010.04004
- Category
- math.DS
- Journal tier
- specialist/solid
Boundary and rigidity of nonsingular Bernoulli actions
Kei Hasegawa, Yusuke Isono, Tomohiro Kanda
correcthigh confidence- arXiv ID
- 2010.03117
- Category
- Not specified
- Journal tier
- strong field
Linearization and Hölder Continuity for Nonautonomous Systems
Lucas Backes, Davor Dragičević, Kenneth J. Palmer
correctmedium confidence- arXiv ID
- 2010.03605
- Category
- Not specified
- Journal tier
- specialist/solid
Rational design of complex phenotype via network models
Marcio Gameiro, Tomáš Gedeon, Shane Kepley, Konstantin Mischaikow
correctmedium confidence- arXiv ID
- 2010.03803
- Category
- math.DS
- Journal tier
- strong field
Data-driven resolvent analysis
Benjamin Herrmann, Peter J. Baddoo, Richard Semaan, Steven L. Brunton, Beverley J. McKeon
correctmedium confidence- arXiv ID
- 2010.02181
- Category
- Not specified
- Journal tier
- specialist/solid
BRATTELLI–VERSHIK MODEL FROM BASIC SET
Takashi Shimomura
correcthigh confidence- arXiv ID
- 2010.02617
- Category
- Not specified
- Journal tier
- specialist/solid
INDEX THEORY FOR TRAVELING WAVES IN REACTION DIFFUSION SYSTEMS WITH SKEW GRADIENT STRUCTURE
Qin Xing
correctmedium confidence- arXiv ID
- 2010.03126
- Category
- math.DS
- Journal tier
- specialist/solid
HARMONIC CURRENTS DIRECTED BY FOLIATIONS BY RIEMANN SURFACES
Tien-Cuong Dinh, Hao Wu
correctmedium confidence- arXiv ID
- 2010.03796
- Category
- math.DS
- Journal tier
- specialist/solid
Partial C*-Dynamics and Rokhlin Dimension
Fernando Abadie, Eusebio Gardella, Shirly Geffen
correctmedium confidence- arXiv ID
- 2010.03511
- Category
- Not specified
- Journal tier
- strong field
Differentiable invariant manifolds of nilpotent parabolic points
Clara Cufí-Cabré, Ernest Fontich
correcthigh confidence- arXiv ID
- 2010.02790
- Category
- Not specified
- Journal tier
- strong field
PRACTICAL GUIDE OF USING KENDALL’S τ IN THE CONTEXT OF FORECASTING CRITICAL TRANSITIONS
Shiyang Chen, Amin Ghadami, Bogdan I. Epureanu
incompletemedium confidence- arXiv ID
- 2010.02478
- Category
- math.DS
- Journal tier
- specialist/solid
Chaos on compact manifolds: Differentiable synchronizations beyond Takens
Lyudmila Grigoryeva, Allen Hart, Juan-Pablo Ortega
correcthigh confidence- arXiv ID
- 2010.03218
- Category
- Not specified
- Journal tier
- strong field
Pattern formation in clouds via Turing instabilities
Juliane Rosemeier, Peter Spichtinger
correctmedium confidence- arXiv ID
- 2010.03330
- Category
- Not specified
- Journal tier
- specialist/solid
Iterated differences sets, diophantine approximations and applications
Vitaly Bergelson, Rigoberto Zelada
correcthigh confidenceCounterexample- arXiv ID
- 2010.02325
- Category
- Not specified
- Journal tier
- strong field
Stability and Interaction of Compactons in the Sublinear KdV Equation
Dmitry E. Pelinovsky, Anna V. Kokorina, Alexey V. Slunyaev, Efim N. Pelinovsky
correctmedium confidence- arXiv ID
- 2010.02816
- Category
- Not specified
- Journal tier
- specialist/solid
Unified Treatment of Dynamical Processes on Generalized Networks: Higher-Order, Multilayer, and Temporal Interactions
Yuanzhao Zhang, Vito Latora, Adilson E. Motter
correctmedium confidence- arXiv ID
- 2010.00613
- Category
- math.DS
- Journal tier
- strong field
Go with the FLOW: Visualizing spatiotemporal dynamics in optical widefield calcium imaging
Nathaniel J. Linden, Dennis R. Tabuena, Nicholas A. Steinmetz, William J. Moody, Steven L. Brunton, Bingni W. Brunton
correcthigh confidence- arXiv ID
- 2009.14283
- Category
- Not specified
- Journal tier
- specialist/solid
Robustness properties of a large-amplitude, high-frequency extremum seeking control scheme
Raik Suttner, Sergey Dashkovskiy
correctmedium confidence- arXiv ID
- math.DS/2009.14676
- Category
- math.DS
- Journal tier
- Not assigned
Coding of billiards in hyperbolic 3-space
Pradeep Singh
incompletemedium confidence- arXiv ID
- 2009.14427
- Category
- Not specified
- Journal tier
- specialist/solid
Non-Markovian Momentum Computing: Universal and Efficient
Kyle J. Ray, Gregory W. Wimsatt, James P. Crutchfield, Alexander B. Boyd
correcthigh confidence- arXiv ID
- 2010.01152
- Category
- math.DS
- Journal tier
- strong field
On the separatrix graph of a rational vector field on the Riemann sphere
Kealey Dias, Antonio Garijo
correcthigh confidence- arXiv ID
- 2010.00066
- Category
- Not specified
- Journal tier
- specialist/solid
Hopf bifurcation of a financial dynamical system with delay
Yasemin Çalış, Ali Demirci, Cihangir Özémir
correctmedium confidence- arXiv ID
- 2010.01671
- Category
- math.DS
- Journal tier
- specialist/solid
Krieger’s type of nonsingular Poisson suspensions and IDPFT systems
Alexandre I. Danilenko, Zemer Kosloff
correctmedium confidence- arXiv ID
- 2010.00405
- Category
- math.DS
- Journal tier
- strong field
A note on parabolic-like maps
Luna Lomonaco
correcthigh confidence- arXiv ID
- 2010.02046
- Category
- math.DS
- Journal tier
- specialist/solid
ON THE SPACE OF ITERATED FUNCTION SYSTEMS AND THEIR TOPOLOGICAL STABILITY
A. ARBIETO, A. TRILLES
correcthigh confidence- arXiv ID
- 2009.14317
- Category
- Not specified
- Journal tier
- specialist/solid
A Convex Approach to Data-driven Optimal Control via Perron-Frobenius and Koopman Operators
Bowen Huang, Umesh Vaidya
incompletemedium confidence- arXiv ID
- 2010.01742
- Category
- Not specified
- Journal tier
- specialist/solid
Invariant Sets and Nilpotency of Endomorphisms of Algebraic Sofic Shifts
Tullio Ceccherini-Silberstein, Michel Coornaert, Xuan Kien Phung
correctmedium confidence- arXiv ID
- 2010.01967
- Category
- Not specified
- Journal tier
- strong field