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
- 46 / 778
- Page Size
- 40
The ideal structure of partial skew groupoid rings with applications to topological dynamics and ultragraph algebras
Dirceu Bagio, Daniel Gonçalves, Paula S. E. Moreira, Johan Öinert
correcthigh confidence- arXiv ID
- 2211.13071
- Category
- math.DS
- Journal tier
- strong field
Direct Collocation for Numerical Optimal Control of Second-Order ODE
Léo Simpson, Armin Nurkanović, Moritz Diehl
correcthigh confidence- arXiv ID
- 2211.12308
- Category
- Not specified
- Journal tier
- specialist/solid
Koopman interpretation and analysis of a public-key cryptosystem: Diffie-Hellman key exchange ⋆
Sebastian Schlor, Robin Strässer, Frank Allgöwer
incompletemedium confidenceCounterexample- arXiv ID
- 2211.11290
- Category
- Not specified
- Journal tier
- specialist/solid
Persistence and stability of generalized ribosome flow models with time-varying transition rates
Mihály A. Vághy, Gábor Szederkényi
incompletemedium confidence- arXiv ID
- 2211.10653
- Category
- Not specified
- Journal tier
- specialist/solid
Vehicular Safety Applications and Approaches: A Technical Survey
Hazem Fahmy, Sabita Mahrajan
incompletemedium confidence- arXiv ID
- 2211.10369
- Category
- Not specified
- Journal tier
- note/short/other
State dependent delay maps: numerical algorithms and dynamics of projections.
J.D. Mireles James, Francis Motta, Vincent Naudot
correctmedium confidence- arXiv ID
- 2211.09914
- Category
- Not specified
- Journal tier
- specialist/solid
Learning Nonlinear Couplings in Network of Agents from a Single Sample Trajectory
Arash Amini, Qiyu Sun, Nader Motee
correctmedium confidence- arXiv ID
- 2211.11069
- Category
- Not specified
- Journal tier
- specialist/solid
EXACT OVERLAPS ON THE PROJECTIONS OF THE FOUR CORNER CANTOR SET
Derong Kong, Beibei Sun
correcthigh confidence- arXiv ID
- 2211.11241
- Category
- math.DS
- Journal tier
- strong field
CONJUGACY OF FREE MAPPINGS EMBEDDED IN A FLOW
Sushil Bhunia, Gangotryi Sorcar
correcthigh confidence- arXiv ID
- 2211.08556
- Category
- math.DS
- Journal tier
- strong field
PREPERIODIC POINTS WITH LOCAL RATIONALITY CONDITIONS IN THE QUADRATIC UNICRITICAL FAMILY
Chatchai Noytaptim
correcthigh confidence- arXiv ID
- 2211.10571
- Category
- Not specified
- Journal tier
- specialist/solid
Strange attractors for the family of orientation preserving Lozi maps
Przemysław Kucharski
correctmedium confidence- arXiv ID
- 2211.10296
- Category
- math.DS
- Journal tier
- specialist/solid
Augmented Physics-Informed Neural Networks (APINNs): A gating network-based soft domain decomposition methodology
Zheyuan Hu, Ameya D. Jagtap, George Em Karniadakis, Kenji Kawaguchi
correctmedium confidence- arXiv ID
- 2211.08939
- Category
- math.DS
- Journal tier
- specialist/solid
Natural parameter conditions for singular perturbations of chemical and biochemical reaction networks
Justin Eilertsen, Santiago Schnell, Sebastian Walcher
correctmedium confidence- arXiv ID
- 2211.10836
- Category
- Not specified
- Journal tier
- strong field
Modeling the Co-evolution of Climate Impact and Population Behavior: A Mean-Field Analysis
Kathinka Frieswijk, Lorenzo Zino, A. Stephen Morse, Ming Cao
wronghigh confidence- arXiv ID
- 2211.11075
- Category
- math.DS
- Journal tier
- specialist/solid
KNEADING THEORY FOR ITERATION OF MONOTONOUS FUNCTIONS ON THE REAL LINE
Ermerson Araujo, Alex Zamudio Espinosa
correcthigh confidence- arXiv ID
- 2211.08528
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics analysis of the fractional-order Lagrange system
Mihai Ivan
correctmedium confidence- arXiv ID
- 2211.11459
- Category
- Not specified
- Journal tier
- specialist/solid
Stability on Quinquevigintic Functional Equation in Different Spaces
Ramdoss Murali, Sandra Pinelas, Veeramani Vithya
correcthigh confidence- arXiv ID
- 2211.10468
- Category
- Not specified
- Journal tier
- specialist/solid
ANOSOV ACTIONS: CLASSIFICATION AND THE ZIMMER PROGRAM
Danijela Damjanović, Ralf Spatzier, Kurt Vinhage, Disheng Xu
correctmedium confidence- arXiv ID
- 2211.08195
- Category
- Not specified
- Journal tier
- top field-leading
STRONG TOPOLOGICAL ROKHLIN PROPERTY, SHADOWING, AND SYMBOLIC DYNAMICS OF COUNTABLE GROUPS
Michal Doucha
correctmedium confidence- arXiv ID
- 2211.08145
- Category
- Not specified
- Journal tier
- strong field
NONAMENABLE SUBFORESTS OF MULTI-ENDED QUASI-PMP GRAPHS
Ruiyuan Chen, Grigory Terlov, Anush Tserunyan
correctmedium confidence- arXiv ID
- 2211.07908
- Category
- Not specified
- Journal tier
- strong field
Model of spatial competition on discrete markets
Andrea Civilini, Vito Latora
correctmedium confidence- arXiv ID
- 2211.07412
- Category
- Not specified
- Journal tier
- strong field
On a model-based analysis of vortex formations and decay in flows through bio-inspired T-shaped cavities
Sneham Das, Saikat Basu
incompletemedium confidenceCounterexample- arXiv ID
- 2211.06964
- Category
- Not specified
- Journal tier
- note/short/other
Control in triphasic rhythmic neural systems: a comparative mechanistic analysis via infinitesimal local timing response curves
Zhuojun Yu, Jonathan E. Rubin, Peter J. Thomas
correctmedium confidence- arXiv ID
- 2211.07834
- Category
- math.DS
- Journal tier
- strong field
BI-ASYMPTOTIC c-EXPANSIVITY
Rohit Nageshwar, Abdul Gaffar Khan, Tarun Das
correcthigh confidence- arXiv ID
- 2211.07167
- Category
- Not specified
- Journal tier
- strong field
BOST-CONNES-MARCOLLI SYSTEM FOR THE SIEGEL MODULAR VARIETY
Ismail Abouamal
correctmedium confidence- arXiv ID
- 2211.07778
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE LATTICE OF BOUNDARIES AND THE ENTROPY SPECTRUM OF HYPERBOLIC GROUPS
Samuel Dodds
incompletehigh confidence- arXiv ID
- 2211.04554
- Category
- Not specified
- Journal tier
- specialist/solid
Derivative-based SINDy (DSINDy): Addressing the Challenge of Discovering Governing Equations from Noisy Data
Jacqueline Wentz, Alireza Doostan
correctmedium confidence- arXiv ID
- 2211.05918
- Category
- Not specified
- Journal tier
- strong field
Thermodynamic formalism for general iterated function systems with measures
Jader E. Brasil, Elismar R. Oliveira, Rafael Rigão Souza
correctmedium confidence- arXiv ID
- 2211.04919
- Category
- Not specified
- Journal tier
- specialist/solid
Aperiodic Sampled-Data Distributed Observer Design
Shimin Wang, Zhan Shu, Tongwen Chen
correcthigh confidence- arXiv ID
- 2211.05223
- Category
- Not specified
- Journal tier
- strong field
SYMPLETIC REDUCTION OF THE SUB-RIEMANNIAN GEODESIC FLOW ON META-ABELIAN CARNOT GROUPS
Alejandro Bravo-Doddoli
correctmedium confidence- arXiv ID
- 2211.05846
- Category
- Not specified
- Journal tier
- specialist/solid
Parameter Estimation of Two Classes of Nonlinear Systems with Non-separable Nonlinear Parameterizations ⋆
Romeo Ortega, Alexey Bobtsov, Ramon Costa-Castelló, Nikolay Nikolaev
incompletemedium confidence- arXiv ID
- 2211.06455
- Category
- Not specified
- Journal tier
- specialist/solid
SOME ASPECTS OF THERMODYNAMIC FORMALISM OF PIECEWISE SMOOTH VECTOR FIELDS
Marco A. C. Florentino, Tiago Carvalho, Jeferson Cassiano
correctmedium confidence- arXiv ID
- 2211.03908
- Category
- Not specified
- Journal tier
- specialist/solid
Impact of Radiation and Slip Conditions on MHD Flow of Nanofluid Past an Exponentially Stretched Surface
Diksha Sharma, Shilpa Sood
wrongmedium confidence- arXiv ID
- 2211.04028
- Category
- math.DS
- Journal tier
- specialist/solid
FLOER THEORY OF ANOSOV FLOWS IN DIMENSION THREE
Kai Cieliebak, Oleg Lazarev, Thomas Massoni, Agustin Moreno
correctmedium confidence- arXiv ID
- 2211.07453
- Category
- math.DS
- Journal tier
- strong field
Similarity Signature Curves for Forming Periodic Orbits in the Lorenz System
Jindi Li, Yun Yang
incompletemedium confidence- arXiv ID
- 2211.04069
- Category
- math.DS
- Journal tier
- specialist/solid
A piecewise linear homeomorphism of the circle which is periodic under renormalization
James Belk, James Hyde, Justin Tatch Moore
correctmedium confidence- arXiv ID
- 2211.05825
- Category
- Not specified
- Journal tier
- strong field
GAP BETWEEN LYAPUNOV EXPONENTS FOR HITCHIN REPRESENTATIONS
Matteo Costantini, Florestan Martin-Baillon
correcthigh confidence- arXiv ID
- 2211.03651
- Category
- Not specified
- Journal tier
- strong field
Singularities of 3–d vector fields preserving the form of Martinet
Stavros Anastassiou
correcthigh confidence- arXiv ID
- 2211.03619
- Category
- Not specified
- Journal tier
- specialist/solid
Well-posedness and properties of the flow for semilinear boundary control systems
Andrii Mironchenko
correctmedium confidence- arXiv ID
- 2211.00433
- Category
- math.DS
- Journal tier
- specialist/solid
Estimating the Long-term Behavior of Biologically Inspired Agent-based Models
Daniel A. Cruz, Jack Toppen, Eunbi Park, Melissa L. Kemp, Elena Dimitrova
correcthigh confidence- arXiv ID
- 2211.00630
- Category
- Not specified
- Journal tier
- specialist/solid