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
- 93 / 778
- Page Size
- 40
SINGULARITIES OF SOLUTIONS OF HAMILTON-JACOBI EQUATIONS
Piermarco Cannarsa, Wei Cheng
correctmedium confidence- arXiv ID
- 2101.02075
- Category
- Not specified
- Journal tier
- strong field
ON APPROXIMATION BY RANDOM LÜROTH EXPANSIONS
Charlene Kalle, Marta Maggioni
correctmedium confidence- arXiv ID
- 2101.01982
- Category
- Not specified
- Journal tier
- specialist/solid
On Long Arithmetic Progressions in Binary Morse-Like Words
Ibai Aedo, Uwe Grimm, Yasushi Nagai, Petra Staynova
correcthigh confidence- arXiv ID
- 2101.02056
- Category
- Not specified
- Journal tier
- specialist/solid
UNIFORM POSITION ALIGNMENT ESTIMATE OF SPHERICAL FLOCKING MODEL WITH INTER-PARTICLE BONDING FORCES
Sun-Ho Choi, Dohyun Kwon, Hyowon Seo
correctmedium confidence- arXiv ID
- 2101.00791
- Category
- Not specified
- Journal tier
- specialist/solid
Data-informed Emulators for Multi-Physics Simulations
Hannah Lu, Dinara Ermakova, Haruko Murakami Wainwright, Liange Zheng, Daniel M. Tartakovsky
correctmedium confidence- arXiv ID
- 2012.15488
- Category
- Not specified
- Journal tier
- strong field
Where to cut to delay a pandemic with minimum disruption? Mathematical analysis based on the SIS model
Paolo Bartesaghi, Ernesto Estrada
wrongmedium confidenceCounterexample- arXiv ID
- 2101.00938
- Category
- math.DS
- Journal tier
- specialist/solid
NONSTANDARD EXPANSIVENESS
Luis Ferrari
correctmedium confidence- arXiv ID
- 2101.00498
- Category
- Not specified
- Journal tier
- note/short/other
Isoperiodic dynamics in rank 1 affine invariant orbifolds
Florent Ygouf
correctmedium confidence- arXiv ID
- 2101.01436
- Category
- Not specified
- Journal tier
- specialist/solid
TOPOLOGICAL R-PRESSURE AND TOPOLOGICAL PRESSURE OF FREE SEMIGROUP ACTIONS
Yinan Zheng, Qian Xiao
correctmedium confidence- arXiv ID
- 2012.15457
- Category
- Not specified
- Journal tier
- specialist/solid
Global Optimisation in Hilbert Spaces using the Survival of the Fittest Algorithm
Andrew Yu. Morozov, Oleg Kuzenkov, Simran K. Sandhu
wronghigh confidenceCounterexample- arXiv ID
- 2101.01485
- Category
- math.DS
- Journal tier
- specialist/solid
Almost automorphy of minimal sets for C1-smooth strongly monotone skew-product semiflows on Banach spaces
Yi Wang, Jinxiang Yao
correctmedium confidence- arXiv ID
- 2101.00568
- Category
- math.DS
- Journal tier
- specialist/solid
On the Global Convergence of Randomized Coordinate Gradient Descent for Non-Convex Optimization
Ziang Chen, Yingzhou Li, Jianfeng Lu
correcthigh confidence- arXiv ID
- 2101.01323
- Category
- Not specified
- Journal tier
- strong field
On a family of self-affine IFS whose attractors have a non-fractal top
Kevin G. Hare, Nikita Sidorov
correcthigh confidence- arXiv ID
- 2101.01798
- Category
- Not specified
- Journal tier
- specialist/solid
Rotated odometers
Henk Bruin, Olga Lukina
correctmedium confidence- arXiv ID
- 2101.00868
- Category
- math.DS
- Journal tier
- strong field
Multiple Ergodic Averages for Variable Polynomials
Andreas Koutsogiannis
correctmedium confidence- arXiv ID
- 2101.00534
- Category
- math.DS
- Journal tier
- specialist/solid
Synchronous Glacial Cycles in a Nonsmooth Conceptual Climate Model with Asymmetric Hemispheres
Alice Nadeau, James Walsh, Esther Widiasih
correctmedium confidence- arXiv ID
- 2101.01707
- Category
- Not specified
- Journal tier
- strong field
A note on combining chaotic dynamical systems using the fuzzy logic XOR operator.
Rezki Chemlal
incompletemedium confidence- arXiv ID
- 2101.00053
- Category
- Not specified
- Journal tier
- note/short/other
Advanced and comprehensive research on the dynamics of COVID-19 under mass communication outlets intervention and quarantine strategy: a deterministic and probabilistic approach
Driss Kiouach, Salim El Azami El-idrissi, Yassine Sabbar
correctmedium confidence- arXiv ID
- 2101.00517
- Category
- Not specified
- Journal tier
- specialist/solid
Independence and almost automorphy of high order
Jiahao Qiu
correctmedium confidence- arXiv ID
- 2101.00076
- Category
- math.DS
- Journal tier
- specialist/solid
Dynamical Characterization of Antiviral Effects in COVID-19
Pablo Abuin, Alejandro Anderson, Antonio Ferramosca, Esteban A. Hernandez-Vargas, Alejandro H. Gonzalez
incompletemedium confidence- arXiv ID
- 2012.15585
- Category
- math.DS
- Journal tier
- specialist/solid
Infinite towers in the graph of a dynamical system
Roberto De Leo, James A. Yorke
correctmedium confidence- arXiv ID
- 2101.00306
- Category
- Not specified
- Journal tier
- strong field
Staircase palindromic polynomials
Rabi K.C., Abdalnaser Algoud
correcthigh confidence- arXiv ID
- 2012.15663
- Category
- math.DS
- Journal tier
- note/short/other
Meandering dynamics of streamwise vortex pairs in afterbody wakes
R. Ranjan, J.-C. Robinet, D. Gaitonde
correctmedium confidence- arXiv ID
- 2012.15444
- Category
- Not specified
- Journal tier
- strong field
G-INDEX, TOPOLOGICAL DYNAMICS AND MARKER PROPERTY
MASAKI TSUKAMOTO, MITSUNOBU TSUTAYA, MASAHIKO YOSHINAGA
correcthigh confidence- arXiv ID
- 2012.15372
- Category
- Not specified
- Journal tier
- strong field
Random Time Dynamical Systems I: General Structures
Yuri Kondratiev, José Luís da Silva
correctmedium confidence- arXiv ID
- 2012.15201
- Category
- math.DS
- Journal tier
- specialist/solid
Stability and Boundedness of Solutions to Some Nonautonomous Multidimensional Nonlinear Systems
Mark A. Pinsky
correctmedium confidence- arXiv ID
- 2012.13674
- Category
- Not specified
- Journal tier
- specialist/solid
Instability of double-periodic waves in the nonlinear Schrödinger equation
Dmitry E. Pelinovsky
correctmedium confidence- arXiv ID
- 2012.15344
- Category
- math.DS
- Journal tier
- specialist/solid
LOWER BOUNDS FOR THE NUMBER OF LIMIT CYCLES IN A GENERALIZED RAYLEIGH-LIÉNARD OSCILLATOR
Rodrigo D. Euzébio, Jaume Llibre, Durval J. Tonon
correcthigh confidence- arXiv ID
- 2012.13952
- Category
- Not specified
- Journal tier
- specialist/solid
Diophantine sets in general are Cantor sets
Fernando Argentieri
correctmedium confidence- arXiv ID
- 2012.13998
- Category
- Not specified
- Journal tier
- strong field
Dynamics of Low-Dimensional Quadratic Families
Haitao Shang
incompletemedium confidence- arXiv ID
- 2012.14374
- Category
- Not specified
- Journal tier
- specialist/solid
One-sided topological conjugacy of topological Markov shifts, continuous full groups and Cuntz–Krieger algebras
Kengo Matsumoto
correcthigh confidence- arXiv ID
- 2012.14630
- Category
- Not specified
- Journal tier
- strong field
Neural Closure Models for Dynamical Systems
Abhinav Gupta, Pierre F.J. Lermusiaux
incompletemedium confidence- arXiv ID
- 2012.13869
- Category
- math.DS
- Journal tier
- strong field
ON LIMIT SETS FOR GEODESICS OF MEROMORPHIC CONNECTIONS
Dmitry Novikov, Boris Shapiro, Guillaume Tahar
correctmedium confidence- arXiv ID
- 2012.14222
- Category
- Not specified
- Journal tier
- strong field
Irreducibility of periodic curves in cubic polynomial moduli space
Matthieu Arfeux, Jan Kiwi
correctmedium confidence- arXiv ID
- 2012.14945
- Category
- Not specified
- Journal tier
- top field-leading
Solvable systems of two coupled first-order ODEs with homogeneous cubic polynomial right-hand sides
Francesco Calogero, Farrin Payandeh
correctmedium confidence- arXiv ID
- 2012.13621
- Category
- Not specified
- Journal tier
- specialist/solid
Solution of the system of two coupled first-order ODEs with second-degree polynomial right-hand sides
Francesco Calogero, Farrin Payandeh
correctmedium confidence- arXiv ID
- 2012.14021
- Category
- math.DS
- Journal tier
- specialist/solid
Input-output analysis of stochastic base flow uncertainty
Dhanushki Hewawaduge, Armin Zare
correctmedium confidence- arXiv ID
- 2012.14918
- Category
- Not specified
- Journal tier
- specialist/solid
Explicit continuation methods and preconditioning techniques for unconstrained optimization problems
Xin-long Luo, Hang Xiao, Jia-hui Lv, Sen Zhang
correctmedium confidence- arXiv ID
- 2012.14808
- Category
- Not specified
- Journal tier
- specialist/solid
Generalization of the multiplicative and additive compounds of square matrices and contraction in the Hausdorff dimension
Chengshuai Wu, Raz Pines, Michael Margaliot, Jean-Jacques Slotine
correctmedium confidence- arXiv ID
- 2012.13441
- Category
- Not specified
- Journal tier
- strong field
Tor: a toolbox for the continuation of two-dimensional tori in autonomous systems and non-autonomous systems with periodic forcing
Mingwu Li
correctmedium confidence- arXiv ID
- 2012.13256
- Category
- math.DS
- Journal tier
- specialist/solid