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
- 35 / 778
- Page Size
- 40
Computer assisted proofs for transverse heteroclinics by the parameterization method
J.D. Mireles James, Maxime Murray
correctmedium confidence- arXiv ID
- 2405.12446
- Category
- math.DS
- Journal tier
- strong field
SLOW ENTROPY AND VARIATIONAL DYNAMICAL SYSTEMS
Minhua Cheng, Carlos Ospina, Kurt Vinhage, Yibo Zhai
correctmedium confidence- arXiv ID
- 2405.11137
- Category
- Not specified
- Journal tier
- specialist/solid
Is every triangle a trajectory of an elliptical billiard?
Vladimir Dragović, Milena Radnović
correctmedium confidence- arXiv ID
- 2405.08922
- Category
- Not specified
- Journal tier
- strong field
Generic behavior of differentially positive systems on a globally orderable Riemannian manifold
Lin Niu, Yi Wang
incompletemedium confidence- arXiv ID
- 2405.11434
- Category
- Not specified
- Journal tier
- specialist/solid
Quantum Integrable Systems arising from Separation of Variables on S3
Sean R. Dawson, Holger R. Dullin
correctmedium confidence- arXiv ID
- 2405.08778
- Category
- Not specified
- Journal tier
- specialist/solid
RAPID MIXING AND SUPERPOLYNOMIAL EQUIDISTRIBUTION FOR TORUS EXTENSIONS OF HYPERBOLIC FLOWS
Daofei Zhang
correctmedium confidence- arXiv ID
- 2405.11367
- Category
- math.DS
- Journal tier
- strong field
A NEW CLASS OF α-FAREY MAPS AND AN APPLICATION TO NORMAL NUMBERS
K. Dajani, C. Kraaikamp, H. Nakada, R. Natsui
correctmedium confidence- arXiv ID
- 2405.10921
- Category
- Not specified
- Journal tier
- strong field
Scenarios for the appearance of strange attractors in a model of three interacting microbubble contrast agents
Ivan Garashchuk, Alexey Kazakov, Dmitry Sinelshchikov
incompletemedium confidence- arXiv ID
- 2405.09479
- Category
- Not specified
- Journal tier
- specialist/solid
BASS NOTE SPECTRA OF BINARY FORMS
Giorgos Kotsovolis
correcthigh confidence- arXiv ID
- 2405.10252
- Category
- math.DS
- Journal tier
- strong field
A systematic path to non-Markovian dynamics II: Probabilistic response of nonlinear multidimensional systems to Gaussian colored noise excitation
G.A. Athanassoulis, N.P. Nikoletatos-Kekatos, Konstantinos Mamis
correctmedium confidence- arXiv ID
- 2405.10236
- Category
- Not specified
- Journal tier
- strong field
Conditions on the continuity of the Hausdorff measure
Rafał Tryniecki
correcthigh confidence- arXiv ID
- 2405.10179
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamical systems and complex networks: A Koopman operator perspective
Stefan Klus, Nataša Djurdjevac Conrad
incompletemedium confidence- arXiv ID
- 2405.08940
- Category
- math.DS
- Journal tier
- specialist/solid
Hyperbolicity of Renormalization of Critical Quasicircle Maps
Willie Rush Lim
correctmedium confidence- arXiv ID
- 2405.09008
- Category
- math.DS
- Journal tier
- strong field
Totally Real Algebraic Numbers in Generalized Mandelbrot Set
Kevin G. Hare, Chatchai Noytaptim
correcthigh confidence- arXiv ID
- 2405.10395
- Category
- math.DS
- Journal tier
- specialist/solid
Multi-objective SINDy for parameterized model discovery from single transient trajectory data
Javier A. Lemus, Benjamin Herrmann
correctmedium confidence- arXiv ID
- 2405.08771
- Category
- math.DS
- Journal tier
- specialist/solid
Polytropic Dynamical Systems with Time Singularity
Oday Hazaimah
incompletemedium confidence- arXiv ID
- 2405.08736
- Category
- Not specified
- Journal tier
- specialist/solid
Stabilization of Integral Delay Equations by solving Fredholm equations
Jean Auriol
correctmedium confidence- arXiv ID
- 2405.08634
- Category
- math.DS
- Journal tier
- strong field
HOROCYCLE FLOWS ON ABELIAN COVERS OF SURFACES OF NEGATIVE CURVATURE
Roberto Castorrini, Davide Ravotti
correctmedium confidence- arXiv ID
- 2405.08592
- Category
- math.DS
- Journal tier
- strong field
A Dynamical View of Tijdeman’s Solution of the Chairman Assignment Problem
Valérie Berthé, Olivier Carton, Nicolas Chevallier, Wolfgang Steiner, Reem Yassawi
correctmedium confidence- arXiv ID
- 2405.08532
- Category
- Not specified
- Journal tier
- strong field
Sharp Localization on the First Supercritical Stratum for Liouville Frequencies
Rui Han
correctmedium confidence- arXiv ID
- 2405.07810
- Category
- Not specified
- Journal tier
- specialist/solid
Method of Successive Approximations for Stochastic Optimal Control: Contractivity and Convergence
Safouane Taoufik, Badr Missaoui
correcthigh confidence- arXiv ID
- 2405.07048
- Category
- Not specified
- Journal tier
- specialist/solid
ERGODICITY OF SKEW PRODUCTS OVER TYPICAL IETS
F. Argentieri, P. Berk, F. Trujillo
correctmedium confidence- arXiv ID
- 2405.07645
- Category
- Not specified
- Journal tier
- strong field
Synchronization of High-Dimensional Linear Networks over Finite Fields
Siyu Zou, Ting Li, Jiandong Zhu
correcthigh confidence- arXiv ID
- 2405.07558
- Category
- Not specified
- Journal tier
- specialist/solid
Feedback-delay dependence of the stability of cluster periodic orbits in populations of degrade-and-fire oscillators with common activator
Bastien Fernandez, Matteo Tanzi
correcthigh confidence- arXiv ID
- 2405.07752
- Category
- Not specified
- Journal tier
- strong field
Bifurcation analysis of the problem of a “rubber” ellipsoid of revolution rolling on a plane
A.A.Kilin, E.N.Pivovarova
correctmedium confidence- arXiv ID
- 2405.07511
- Category
- Not specified
- Journal tier
- specialist/solid
Koopman Analysis of the Singularly-Perturbed van der Pol Oscillator
Natsuki Katayama, Yoshihiko Susuki
correctmedium confidence- arXiv ID
- 2405.07635
- Category
- Not specified
- Journal tier
- specialist/solid
A COMPLETE PAIR OF SOLVENTS OF A QUADRATIC MATRIX PENCIL
V. G. Kurbatov, I. V. Kurbatova
correctmedium confidence- arXiv ID
- 2405.07210
- Category
- math.DS
- Journal tier
- specialist/solid
Continuous-Time and Discrete-Time Quasilinear Systems with Asymptotically Unpredictable Solutions
Mehmet Onur Fen, Fatma Tokmak Fen
correctmedium confidence- arXiv ID
- 2405.06803
- Category
- math.DS
- Journal tier
- specialist/solid
INTEGRABILITY-PRESERVING REGULARIZATIONS OF LAPLACIAN GROWTH
Razvan Teodorescu
correctmedium confidence- arXiv ID
- 2405.06167
- Category
- Not specified
- Journal tier
- note/short/other
Stochastic functional partial differential equations with monotone coefficients: Poisson stability measures, exponential mixing and limit theorems
Shuaishuai Lu, Xue Yang, Yong Li
correctmedium confidence- arXiv ID
- 2405.06938
- Category
- math.DS
- Journal tier
- specialist/solid
A CLASSIFICATION OF PSEUDO-ANOSOV HOMEOMORPHISMS VIA GEOMETRIC MARKOV PARTITIONS.
Inti Cruz Diaz
correctmedium confidence- arXiv ID
- 2405.06160
- Category
- Not specified
- Journal tier
- specialist/solid
Efficient Numerical Computation of Spiral Spectra with Exponentially-Weighted Preconditioners
Stephanie Dodson, Ryan Goh, Björn Sandstede
correcthigh confidence- arXiv ID
- 2405.05897
- Category
- Not specified
- Journal tier
- strong field
Topological bifurcations in a mean-field game
Ali Akbar Rezaei Lori, Piyush Grover
correctmedium confidence- arXiv ID
- 2405.05473
- Category
- Not specified
- Journal tier
- specialist/solid
Bumpy Metric Theorem for Co-Rank 1 Sub-Riemannian and Reversible Sub-Finsler Metrics
Shahriar Aslani, Ke Zhang
correctmedium confidence- arXiv ID
- 2405.05450
- Category
- Not specified
- Journal tier
- specialist/solid
SHADOWING OF ACTIONS OF HYPERBOLIC GROUPS ON THEIR BOUNDARIES
Michal Doucha
correcthigh confidence- arXiv ID
- 2405.04905
- Category
- Not specified
- Journal tier
- specialist/solid
ESSENTIAL FREEDOM, ALLOSTERY AND Z-STABILITY OF CROSSED PRODUCTS
Eusebio Gardella, Shirly Geffen, Rafaela Gesing, Grigoris Kopsacheilis, Petr Naryshkin
correctmedium confidence- arXiv ID
- 2405.04343
- Category
- math.DS
- Journal tier
- strong field
Homeostasis in Input-Output Networks: Structure, Classification and Applications
Fernando Antoneli, Martin Golubitsky, Jiaxin Jin, Ian Stewart
correctmedium confidence- arXiv ID
- 2405.03861
- Category
- Not specified
- Journal tier
- strong field
UNIFORM BOUNDS FOR FIELDS OF DEFINITION IN PROJECTIVE SPACES
Giulio Bresciani
correcthigh confidence- arXiv ID
- 2405.03621
- Category
- math.DS
- Journal tier
- strong field
Symmetry and Dynamical Analysis of a Discrete Time Model: The Higher Order Berverton-Holt Equation
Mensah Folly-Gbetoula
incompletemedium confidence- arXiv ID
- 2405.03227
- Category
- Not specified
- Journal tier
- specialist/solid
Incorporating changeable attitudes toward vaccination into an SIR infectious disease model
Yi Jiang, Kristin M. Kurianski, Jane Lee, Yanping Ma, Daniel Cicala, Glenn Ledder
correctmedium confidence- arXiv ID
- 2405.03931
- Category
- math.DS
- Journal tier
- specialist/solid