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
- 9 / 778
- Page Size
- 40
Linear response for systems with a cusp
Davrbek Oltiboev
incompletemedium confidence- arXiv ID
- 2505.17462
- Category
- Not specified
- Journal tier
- specialist/solid
On the Intractability of Chaotic Symbolic Walks: Toward a Non-Algebraic Post-Quantum Hardness Assumption
Mohamed Aly Bouke
incompletehigh confidence- arXiv ID
- 2505.22644
- Category
- Not specified
- Journal tier
- specialist/solid
Some iterative algorithms on Riemannian manifolds and Banach spaces with good global convergence guarantee
Tuyen Trung Truong
correcthigh confidence- arXiv ID
- 2505.22180
- Category
- Not specified
- Journal tier
- specialist/solid
Stability and Bifurcation in a Discrete Phytoplankton–Zooplankton Model with Holling-Type Toxic Effects
Sobirjon Shoyimardonov
correcthigh confidence- arXiv ID
- 2505.20717
- Category
- Not specified
- Journal tier
- specialist/solid
Boundedness criteria for real quivers of rank 3
Roger Casals, Kenton Ke
correctmedium confidence- arXiv ID
- 2505.16955
- Category
- Not specified
- Journal tier
- specialist/solid
Double Hamiltonian Hopf Bifurcation: normalization and normal form non-integrability
L.M. Lerman, R. Mazrooei-Sebdani, N.E. Kulagin
correctmedium confidence- arXiv ID
- 2505.23991
- Category
- math.DS
- Journal tier
- strong field
Rigorous Computation of Expansion in One-Dimensional Dynamics
Paweł Pilarczyk, Michał Palczewski, Stefano Luzzatto
correctmedium confidence- arXiv ID
- 2505.20495
- Category
- Not specified
- Journal tier
- strong field
Products of Exact Dynamical Systems and Lorentzian Continued Fractions
Brandon G. Barreto-Rosa, Jean-Philippe Burelle, Anton Lukyanenko, Martha Richey
correctmedium confidence- arXiv ID
- 2505.22556
- Category
- math.DS
- Journal tier
- specialist/solid
Jumping for diffusion in random metastable systems
Cecilia González-Tokman, Joshua Peters
correctmedium confidence- arXiv ID
- 2505.22996
- Category
- math.DS
- Journal tier
- strong field
On Triangular Forms for x-Flat Control-Affine Systems With Two Inputs
Georg Hartl, Conrad Gstöttner, Markus Schöberl
correctmedium confidence- arXiv ID
- 2505.15562
- Category
- Not specified
- Journal tier
- strong field
Increasing delay as a strategy to prove stability
Ziyad AlSharawi, Jose S. Cánovas
correctmedium confidence- arXiv ID
- 2505.11372
- Category
- Not specified
- Journal tier
- strong field
POINTWISE CONVERGENCE OF POLYNOMIAL MULTIPLE ERGODIC AVERAGES ALONG THE PRIMES
Renhui Wan
correctmedium confidence- arXiv ID
- 2505.15549
- Category
- Not specified
- Journal tier
- top field-leading
Variational Principles for Hausdorff and Packing Dimensions of Fractal Percolation on Self-Affine Sponges
Julien Barral, Guilhem Brunet
correctmedium confidence- arXiv ID
- 2505.11721
- Category
- Not specified
- Journal tier
- strong field
Solenoids in automorphism groups of evolution algebras
Yolanda Cabrera Casado, Maria Inez Cardoso Gonçalves, Daniel Gonçalves, Dolores Martín Barquero, Cándido Martín González, Iván Ruiz Campos
correctmedium confidence- arXiv ID
- 2505.14584
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamic homeostasis in relaxation and bursting oscillations
Christopher J. Ryzowicz, Richard Bertram, Bhargav R. Karamched
correctmedium confidence- arXiv ID
- 2505.12173
- Category
- Not specified
- Journal tier
- specialist/solid
Backward bifurcations and multistationarity
Alexis Nangue, Alan D. Rendall
correctmedium confidence- arXiv ID
- 2505.12352
- Category
- math.DS
- Journal tier
- strong field
Subshifts on groups and computable analysis
Nicanor Carrasco-Vargas
correctmedium confidence- arXiv ID
- 2505.14247
- Category
- Not specified
- Journal tier
- strong field
Infinite linear patterns in sets of positive density
Felipe Hernández
correctmedium confidence- arXiv ID
- 2505.15458
- Category
- Not specified
- Journal tier
- strong field
Analysis of COVID-19 Infection Dynamics: Extended SIR Model Approach
Caleb Traxler, Minh Ton, Nameer Ahmed, Sasha Prostota, Annie Cheng
wrongmedium confidence- arXiv ID
- 2505.13753
- Category
- math.DS
- Journal tier
- note/short/other
Piecewise linear circle maps and conjugation to rigid rational rotations
Paul Glendinning, Siyuan Ma, James Montaldi
correctmedium confidence- arXiv ID
- 2505.13689
- Category
- Not specified
- Journal tier
- specialist/solid
True Zero-Shot Inference of Dynamical Systems Preserving Long-Term Statistics
Christoph Jürgen Hemmer, Daniel Durstewitz
incompletehigh confidence- arXiv ID
- 2505.13192
- Category
- math.DS
- Journal tier
- strong field
Representation of measurable multidimensional flows by Lipschitz functions
Yonatan Gutman, Qiang Huo
correcthigh confidence- arXiv ID
- 2505.14653
- Category
- Not specified
- Journal tier
- strong field
Singularity of the spectrum of typical minimal smooth area-preserving flows in any genus
Krzysztof Frączek, Adam Kanigowski, Corinna Ulcigrai
correcthigh confidence- arXiv ID
- 2505.13193
- Category
- Not specified
- Journal tier
- top field-leading
When do Lyapunov Subcenter Manifolds become Eigenmanifolds?
Yannik P. Wotte, Arne Sachtler, Alin Albu-Schäffer, Stefano Stramigioli, Cosimo Della Santina
correctmedium confidence- arXiv ID
- 2505.13064
- Category
- Not specified
- Journal tier
- strong field
H∞ model order reduction for quadratic output systems
Birgit Hillebrecht, Benjamin Unger
wronghigh confidenceCounterexample- arXiv ID
- 2505.12529
- Category
- math.DS
- Journal tier
- specialist/solid
The dynamics of the Ehrhard–Müller system with invariant algebraic surfaces
Jaume Llibre, Gabriel Rondón
correcthigh confidence- arXiv ID
- 2505.12047
- Category
- Not specified
- Journal tier
- specialist/solid
A Study of Directional Entropy Arising from Z × Z+ Semigroup Actions
Hasan Akın
correctmedium confidence- arXiv ID
- 2505.10428
- Category
- Not specified
- Journal tier
- specialist/solid
SMOOTH SURFACE SYSTEMS MAY CONTAIN SMOOTH CURVES WHICH HAVE NO MEASURE OF MAXIMAL ENTROPY
Xulei Wang, Guohua Zhang
correctmedium confidence- arXiv ID
- 2505.10458
- Category
- math.DS
- Journal tier
- strong field
STABILITY, BIFURCATION, AND CHAOS CONTROL IN A DISCRETE-TIME PHYTOPLANKTON-ZOOPLANKTON MODEL WITH HOLLING TYPE II AND TYPE III FUNCTIONAL RESPONSES
Sobirjon Shoyimardonov
wrongmedium confidenceCounterexample- arXiv ID
- 2505.09954
- Category
- math.DS
- Journal tier
- strong field
ON ALMOST PERIODIC SOLUTIONS TO NLS WITHOUT EXTERNAL PARAMETERS
Joackim Bernier, Benoît Grébert
correcthigh confidence- arXiv ID
- 2505.10051
- Category
- Not specified
- Journal tier
- strong field
Average measure theoretic entropy for a family of expanding on average random Blaschke products
Cecilia González-Tokman, Renee Oldfield
correctmedium confidence- arXiv ID
- 2505.09948
- Category
- Not specified
- Journal tier
- specialist/solid
Anti-classification results for conjugacy of diffeomorphisms on manifolds
Bo Peng
correctmedium confidence- arXiv ID
- 2505.09491
- Category
- Not specified
- Journal tier
- strong field
The Hutchinson-Barnsley theory for iterated function systems with general measures
Elismar R. Oliveira, Rafael R. Souza
correctmedium confidence- arXiv ID
- 2505.09560
- Category
- math.DS
- Journal tier
- strong field
Multivariate multifractal analysis of Lévy functions. Part I: Determination of multifractal spectra
Stéphane Jaffard, Lingmin Liao, Qian Zhang
incompletehigh confidence- arXiv ID
- 2505.09228
- Category
- Not specified
- Journal tier
- strong field
Robust computation of higher-dimensional invariant tori from individual trajectories
Maximilian Ruth, Jackson Kulik, Joshua Burby
incompletemedium confidence- arXiv ID
- 2505.08715
- Category
- Not specified
- Journal tier
- strong field
IRRATIONAL FATOU COMPONENTS IN NON-ARCHIMEDEAN DYNAMICS
Juan Rivera-Letelier
correcthigh confidence- arXiv ID
- 2505.09383
- Category
- Not specified
- Journal tier
- strong field
The Niche Connectivity Paradox: Multichrome Contagions Overcome Vaccine Hesitancy more effectively than Monochromacy
Ho-Chun Herbert Chang, Feng Fu
incompletemedium confidence- arXiv ID
- 2505.09605
- Category
- math.DS
- Journal tier
- strong field
Cholera Transmission Dynamics with Sanitation Control Measures
Abdallah Alsammani, Gassan A.M.O. Farah, Mohammed A.Y. Mohammed, Mehmet Yavuz
correctmedium confidence- arXiv ID
- 2505.08873
- Category
- Not specified
- Journal tier
- specialist/solid
Counting and equidistribution of strongly reversible closed geodesics in negative curvature
Jouni Parkkonen, Frédéric Paulin
correctmedium confidence- arXiv ID
- 2505.07738
- Category
- Not specified
- Journal tier
- strong field
Subgroup mixing in Baumslag-Solitar groups
Sasha Bontemps
correcthigh confidence- arXiv ID
- 2505.07667
- Category
- Not specified
- Journal tier
- specialist/solid