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
- 74 / 778
- Page Size
- 40
EXISTENCE OF ASYMPTOTIC PAIRS IN POSITIVE ENTROPY GROUP ACTIONS
Mateusz Wiȩcek
correctmedium confidence- arXiv ID
- 2110.01112
- Category
- Not specified
- Journal tier
- specialist/solid
Outer billiards on the manifolds of oriented geodesics of the three dimensional space forms
Yamile Godoy, Michael Harrison, Marcos Salvai
correctmedium confidence- arXiv ID
- 2110.01679
- Category
- math.DS
- Journal tier
- specialist/solid
PFH spectral invariants and C∞ closing lemmas
Oliver Edtmair, Michael Hutchings
correctmedium confidence- arXiv ID
- 2110.02463
- Category
- math.DS
- Journal tier
- strong field
Gradient flows for bounded linear evolution equations
D. R. Michiel Renger, Stefanie Schindler
correctmedium confidence- arXiv ID
- 2110.02012
- Category
- Not specified
- Journal tier
- specialist/solid
Most Probable Transitions from Metastable to Oscillatory Regimes in a Carbon Cycle System
Wei Wei, Jianyu Hu, Jianyu Chen, Jinqiao Duan
correctmedium confidence- arXiv ID
- 2109.14905
- Category
- Not specified
- Journal tier
- specialist/solid
HINGED TROUCHET TILING FRACTALS
H. A. Verrill
correctmedium confidence- arXiv ID
- 2110.01069
- Category
- Not specified
- Journal tier
- specialist/solid
Asymptotic Formation and Orbital Stability of Phase-Locked States in Kuramoto–Lohe Type Synchronization Models on Lie Groups
Sang Woo Ryoo
correcthigh confidence- arXiv ID
- 2109.14761
- Category
- Not specified
- Journal tier
- specialist/solid
Discrepancy and Rectifiability of Almost Linearly Repetitive Delone Sets
Yotam Smilansky, Yaar Solomon
correctmedium confidence- arXiv ID
- 2109.14564
- Category
- Not specified
- Journal tier
- strong field
Oncolytic virotherapy for tumours following a Gompertz growth law
Adrianne L. Jenner, Peter S. Kim, Federico Frascoli
correcthigh confidence- arXiv ID
- 2109.14190
- Category
- Not specified
- Journal tier
- specialist/solid
A NONSTANDARD-ANALYTIC PROOF OF A THEOREM REGARDING NONCOMMUTATIVE ERGODIC OPTIMIZATIONS
Aidan Young
correcthigh confidence- arXiv ID
- 2109.13965
- Category
- math.DS
- Journal tier
- note/short/other
Formalizing the Generalization-Forgetting Trade-off in Continual Learning
R. Krishnan, Prasanna Balaprakash
incompletemedium confidence- arXiv ID
- 2109.14035
- Category
- Not specified
- Journal tier
- specialist/solid
A Note on Nussbaum-type Control and Lie-bracket Approximation
Marc Weber, Christian Ebenbauer, Bahman Gharesifard
wrongmedium confidenceCounterexample- arXiv ID
- 2109.13559
- Category
- math.DS
- Journal tier
- specialist/solid
A PERIODICITY RESULT FOR TILINGS OF Z3 BY CLUSTERS OF PRIME-SQUARED CARDINALITY
Abhishek Khetan
correctmedium confidence- arXiv ID
- 2109.14179
- Category
- Not specified
- Journal tier
- specialist/solid
Space-split algorithm for sensitivity analysis of discrete chaotic systems with unstable manifolds of arbitrary dimension
Adam A. Śliwiak, Qiqi Wang
correctmedium confidence- arXiv ID
- 2109.13313
- Category
- math.DS
- Journal tier
- specialist/solid
Optimal vaccine roll-out strategies with respect to social distancing measures for SARS-CoV-2 pandemic
Konstantinos Spiliotis, Constantinos Ch. Koutsoumaris, Andreas Reppas, Jens Starke, Haralampos Hatzikirou
correctmedium confidence- arXiv ID
- 2109.12706
- Category
- math.DS
- Journal tier
- specialist/solid
Fuzzy-set approach to invariant idempotent measures
Rudnei D. da Cunha, Elismar R. Oliveira, Filip Strobin
correcthigh confidence- arXiv ID
- 2109.13040
- Category
- Not specified
- Journal tier
- specialist/solid
Nesterov Accelerated ADMM for Fast Diffeomorphic Image Registration
Alexander Thorley, Xi Jia, Hyung Jin Chang, Boyang Liu, Karina Bunting, Victoria Stoll, Antonio de Marvao, Declan P. O’Regan, Georgios Gkoutos, Dipak Kotecha, Jinming Duan
correctmedium confidence- arXiv ID
- 2109.12688
- Category
- Not specified
- Journal tier
- specialist/solid
Equilibria and learning dynamics in mixed network coordination/anti-coordination games
Laura Arditti, Giacomo Como, Fabio Fagnani, Martina Vanelli
correctmedium confidence- arXiv ID
- 2109.12692
- Category
- Not specified
- Journal tier
- specialist/solid
Properties of Poincaré Half-Maps for Planar Linear Systems via an Integral Characterization
Victoriano Carmona, Fernando Fernández-Sánchez, Elisabeth García-Medina, Douglas D. Novaes
correctmedium confidence- arXiv ID
- 2109.12673
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics of the Absolute Period Foliation of a Stratum of Holomorphic 1-Forms
Karl Winsor
correctmedium confidence- arXiv ID
- 2109.12669
- Category
- Not specified
- Journal tier
- strong field
A Poincaré-Bendixson Theorem for Flows with Arbitrarily Many Singular Points
Tomoo Yokoyama
correctmedium confidence- arXiv ID
- 2109.12478
- Category
- Not specified
- Journal tier
- strong field
DYNAMICS ON THE NUMBER OF PRIME DIVISORS FOR ADDITIVE ARITHMETIC SEMIGROUPS
Biao Wang
incompletemedium confidence- arXiv ID
- 2109.11290
- Category
- Not specified
- Journal tier
- specialist/solid
LIMIT CYCLES BIFURCATING FROM A PERIODIC ANNULUS IN DISCONTINUOUS PLANAR PIECEWISE LINEAR HAMILTONIAN DIFFERENTIAL SYSTEM WITH THREE ZONES
Claudio Pessoa, Ronisio Ribeiro
correctmedium confidence- arXiv ID
- 2109.10311
- Category
- Not specified
- Journal tier
- specialist/solid
Linear instability of periodic orbits of free period Lagrangian systems
Alessandro Portaluri, Li Wu, Ran Yang
correcthigh confidence- arXiv ID
- 2109.12022
- Category
- Not specified
- Journal tier
- strong field
Proof of the C2-stability conjecture for geodesic flows of closed surfaces
Gonzalo Contreras, Marco Mazzucchelli
correctmedium confidence- arXiv ID
- 2109.10704
- Category
- Not specified
- Journal tier
- top field-leading
Modeling of Low Rank Time Series
Wenqi Cao, Anders Lindquist, Giorgio Picci
correctmedium confidence- arXiv ID
- 2109.11814
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE ACCUMULATION OF SEPARATRICES BY INVARIANT CIRCLES
A. Katok, R. Krikorian
correctmedium confidence- arXiv ID
- 2109.10137
- Category
- math.DS
- Journal tier
- strong field
On amenability and measure of maximal entropy for semigroups of rational maps: II.
Carlos Cabrera, Peter Makienko
correctmedium confidence- arXiv ID
- 2109.11601
- Category
- math.DS
- Journal tier
- strong field
The Lie algebraic structure of colored networks
Fahimeh Mokhtari, Jan A. Sanders
correctmedium confidence- arXiv ID
- 2109.11419
- Category
- Not specified
- Journal tier
- specialist/solid
Numerical Computation of Critical Surfaces for the Breakup of Invariant Tori in Hamiltonian Systems
Adrián P. Bustamante, Cristel Chandre
uncertainmedium confidence- arXiv ID
- 2109.12235
- Category
- Not specified
- Journal tier
- specialist/solid
Towards cyber-physical systems robust to communication delays: A differential game approach
Shankar A. Deka, Donggun Lee, Claire J. Tomlin
correctmedium confidence- arXiv ID
- 2109.10450
- Category
- Not specified
- Journal tier
- strong field
Limit theorems for skew products with mixing base maps and expanding on the average fibers without fiberwise centering
Yeor Hafouta
correctmedium confidence- arXiv ID
- 2109.11073
- Category
- math.DS
- Journal tier
- strong field
BERNOULLI PROPERTY OF SUBADDITIVE EQUILIBRIUM STATES
Benjamin Call, Kiho Park
correctmedium confidence- arXiv ID
- 2109.10721
- Category
- Not specified
- Journal tier
- strong field
SLICES AND DISTANCES: ON TWO PROBLEMS OF FURSTENBERG AND FALCONER
Pablo Shmerkin
correcthigh confidence- arXiv ID
- 2109.12157
- Category
- Not specified
- Journal tier
- strong field
The Variational Principle for a Z^N_+ Action on a Hausdorff Locally Compact Space
André Caldas, Hermano Farias
correcthigh confidence- arXiv ID
- 2109.11080
- Category
- math.DS
- Journal tier
- specialist/solid
Weighted Mean Topological Dimension
Yunping Wang
correcthigh confidence- arXiv ID
- 2109.11786
- Category
- math.DS
- Journal tier
- specialist/solid
Quantitative Destruction of Invariant Circles
Lin Wang
correctmedium confidence- arXiv ID
- 2109.08785
- Category
- math.DS
- Journal tier
- specialist/solid
Renormalisation of the two-dimensional border-collision normal form.
I. Ghosh, D.J.W. Simpson
correctmedium confidence- arXiv ID
- 2109.09242
- Category
- math.DS
- Journal tier
- strong field
Random iteration on hyperbolic Riemann surfaces
Marco Abate, Argyrios Christodoulou
correcthigh confidence- arXiv ID
- 2109.10029
- Category
- Not specified
- Journal tier
- specialist/solid
Central configurations on the plane with N heavy and k light bodies
Malgorzata Moczurad, Piotr Zgliczyński
correcthigh confidence- arXiv ID
- 2109.09110
- Category
- math.DS
- Journal tier
- specialist/solid