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
- 106 / 778
- Page Size
- 40
QUANTITATIVE WEAK MIXING FOR RANDOM SUBSTITUTION TILINGS
Rodrigo Treviño
correctmedium confidence- arXiv ID
- 2006.16980
- Category
- Not specified
- Journal tier
- specialist/solid
Hunting Co-operation in the Middle Predator in Three Species Food Chain Model
Nishchal Sapkota, Rimsha Bhatta, Phillip Dabney
incompletemedium confidence- arXiv ID
- 2006.16525
- Category
- Not specified
- Journal tier
- note/short/other
Number Theory Meets Wireless Communications: An Introduction for Dummies Like Us
Victor Beresnevich, Sanju Velani
correcthigh confidence- arXiv ID
- 2006.16358
- Category
- math.DS
- Journal tier
- specialist/solid
THE FINITENESS CONJECTURE HOLDS IN (SL2 Z≥0)2
Giovanni Panti, Davide Sclosa
correcthigh confidence- arXiv ID
- 2006.16899
- Category
- Not specified
- Journal tier
- specialist/solid
One-dimensional dynamical systems type delta over Integral Domains
Ronald Orozco López
correctmedium confidence- arXiv ID
- 2006.16973
- Category
- Not specified
- Journal tier
- specialist/solid
Experimental visually-guided investigation of sub-structures in three-dimensional Turing-like patterns
Martin Skrodzki, Ulrich Reitebuch, Eric Zimmermann
correctmedium confidence- arXiv ID
- 2006.16676
- Category
- Not specified
- Journal tier
- specialist/solid
Closed magnetic geodesics on non-compact manifolds
Wenmin Gong
correcthigh confidence- arXiv ID
- 2006.16075
- Category
- Not specified
- Journal tier
- specialist/solid
Discrete correlations of order 2 of generalised Rudin–Shapiro sequences: a combinatorial approach
Irène Marcovici, Thomas Stoll, Pierre-Adrien Tahay
correcthigh confidence- arXiv ID
- 2006.13162
- Category
- Not specified
- Journal tier
- specialist/solid
MOSER’S METHOD AND CONSERVATIVE EXTENSIONS OF DIFFEOMORPHISMS
James Leng
correcthigh confidence- arXiv ID
- 2006.14542
- Category
- math.DS
- Journal tier
- note/short/other
Synchrony and Anti-Synchrony in Weighted Networks
Manuela Aguiar, Ana Dias
correctmedium confidence- arXiv ID
- 2006.14269
- Category
- math.DS
- Journal tier
- strong field
ABSTRACT HYPERBOLIC CHAOS
Akhmet Marat
incompletemedium confidence- arXiv ID
- 2006.14700
- Category
- Not specified
- Journal tier
- note/short/other
Inferring Causal Networks of Dynamical Systems through Transient Dynamics and Perturbation
George Stepaniants, Bingni W. Brunton, J. Nathan Kutz
correcthigh confidence- arXiv ID
- 2006.13154
- Category
- Not specified
- Journal tier
- specialist/solid
Area convergence of Voronoi cells on spiral lattices
Yoshikazu Yamagishi, Takamichi Sushida, Jean-François Sadoc
correcthigh confidence- arXiv ID
- 2006.14723
- Category
- Not specified
- Journal tier
- specialist/solid
Riemannian Optimization on the Symplectic Stiefel Manifold
Bin Gao, Nguyen Thanh Son, P.-A. Absil, Tatjana Stykel
incompletemedium confidence- arXiv ID
- 2006.15226
- Category
- Not specified
- Journal tier
- strong field
Bifurcations in periodic integrodifference equations in C(Ω) I: Analytical results and applications
Christian Aarset, Christian Pötzsche
correctmedium confidence- arXiv ID
- 2006.14406
- Category
- Not specified
- Journal tier
- specialist/solid
APPROXIMATE FIXED POINT THEOREMS OF CYCLICAL CONTRACTION MAPPING ON G-METRIC SPACES
S. A. M. Mohsenialhosseini
wrongmedium confidenceCounterexample- arXiv ID
- 2006.15076
- Category
- math.DS
- Journal tier
- note/short/other
Periodic waves in the fractional modified Korteweg–de Vries equation
Fábio Natali, Uyen Le, Dmitry E. Pelinovsky
correctmedium confidence- arXiv ID
- 2006.14398
- Category
- Not specified
- Journal tier
- strong field
The COVID-19 (SARS-CoV-2) Uncertainty Tripod in Brazil: Assessments on model-based predictions with large under-reporting
Saulo B. Bastos, Marcelo M. Morato, Daniel O. Cajueiro, Julio E. Normey-Rico
correctmedium confidence- arXiv ID
- 2006.15268
- Category
- Not specified
- Journal tier
- specialist/solid
Polynomial decay of the gap length for C^k quasi-periodic Schrödinger operators and spectral application
Ao Cai, Xueyin Wang
correcthigh confidence- arXiv ID
- 2006.15347
- Category
- Not specified
- Journal tier
- specialist/solid
AROUND EFIMOV’S DIFFERENTIAL TEST FOR HOMEOMORPHISM
Victor Alexandrov
correcthigh confidence- arXiv ID
- 2006.15322
- Category
- math.DS
- Journal tier
- specialist/solid
Lagrangian dynamics by nonlocal constants of motion
Gianluca Gorni, Gaetano Zampieri
correctmedium confidence- arXiv ID
- 2006.14844
- Category
- Not specified
- Journal tier
- specialist/solid
A SURVEY ON THE TOPOLOGICAL ENTROPY OF CUBIC POLYNOMIALS
Noah Cockram, Ana Rodrigues
correctmedium confidence- arXiv ID
- 2006.13795
- Category
- Not specified
- Journal tier
- specialist/solid
Simple Toeplitz subshifts: combinatorial properties and uniformity of cocycles
Daniel Sell
correcthigh confidence- arXiv ID
- 2006.15348
- Category
- math.DS
- Journal tier
- strong field
Rigorous verification of Hopf bifurcations via desingularization and continuation
Jan Bouwe van den Berg, Jean-Philippe Lessard, Elena Queirolo
correctmedium confidence- arXiv ID
- 2006.13373
- Category
- Not specified
- Journal tier
- strong field
A Higher Order Unscented Transform
Deanna Easley, Tyrus Berry
correctmedium confidence- arXiv ID
- 2006.13429
- Category
- math.DS
- Journal tier
- specialist/solid
A MASLOV INDEX FOR NON-HAMILTONIAN SYSTEMS
Thomas John Baird, Paul Cornwell, Graham Cox, Christopher Jones, Robert Marangell
correcthigh confidence- arXiv ID
- 2006.14517
- Category
- Not specified
- Journal tier
- strong field
STABILITY AND BIFURCATION PHENOMENA IN ASYMPTOTICALLY HAMILTONIAN SYSTEMS
Oskar A. Sultanov
correctmedium confidence- arXiv ID
- 2006.12957
- Category
- Not specified
- Journal tier
- specialist/solid
NON-STATIONARY NORMAL FORMS FOR CONTRACTING EXTENSIONS
Boris Kalinin
correctmedium confidence- arXiv ID
- 2006.12662
- Category
- Not specified
- Journal tier
- strong field
THE FAREY GRAPH IS UNIQUELY DETERMINED BY ITS CONNECTIVITY
Jan Kurkofka
correctmedium confidence- arXiv ID
- 2006.12472
- Category
- Not specified
- Journal tier
- specialist/solid
ABSENCE OF EIGENVALUES OF ANALYTIC QUASI-PERIODIC SCHRÖDINGER OPERATORS ON Rd
Yunfeng Shi
correcthigh confidence- arXiv ID
- 2006.11925
- Category
- math.DS
- Journal tier
- specialist/solid
Learning Koopman Representations for Hybrid Systems
Craig Bakker, Arnab Bhattacharya, Samrat Chatterjee, Casey J. Perkins, Matthew R. Oster
correctmedium confidence- arXiv ID
- 2006.12427
- Category
- Not specified
- Journal tier
- specialist/solid
On Arithmetic Sums of Fractal Sets in R^d
De-Jun Feng, Yu-Feng Wu
correcthigh confidence- arXiv ID
- 2006.12058
- Category
- Not specified
- Journal tier
- strong field
Limit theorems for toral translations
Dmitry Dolgopyat, Bassam Fayad
correctmedium confidence- arXiv ID
- 2006.11748
- Category
- Not specified
- Journal tier
- strong field
A Fractional 3n+1 Conjecture
Éric Brier, Rémi Géraud-Stewart, David Naccache
wronghigh confidence- arXiv ID
- 2006.11634
- Category
- math.DS
- Journal tier
- specialist/solid
A CHARACTERIZATION OF ω-LIMIT SETS IN SUBSHIFTS OF BAIRE SPACE
Jonathan Meddaugh, Brian E. Raines
correcthigh confidence- arXiv ID
- 2006.11464
- Category
- math.DS
- Journal tier
- specialist/solid
Spectral theory of dynamical systems
Adam Kanigowski, Mariusz Lemańczyk
correctmedium confidence- arXiv ID
- 2006.11616
- Category
- Not specified
- Journal tier
- strong field
Higher Order Melnikov Analysis for Planar Piecewise Linear Vector Fields with Nonlinear Switching Curve
Kamila da S. Andrade, Oscar A. R. Cespedes, Dayane R. Cruz, Douglas D. Novaes
correctmedium confidence- arXiv ID
- 2006.11352
- Category
- Not specified
- Journal tier
- specialist/solid
Deterministic homogenization under optimal moment assumptions for fast-slow systems. Part 1.
A. Korepanov, Z. Kosloff, I. Melbourne
correctmedium confidence- arXiv ID
- 2006.11422
- Category
- math.DS
- Journal tier
- strong field
Bounded confidence dynamics and graph control: enforcing consensus
GuanLin Li, Sebastien Motsch, Dylan Weber
incompletehigh confidence- arXiv ID
- 2006.10835
- Category
- math.DS
- Journal tier
- specialist/solid
Cartesian products of the g-topologies are a g-topology
Jumaev Davron Ilxomovich, Ishniyazov Baxrom Normamatovich, Tagaymuratov Abror Olimovich
wrongmedium confidence- arXiv ID
- 2006.11232
- Category
- math.DS
- Journal tier
- specialist/solid