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
- 29 / 778
- Page Size
- 40
Analytic proof of the emergence of new type of Lorenz-like attractors from the triple instability in systems with Z4-symmetry
Efrosiniia Karatetskaia, Alexey Kazakov, Klim Safonov, Dmitry Turaev
correctmedium confidence- arXiv ID
- 2408.06066
- Category
- Not specified
- Journal tier
- strong field
Comparison of uncertainty propagation techniques in small-body environment
Niccolò Michelotti, Antonio Rizza, Carmine Giordano, Francesco Topputo
correctmedium confidence- arXiv ID
- 2408.05970
- Category
- Not specified
- Journal tier
- top generalist
Existence of generalized solitary waves for a diatomic Fermi-Pasta-Ulam-Tsingou lattice
Shengfu Deng, Shu-Ming Sun
correctmedium confidence- arXiv ID
- 2408.02017
- Category
- Not specified
- Journal tier
- strong field
Opinion Dynamics with Set-Based Confidence: Convergence Criteria and Periodic Solutions
Iryna Zabarianska, Anton V. Proskurnikov
correcthigh confidence- arXiv ID
- 2408.01753
- Category
- Not specified
- Journal tier
- strong field
On the amenability of semigroups of entire maps and formal power series.
C. Cabrera, P. Domínguez, P. Makienko
correctmedium confidence- arXiv ID
- 2408.05180
- Category
- Not specified
- Journal tier
- strong field
TANGENT SPACE OF THE STABLE AND UNSTABLE MANIFOLD OF ANOSOV DIFFEOMORPHISM ON 2-TORUS
Federico Bonneto, Jack Wang, Vishal Kumar
correctmedium confidence- arXiv ID
- 2408.03607
- Category
- Not specified
- Journal tier
- specialist/solid
THE THEORY OF MAXIMAL HARDY FIELDS
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
correctmedium confidence- arXiv ID
- 2408.05232
- Category
- math.DS
- Journal tier
- strong field
Green’s Function Estimates for Quasi-Periodic Operators on Zd with Power-Law Long-Range Hopping
Yunfeng Shi, Li Wen
correctmedium confidence- arXiv ID
- 2408.01913
- Category
- math.DS
- Journal tier
- strong field
COUNTING AND HAUSDORFF MEASURES FOR INTEGERS AND p-ADIC INTEGERS
Davi Lima, Alex Zamudio Espinosa
correctmedium confidence- arXiv ID
- 2408.02967
- Category
- Not specified
- Journal tier
- specialist/solid
The Intrinsic Reductions and the Intrinsic Depths in Non-Archimedean Dynamics
Yûsuke Okuyama
correctmedium confidence- arXiv ID
- 2408.04415
- Category
- Not specified
- Journal tier
- specialist/solid
DC-DC Converters Optimization in Case of Large Variation in the Load
Alexander Domyshev, Elena Chistyakova, Aliona Dreglea, Denis Sidorov, Fang Liu
wrongmedium confidence- arXiv ID
- 2408.06045
- Category
- math.DS
- Journal tier
- specialist/solid
Design and Financial Analysis of a Health Insurance Based on an SIH-Type Epidemic Model
Jonathan Hoseana, Felivia Kusnadi, Gracia Stephanie, Levana Loanardo, Catherine Wijaya
correctmedium confidence- arXiv ID
- 2408.05397
- Category
- math.DS
- Journal tier
- specialist/solid
Pensive billiards, point vortices, and the silver ratio
Theodore D. Drivas, Daniil Glukhovskiy, Boris Khesin
correctmedium confidence- arXiv ID
- 2408.03279
- Category
- Not specified
- Journal tier
- strong field
Shadowing and Stability of Non-Invertible p-adic Dynamics
D.A. Caprio, F. Lenarduzzi, A. Messaoudi, I. Tsokanos
correctmedium confidence- arXiv ID
- 2408.04779
- Category
- Not specified
- Journal tier
- specialist/solid
Holomorphic Vector Fields with Real Integral Manifolds
Martin Kolář, Ilya Kossovskiy, Bernhard Lamel
correcthigh confidence- arXiv ID
- 2408.05186
- Category
- Not specified
- Journal tier
- strong field
INTERPLAY BETWEEN FORAGING CHOICES AND POPULATION GROWTH DYNAMICS
Jimmy Calvo-Monge, Baltazar Espinoza, Fabio Sanchez
incompletemedium confidence- arXiv ID
- 2408.02552
- Category
- Not specified
- Journal tier
- specialist/solid
Sparse Identification of Time Delay Systems via Pseudospectral Collocation
Enrico Bozzo, Dimitri Breda, Muhammad Tanveer
incompletemedium confidence- arXiv ID
- 2408.01971
- Category
- math.DS
- Journal tier
- specialist/solid
4D-Var using Hessian approximation and backpropagation applied to automatically-differentiable numerical and machine learning models
Kylen Solvik, Stephen G. Penny, Stephan Hoyer
correctmedium confidence- arXiv ID
- 2408.02767
- Category
- Not specified
- Journal tier
- specialist/solid
Isolating Signatures of Cyberattacks under Stressed Grid Conditions
Sanchita Ghosh, Syed Ahsan Raza Naqvi, Sai Pushpak Nandanoori, Soumya Kundu
incompletemedium confidence- arXiv ID
- 2408.02011
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE COMPLEXITY OF SUBSHIFTS AND INFINITE WORDS
Be’eri Greenfeld, Carlos Gustavo Moreira, Efim Zelmanov
correctmedium confidence- arXiv ID
- 2408.03403
- Category
- Not specified
- Journal tier
- top field-leading
Parametrized Families of Gibbs Measures and Their Statistical Inference
M. Denker, M. Kesseböhmer, A. O. Lopes, S. R. C. Lopes
correctmedium confidence- arXiv ID
- 2408.01104
- Category
- Not specified
- Journal tier
- specialist/solid
Can multivariate Granger causality detect directed connectivity of a multistable and dynamic biological decision network model?
Abdoreza Asadpour, KongFatt Wong-Lin
incompletelow confidence- arXiv ID
- 2408.01528
- Category
- Not specified
- Journal tier
- specialist/solid
CENTER MANIFOLDS FOR RANDOM DYNAMICAL SYSTEMS WITH GENERALIZED TRICHOTOMIES
António J. G. Bento, Helder Vilarinho
correcthigh confidence- arXiv ID
- 2408.01204
- Category
- Not specified
- Journal tier
- specialist/solid
Relativistic Effects in the Dynamics of a Particle in a Coulomb Field
Rafael Ortega, David Rojas
correcthigh confidence- arXiv ID
- 2408.01260
- Category
- math.DS
- Journal tier
- strong field
A GENERAL DYNAMICAL THEORY OF SCHWARZ REFLECTIONS, B-INVOLUTIONS, AND ALGEBRAIC CORRESPONDENCES
Yusheng Luo, Mikhail Lyubich, Sabyasachi Mukherjee
correctmedium confidence- arXiv ID
- 2408.00204
- Category
- math.DS
- Journal tier
- strong field
One dimensional energy cascades in a fractional quasilinear NLS
Alberto Maspero, Federico Murgante
correctmedium confidence- arXiv ID
- 2408.01097
- Category
- Not specified
- Journal tier
- specialist/solid
NON-DEGENERATE BIRKHOFF FUNCTIONS
Mauricio Garay, Duco van Straten
correcthigh confidence- arXiv ID
- 2407.21495
- Category
- Not specified
- Journal tier
- specialist/solid
Post–operative glioblastoma cancer cell distribution in the peritumoural oedema
Andrei Ciprian Macarie, Szabolcs Suveges, Mohamed Okasha, Kismet Hossain–Ibrahim, J. Douglas Steele, Dumitru Trucu
incompletemedium confidence- arXiv ID
- 2407.21042
- Category
- Not specified
- Journal tier
- specialist/solid
PROOF OF THE C2 MAÑÉ’S CONJECTURE ON SURFACES
Gonzalo Contreras
correctmedium confidence- arXiv ID
- 2408.01009
- Category
- Not specified
- Journal tier
- strong field
Invariant Measures of Non-Uniformly Expanding Maps with Higher Order Critical Set
Ricardo Chicalé, Vanderlei Horita
correctmedium confidence- arXiv ID
- 2408.00121
- Category
- Not specified
- Journal tier
- strong field
DYNAMICAL DEGREES, ARITHMETIC DEGREES, AND CANONICAL HEIGHTS: HISTORY, CONJECTURES, AND FUTURE DIRECTIONS
Joseph H. Silverman
correctmedium confidence- arXiv ID
- 2408.01559
- Category
- Not specified
- Journal tier
- specialist/solid
Generalized replicator dynamics based on mean-field pairwise comparison dynamic
Hidekazu Yoshioka
correctmedium confidence- arXiv ID
- 2407.20751
- Category
- Not specified
- Journal tier
- specialist/solid
Shift operators and their classification
Maria Carvalho, Udayan B. Darji, Paulo Varandas
correctmedium confidence- arXiv ID
- 2407.20890
- Category
- Not specified
- Journal tier
- specialist/solid
Finite Dynamical Laminations
Forrest M. Hilton
correctmedium confidence- arXiv ID
- 2408.01353
- Category
- math.DS
- Journal tier
- specialist/solid
BUNCHING FOR RELATIVELY PINCHED METRICS
Yannick Guedes Bonthonneau
correctmedium confidence- arXiv ID
- 2408.00616
- Category
- math.DS
- Journal tier
- strong field
Observability of complex systems via conserved quantities
Bhargav Karamched, Jack Schmidt, David Murrugarra
incompletemedium confidence- arXiv ID
- 2408.00143
- Category
- math.DS
- Journal tier
- specialist/solid
Stochastic bifurcation of a three-dimensional stochastic Kolmogorov system
Dongmei Xiao, Deng Zhang, Chenwan Zhou
correctmedium confidence- arXiv ID
- 2408.01560
- Category
- Not specified
- Journal tier
- strong field
ON THE CYCLICITY OF HYPERBOLIC POLYCYCLES
Claudio Buzzi, Armengol Gasull, Paulo Santana
correctmedium confidence- arXiv ID
- 2407.20721
- Category
- math.DS
- Journal tier
- strong field
Joint Diffusion Processes as an Inductive Bias in Sheaf Neural Networks
Ferran Hernandez Caralt, Guillermo Bernárdez Gil, Iulia Duta, Pietro Liò, Eduard Alarcón Cot
correctmedium confidence- arXiv ID
- 2407.20597
- Category
- Not specified
- Journal tier
- specialist/solid
Information index augmented eRG to model vaccination behaviour: A case study of COVID-19 in the US
Bruno Buonomo, Alessandra D’Alise, Rossella Della Marca, Francesco Sannino
incompletehigh confidence- arXiv ID
- 2407.20711
- Category
- Not specified
- Journal tier
- specialist/solid