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
- 73 / 778
- Page Size
- 40
Existence of Birkhoff Sections for Kupka-Smale Geodesic Flows of Closed Surfaces
Gonzalo Contreras, Marco Mazzucchelli
correctmedium confidence- arXiv ID
- 2110.07491
- Category
- math.DS
- Journal tier
- specialist/solid
Weak nonlinearity for strong nonnormality
Yves-Marie Ducimetière, Edouard Boujo, François Gallaire
correctmedium confidence- arXiv ID
- 2110.08064
- Category
- Not specified
- Journal tier
- specialist/solid
Multi-Stage Sparse Resource Allocation for Control of Spreading Processes over Networks
Vera L. J. Somers, Ian R. Manchester
incompletemedium confidence- arXiv ID
- 2110.07755
- Category
- Not specified
- Journal tier
- strong field
Nonlinear Proper Orthogonal Decomposition for Convection-Dominated Flows
Shady E. Ahmed, Omer San, Adil Rasheed, Traian Iliescu
incompletemedium confidence- arXiv ID
- 2110.08295
- Category
- Not specified
- Journal tier
- specialist/solid
A Physics-Based Safety Recovery Approach for Fault-Resilient Multi-Quadcopter Coordination
Hamid Emadi, Harshvardhan Uppaluru, Hossein Rastgoftar
incompletemedium confidence- arXiv ID
- 2110.07777
- Category
- Not specified
- Journal tier
- specialist/solid
VABO: Violation-Aware Bayesian Optimization for Closed-Loop Control Performance Optimization with Unmodeled Constraints
Wenjie Xu, Colin N Jones, Bratislav Svetozarevic, Christopher R. Laughman, Ankush Chakrabarty
incompletemedium confidence- arXiv ID
- 2110.07479
- Category
- math.DS
- Journal tier
- specialist/solid
Mixed Mode Bursting Oscillations Induced by Birhythmicity and Noise
Na Yu, Xuan Xia, Juan Li
incompletemedium confidence- arXiv ID
- 2110.07167
- Category
- Not specified
- Journal tier
- specialist/solid
Detectability and global observer design for Navier-Stokes equations with unknown inputs
Sergiy Zhuk, Mykhaylo Zayats, Emilia Fridman
correctmedium confidence- arXiv ID
- 2110.07738
- Category
- Not specified
- Journal tier
- specialist/solid
A Neural Network Ensemble Approach to System Identification
Elisa Negrini, Giovanna Citti, Luca Capogna
correctmedium confidence- arXiv ID
- 2110.08382
- Category
- Not specified
- Journal tier
- specialist/solid
Noncommutative Ergodic Theory of Higher Rank Lattices
Cyril Houdayer
correcthigh confidence- arXiv ID
- 2110.07708
- Category
- math.DS
- Journal tier
- strong field
Structured vector fitting framework for mechanical systems
Steffen W. R. Werner, Ion Victor Gosea, Serkan Gugercin
incompletemedium confidence- arXiv ID
- 2110.09220
- Category
- Not specified
- Journal tier
- specialist/solid
UNIFORMIZATION OF SOME WEIGHT 3 VARIATIONS OF HODGE STRUCTURES, ANOSOV REPRESENTATIONS, AND LYAPUNOV EXPONENTS
Simion Filip
correctmedium confidence- arXiv ID
- 2110.07533
- Category
- math.DS
- Journal tier
- strong field
Dynamical mechanism behind ghosts unveiled in a map complexification
Jordi Canela, Lluís Alsedà, Núria Fagella, Josep Sardanyés
correctmedium confidence- arXiv ID
- 2110.06819
- Category
- Not specified
- Journal tier
- strong field
Two-variable polynomials with dynamical Mahler measure zero
Annie Carter, Matilde Lalín, Michelle Manes, Alison Beth Miller, Lucia Mocz
correctmedium confidence- arXiv ID
- 2110.06496
- Category
- math.DS
- Journal tier
- specialist/solid
The Framework of Mechanics for Dynamic Behaviors of Fractional-Order Stochastic Dynamic Systems
Ruibin Ren, George Xianzhi Yuan
correctmedium confidence- arXiv ID
- 2110.06337
- Category
- Not specified
- Journal tier
- specialist/solid
A DISPROOF OF Lα POLYNOMIALS RUDIN CONJECTURE, 2 ≤ α < 4.
E. H. el Abdalaoui
correctmedium confidence- arXiv ID
- 2110.05486
- Category
- Not specified
- Journal tier
- specialist/solid
Furstenberg’s Times 2, Times 3 Conjecture (a Short Survey)
Matan Tal
correcthigh confidence- arXiv ID
- 2110.05989
- Category
- Not specified
- Journal tier
- specialist/solid
Long Expressive Memory for Sequence Modeling
T. Konstantin Rusch, S. Mishra, N. Benjamin Erichson, Michael W. Mahoney
correctmedium confidence- arXiv ID
- 2110.04744
- Category
- Not specified
- Journal tier
- specialist/solid
Invariant Densities for Random Continued Fractions
Charlene Kalle, Valentin Matache, Masato Tsujii, Evgeny Verbitskiy
incompletemedium confidence- arXiv ID
- 2110.05786
- Category
- Not specified
- Journal tier
- specialist/solid
Coupling rare event algorithms with data-based learned committor functions using the analogue Markov chain
Dario Lucente, Joran Rolland, Corentin Herbert, Freddy Bouchet
correctmedium confidence- arXiv ID
- 2110.05050
- Category
- Not specified
- Journal tier
- strong field
Modulo periodic Poisson stable solutions of quasilinear differential equations
M. Akhmet, M. Tleubergenova, A. Zhamanshin
correcthigh confidence- arXiv ID
- 2110.04728
- Category
- math.DS
- Journal tier
- specialist/solid
Properties of mixing BV vector fields
Stefano Bianchini, Martina Zizza
correctmedium confidence- arXiv ID
- 2110.03581
- Category
- Not specified
- Journal tier
- strong field
LEFT REGULAR REPRESENTATIONS OF GARSIDE CATEGORIES I. C*-ALGEBRAS AND GROUPOIDS
Xin Li
correctmedium confidence- arXiv ID
- 2110.04501
- Category
- Not specified
- Journal tier
- specialist/solid
Invariant Measures for Large Automorphism Groups of Projective Surfaces
Serge Cantat, Romain Dujardin
correctmedium confidence- arXiv ID
- 2110.04213
- Category
- Not specified
- Journal tier
- top field-leading
Cantilevered, Rectangular Plate Dynamics by Finite Difference Methods
Benjamin Brown
correcthigh confidence- arXiv ID
- 2110.03503
- Category
- math.DS
- Journal tier
- specialist/solid
GARDEN OF EDEN AND WEAKLY PERIODIC POINTS FOR CERTAIN EXPANSIVE ACTIONS OF GROUPS
Michal Doucha
correctmedium confidence- arXiv ID
- 2110.04178
- Category
- Not specified
- Journal tier
- strong field
Estimating basins of attraction for arbitrary dynamical systems
George Datseris, Alexandre Wagemakers
incompletemedium confidence- arXiv ID
- 2110.04358
- Category
- Not specified
- Journal tier
- specialist/solid
THE SMOOTH CLOSING LEMMA FOR AREA-PRESERVING SURFACE DIFFEOMORPHISMS
DAN CRISTOFARO-GARDINER, ROHIL PRASAD, BOYU ZHANG
correctmedium confidence- arXiv ID
- 2110.02925
- Category
- Not specified
- Journal tier
- top field-leading
USING GPUS AND THE PARAMETERIZATION METHOD FOR RAPID SEARCH AND REFINEMENT OF CONNECTIONS BETWEEN TORI IN PERIODICALLY PERTURBED PLANAR CIRCULAR RESTRICTED 3-BODY PROBLEMS
Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave
correctmedium confidence- arXiv ID
- 2109.14814
- Category
- math.DS
- Journal tier
- specialist/solid
Dynamically Stabilising Birational Surface Maps: Two Methods
Richard A. P. Birkett
correcthigh confidence- arXiv ID
- 2110.00095
- Category
- math.DS
- Journal tier
- specialist/solid
Some Remarks on Oscillation Inequalities
Mariusz Mirek, Wojciech Słomian, Tomasz Z. Szarek
correcthigh confidence- arXiv ID
- 2110.01149
- Category
- Not specified
- Journal tier
- specialist/solid
A Type I Conjecture and Boundary Representations of Hyperbolic Groups
Pierre-Emmanuel Caprace, Mehrdad Kalantar, Nicolas Monod
correcthigh confidenceCounterexample- arXiv ID
- 2110.00190
- Category
- Not specified
- Journal tier
- strong field
Data-driven nonlinear model reduction to spectral submanifolds in mechanical systems
M. Cenedese, J. Axås, H. Yang, M. Eriten, G. Haller
correctmedium confidence- arXiv ID
- 2110.01929
- Category
- Not specified
- Journal tier
- strong field
EXPONENTIAL DECAY OF RANDOM CORRELATIONS FOR RANDOM ANOSOV SYSTEMS MIXING ON FIBERS
Xue Liu
correctmedium confidence- arXiv ID
- 2110.01943
- Category
- Not specified
- Journal tier
- specialist/solid
ANALYSIS OF A FUNCTIONAL RESPONSE WITH PREY-DENSITY DEPENDENT HANDLING TIME FROM AN EVOLUTIONARY PERSPECTIVE
Cecilia Berardo, Stefan Geritz
incompletemedium confidence- arXiv ID
- 2109.15027
- Category
- Not specified
- Journal tier
- strong field
On upper and lower fast Khintchine spectra of continued fractions
Lulu Fang, Lei Shang, Min Wu
correcthigh confidence- arXiv ID
- 2110.00787
- Category
- Not specified
- Journal tier
- strong field
Topological characterizations of Morse-Smale flows on surfaces and generic non-Morse-Smale flows
Vladislav Kibkalo, Tomoo Yokoyama
correctmedium confidence- arXiv ID
- 2109.14662
- Category
- Not specified
- Journal tier
- strong field
TOPOLOGICAL GROUP ACTIONS BY GROUP AUTOMORPHISMS AND BANACH REPRESENTATIONS
Michael Megrelishvili
correctmedium confidence- arXiv ID
- 2110.01386
- Category
- Not specified
- Journal tier
- specialist/solid
A Notion of Entropy for Stochastic Processes
Maysam Maysami Sadr, Mina Shahrestani
correcthigh confidence- arXiv ID
- 2110.01541
- Category
- Not specified
- Journal tier
- specialist/solid
Extended dynamic mode decomposition with dictionary learning using neural ordinary differential equations
Hiroaki Terao, Sho Shirasaka, Hideyuki Suzuki
correctmedium confidence- arXiv ID
- 2110.01450
- Category
- Not specified
- Journal tier
- specialist/solid