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
- 32 / 778
- Page Size
- 40
Delay differential equations with periodic coefficients: a numerical insight
Anatoli Ivanov, Sergiy Shelyag
incompletemedium confidence- arXiv ID
- 2407.04253
- Category
- Not specified
- Journal tier
- specialist/solid
Algorithm to Compute Orbit Zariski Closure in Affine Plane
Young Joon, Ley
correctmedium confidence- arXiv ID
- 2407.02739
- Category
- Not specified
- Journal tier
- specialist/solid
Monotone Multivalued Nonautonomous Dynamical Systems
José A. Langa, Jacson Simsen, Mariza Stefanello Simsen, José Valero
correcthigh confidence- arXiv ID
- 2407.02851
- Category
- Not specified
- Journal tier
- strong field
One-dimensional Piecewise Smooth Rational Degree Maps.
Maurício Firmino Silva Lima, Tiago Rodrigo Perdigão
correctmedium confidence- arXiv ID
- 2407.02782
- Category
- Not specified
- Journal tier
- specialist/solid
On the Myrberg Limit Sets and Bowen-Margulis-Sullivan Measures for Visibility Manifolds without Conjugate Points
Fei Liu
correctmedium confidence- arXiv ID
- 2407.00910
- Category
- Not specified
- Journal tier
- strong field
A refractory density approach to a multi-scale SEIRS epidemic model
Anton Chizhov, Laurent Pujo-Menjouet, Tilo Schwalger, Mattia Sensi
incompletemedium confidence- arXiv ID
- 2407.02396
- Category
- Not specified
- Journal tier
- specialist/solid
NON-DENSITY RESULTS IN HIGH DIMENSIONAL STABLE HAMILTONIAN TOPOLOGY
Robert Cardona, Fabio Gironella
correctmedium confidence- arXiv ID
- 2407.01357
- Category
- math.DS
- Journal tier
- specialist/solid
Asymptotic stability of delayed complex balanced reaction networks with non-mass action kinetics
Mihály A. Vághy, Gábor Szederkényi
correctmedium confidence- arXiv ID
- 2407.00387
- Category
- Not specified
- Journal tier
- specialist/solid
LOG-HÖLDER REGULARITY OF STATIONARY MEASURES
Grigorii Monakov
correctmedium confidence- arXiv ID
- 2407.00344
- Category
- math.DS
- Journal tier
- strong field
Graded differential groups, Cartan-Eilenberg systems and conjectures in Conley index theory
Kelly Spendlove, Robert Vandervorst
correctmedium confidence- arXiv ID
- 2406.19977
- Category
- math.DS
- Journal tier
- strong field
Ergodic Optimization for Continuous Functions on the Dyck-Motzkin Shifts
Mao Shinoda, Hiroki Takahasi, Kenichiro Yamamoto
correctmedium confidence- arXiv ID
- 2406.19828
- Category
- Not specified
- Journal tier
- strong field
Direct low-energy trajectories to Near-Earth Objects
E. Fantino, R. Flores, G. Donnarumma, D. Canales, K. C. Howell
correctmedium confidence- arXiv ID
- 2406.19471
- Category
- math.DS
- Journal tier
- strong field
Insights into the Structured Coordination Game with Neutral Options through Simulation
John S. McAlister, Nina H. Fefferman
uncertainmedium confidence- arXiv ID
- 2406.19273
- Category
- Not specified
- Journal tier
- specialist/solid
Limits of definable families and dilations in nilmanifolds
Ya’acov Peterzil, Sergei Starchenko
correctmedium confidence- arXiv ID
- 2406.19160
- Category
- math.DS
- Journal tier
- specialist/solid
A FINITENESS CONDITION FOR COMPLEX CONTINUED FRACTION ALGORITHMS
Charlene Kalle, Fanni M. Sélley, Jörg M. Thuswaldner
correctmedium confidence- arXiv ID
- 2406.18689
- Category
- Not specified
- Journal tier
- specialist/solid
Delay compartment models from a stochastic process
Christopher N. Angstmann, Anna V. McGann, Zhuang Xu
correctmedium confidence- arXiv ID
- 2406.17242
- Category
- math.DS
- Journal tier
- specialist/solid
On Shilnikov’s scenario with a homoclinic orbit in 3D - revised version
Hans-Otto Walther
correctlow confidence- arXiv ID
- 2406.18289
- Category
- math.DS
- Journal tier
- specialist/solid
A representation-theoretical approach to higher-dimensional Lie–Hamilton systems: The symplectic Lie algebra sp(4,R)
Rutwig Campoamor-Stursberg, Oscar Carballal, Francisco J. Herranz
correctmedium confidence- arXiv ID
- 2406.17479
- Category
- Not specified
- Journal tier
- strong field
Parametric topological entropy of possibly discontinuous maps in compact Hausdorff spaces and hyperspaces
Jan Andres, Pavel Ludvík
correctmedium confidence- arXiv ID
- 2406.16580
- Category
- Not specified
- Journal tier
- strong field
Analytic bounds on late-time axion-scalar cosmologies
Gary Shiu, Flavio Tonioni, Hung V. Tran
correctmedium confidence- arXiv ID
- 2406.17030
- Category
- Not specified
- Journal tier
- strong field
Volume of Algebraically Integrable Foliations and Locally Stable Families
Jingjun Han, Junpeng Jiao, Mengchu Li, Jihao Liu
correcthigh confidenceCounterexample- arXiv ID
- 2406.16604
- Category
- Not specified
- Journal tier
- strong field
Full Lyapunov Exponents spectrum with Deep Learning from single-variable time series
Carmen Mayora-Cebollero, Ana Mayora-Cebollero, Álvaro Lozano, Roberto Barrio
incompletemedium confidence- arXiv ID
- 2406.16161
- Category
- math.DS
- Journal tier
- specialist/solid
Asymptotics for Some Logistic Maps and the Renormalization Group
Paulo A. Faria da Veiga, Michael O’Carroll
correcthigh confidence- arXiv ID
- 2406.15840
- Category
- math.DS
- Journal tier
- note/short/other
NON-EXPANDING RANDOM WALKS ON HOMOGENEOUS SPACES AND DIOPHANTINE APPROXIMATION
Gaurav Aggarwal, Anish Ghosh
correctmedium confidence- arXiv ID
- 2406.15824
- Category
- Not specified
- Journal tier
- strong field
ON THE MINIMAL NUMBER OF CLOSED GEODESICS ON POSITIVELY CURVED FINSLER SPHERES
Huagui Duan, Dong Xie
correcthigh confidence- arXiv ID
- 2406.15705
- Category
- Not specified
- Journal tier
- strong field
Turbulent Homeomorphisms and the Topological Snail
Arnaud Dehove
incompletemedium confidence- arXiv ID
- 2406.15525
- Category
- Not specified
- Journal tier
- specialist/solid
Global Dynamics and Time-Optimal Control Studies for Additional Food provided Holling Type-III Mutually Interfering Prey-Predator Systems with Applications to Pest Management
D. Bhanu Prakash, D. K. K. Vamsi
incompletemedium confidence- arXiv ID
- 2406.15458
- Category
- Not specified
- Journal tier
- specialist/solid
Approximate Controllability of Linear Fractional Impulsive Evolution Equations in Hilbert Spaces
Javad A. Asadzade, Nazim I. Mahmudov
incompletemedium confidence- arXiv ID
- 2406.15114
- Category
- Not specified
- Journal tier
- specialist/solid
Non-Negative Universal Differential Equations With Applications in Systems Biology
Maren Philipps, Antonia Körner, Jakob Vanhoefer, Dilan Pathirana, Jan Hasenauer
incompletehigh confidence- arXiv ID
- 2406.14246
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamical properties of critical exponent functions
Dario Corona, Alessandro Della Corte, Marco Farotti
correctmedium confidence- arXiv ID
- 2406.14487
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamical Morse entropy
Mélanie Bertelson, Misha Gromov
correcthigh confidence- arXiv ID
- 2406.14410
- Category
- Not specified
- Journal tier
- specialist/solid
TRACKING NONAUTONOMOUS ATTRACTORS IN SINGULARLY PERTURBED SYSTEMS OF ODES WITH DEPENDENCE ON THE FAST TIME
Iacopo P. Longo, Rafael Obaya, Ana M. Sanz
correctmedium confidence- arXiv ID
- 2406.15086
- Category
- Not specified
- Journal tier
- strong field
Existence of traveling wave solutions in continuous OV models
Kota Ikeda, Toru Kan, Toshiyuki Ogawa
correctmedium confidence- arXiv ID
- 2406.13293
- Category
- math.DS
- Journal tier
- specialist/solid
Multivariate Extreme Values for Dynamical Systems
Romain Aimino, Ana Cristina Moreira Freitas, Jorge Milhazes Freitas, Mike Todd
correcthigh confidence- arXiv ID
- 2406.14807
- Category
- Not specified
- Journal tier
- strong field
A Macroscopic Pedestrian Model with Variable Maximal Density
Laura Bartoli, Simone Cacace, Emiliano Cristiani, Roberto Ferretti
correctmedium confidence- arXiv ID
- 2406.14649
- Category
- Not specified
- Journal tier
- specialist/solid
Complex fractal trainability boundary can arise from trivial non-convexity
Yizhou Liu
uncertainmedium confidence- arXiv ID
- 2406.13971
- Category
- Not specified
- Journal tier
- specialist/solid
PERMANENCE AND UNIFORM ASYMPTOTIC STABILITY OF POSITIVE SOLUTIONS OF SAIQH MODELS ON TIME SCALES
Nedjoua Zine, Benaoumeur Bayour, Delfim F. M. Torres
incompletemedium confidence- arXiv ID
- 2406.12860
- Category
- Not specified
- Journal tier
- specialist/solid
ALGEBRAIC CHARACTERIZATION OF DENDRICITY
France Gheeraert, Herman Goulet-Ouellet, Julien Leroy, Pierre Stas
correctmedium confidence- arXiv ID
- 2406.15075
- Category
- Not specified
- Journal tier
- strong field
Assembly Procedure for Elementary Matrices of Train-Track-Bridge Railway System
Laila Bouhlal, Fouzia Kassou, Nouzha Lamdouar, Azeddine Bouyahyaoui
correctmedium confidence- arXiv ID
- 2406.14837
- Category
- Not specified
- Journal tier
- note/short/other
Integrating time-resolved nrf2 gene-expression data into a full GUTS model as a proxy for toxicodynamic damage in zebrafish embryo
Florian Schunck, Bernhard Kodritsch, Wibke Busch, Martin Krauss, Andreas Focks
correctmedium confidence- arXiv ID
- 2406.12949
- Category
- Not specified
- Journal tier
- specialist/solid