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
- 34 / 778
- Page Size
- 40
A detailed analysis of the origin of deep-decoupling oscillations
John Bailie, Henk A. Dijkstra, Bernd Krauskopf
correctmedium confidence- arXiv ID
- 2406.00646
- Category
- Not specified
- Journal tier
- strong field
Optimal Control of an Impulsive VS-EIAR Epidemic Model with Application to COVID-19
MAMADOU ABDOUL DIOP, MOHAMMED ELGHANDOURI, KHALIL EZZINBI
incompletemedium confidence- arXiv ID
- 2406.00864
- Category
- Not specified
- Journal tier
- specialist/solid
Elementary solution to the fair division problem
Michael Blank, Maxim Polyakov
correctmedium confidence- arXiv ID
- 2406.00733
- Category
- Not specified
- Journal tier
- specialist/solid
SMOOTH ORBIT EQUIVALENCE RIGIDITY FOR DISSIPATIVE GEODESIC FLOWS
Javier Echevarría Cuesta
correctmedium confidence- arXiv ID
- 2406.00607
- Category
- Not specified
- Journal tier
- strong field
Modeling the distribution of insulin in pancreas
Changbing Hu, Junyuan Yang, James D. Johnson, Jiaxu Li
correcthigh confidence- arXiv ID
- 2406.00458
- Category
- math.DS
- Journal tier
- specialist/solid
CROSSED PRODUCT SPLITTING OF INTERMEDIATE OPERATOR ALGEBRAS VIA 2-COCYCLES
Yuhei Suzuki
correctmedium confidence- arXiv ID
- 2406.00304
- Category
- Not specified
- Journal tier
- strong field
On the Analytical Properties of a Nonlinear Microscopic Dynamical Model for Connected and Automated Vehicles
Hossein Nick Zinat Matin, Yuneil Yeo, Xiaoqian Gong, Maria Laura Delle Monache
correctmedium confidence- arXiv ID
- 2405.16912
- Category
- Not specified
- Journal tier
- specialist/solid
BOUNDARY ACTIONS BY HIGHER-RANK LATTICES: CLASSIFICATION AND EMBEDDING IN LOW DIMENSIONS, LOCAL RIGIDITY, SMOOTH FACTORS
Aaron Brown, Federico Rodriguez Hertz, Zhiren Wang
correctmedium confidence- arXiv ID
- 2405.16202
- Category
- Not specified
- Journal tier
- top field-leading
ITERATION PROBLEM FOR SEVERAL CHAOS IN NON-AUTONOMOUS DISCRETE SYSTEM
Hongbo Zeng, Chuangxia Huang, Bingwen Liu
incompletemedium confidence- arXiv ID
- 2405.17173
- Category
- Not specified
- Journal tier
- specialist/solid
A CRITERION TO DETECT A NONTRIVIAL HOMOLOGY OF AN INVARIANT SET OF A FLOW IN R3
J. J. SÁNCHEZ-GABITES
correctmedium confidence- arXiv ID
- 2405.20945
- Category
- Not specified
- Journal tier
- specialist/solid
SOME ERGODIC THEOREMS OVER SQUAREFREE NUMBERS
Huixi Li, Biao Wang, Chunlin Wang, Shaoyun Yi
correcthigh confidence- arXiv ID
- 2405.18157
- Category
- math.DS
- Journal tier
- specialist/solid
LIMIT SETS, INTERNAL CHAIN TRANSITIVITY AND ORBITAL SHADOWING OF TREE-SHIFTS DEFINED ON MARKOV-CAYLEY TREES
Jung-Chao Ban, Nai-Zhu Huang, Guan-Yu Lai
correctmedium confidence- arXiv ID
- 2405.20563
- Category
- Not specified
- Journal tier
- strong field
Weak Generative Sampler to Efficiently Sample Invariant Distribution of Stochastic Differential Equation
Zhiqiang Cai, Yu Cao, Yuanfei Huang, Xiang Zhou
incompletemedium confidence- arXiv ID
- 2405.19256
- Category
- Not specified
- Journal tier
- strong field
Gaussian factors, spectra, and P -entropy
Valery V. Ryzhikov
correctmedium confidence- arXiv ID
- 2405.20297
- Category
- math.DS
- Journal tier
- specialist/solid
A COMPLETE INVARIANT FOR SHIFT EQUIVALENCE FOR BOOLEAN MATRICES AND FINITE RELATIONS
Ethan Akin, Marian Mrozek, Mateusz Przybylski, Jim Wiseman
correctmedium confidence- arXiv ID
- 2405.16243
- Category
- math.DS
- Journal tier
- strong field
HYPERBOLIC MOTIONS IN THE N-BODY PROBLEM WITH HOMOGENEOUS POTENTIALS
Guowei Yu
correctmedium confidence- arXiv ID
- 2405.17783
- Category
- Not specified
- Journal tier
- specialist/solid
A new platooning model for connected and autonomous vehicles to improve string stability
Shouwei Hui, Michael Zhang
incompletemedium confidence- arXiv ID
- 2405.18791
- Category
- Not specified
- Journal tier
- specialist/solid
Beyond Conventional Parametric Modeling: Data-Driven Framework for Estimation and Prediction of Time Activity Curves in Dynamic PET Imaging
Niloufar Zakariaei, Arman Rahmim, Eldad Haber
incompletemedium confidenceCounterexample- arXiv ID
- 2405.21021
- Category
- Not specified
- Journal tier
- specialist/solid
Oscillations in neuronal activity: a neuron-centered spatiotemporal model of the Unfolded Protein Response in prion diseases
Elliot M. Miller, Tat Chung D. Chan, Carlos Montes-Matamoros, Omar Sharif, Laurent Pujo-Menjouet, Michael R. Lindstrom
incompletemedium confidence- arXiv ID
- 2405.16695
- Category
- math.DS
- Journal tier
- specialist/solid
VENI, VINDy, VICI – a variational reduced-order modeling framework with uncertainty quantification
Paolo Conti, Jonas Kneifl, Andrea Manzoni, Attilio Frangi, Jörg Fehr, Steven L. Brunton, J. Nathan Kutz
correctmedium confidence- arXiv ID
- 2405.20905
- Category
- Not specified
- Journal tier
- strong field
Transmission of multiple pathogens across species
Clotilde Djuikem, Julien Arino
incompletemedium confidence- arXiv ID
- 2405.20264
- Category
- math.DS
- Journal tier
- specialist/solid
Mesoscopic and Macroscopic Entropy Balance Equations in a Stochastic Dynamics and Its Deterministic Limit
Hong Qian, Zhongwei Shen
correctmedium confidence- arXiv ID
- 2406.00165
- Category
- Not specified
- Journal tier
- strong field
An agent design with goal reaching guarantees for enhancement of learning
Pavel Osinenko, Grigory Yaremenko, Georgiy Malaniya, Anton Bolychev, Alexander Gepperth
correctmedium confidence- arXiv ID
- 2405.18118
- Category
- Not specified
- Journal tier
- specialist/solid
Analytic Extended Dynamic Mode Decomposition
A. Mauroy, I. Mezić
correctmedium confidence- arXiv ID
- 2405.15945
- Category
- math.DS
- Journal tier
- strong field
Efficient Model Reduction and Prediction of Superharmonic Resonances in Frictional and Hysteretic Systems
Justin H. Porter, Matthew R. W. Brake
correctmedium confidence- arXiv ID
- 2405.15918
- Category
- Not specified
- Journal tier
- strong field
Well Posed Origin Anywhere Consistent Systems in Celestial Mechanics
Harry Gingold, Jocelyn Quaintance
correcthigh confidence- arXiv ID
- 2405.15639
- Category
- math.DS
- Journal tier
- specialist/solid
PACKING TOPOLOGICAL PRESSURE FOR AMENABLE GROUP ACTIONS
Ziqing Ding, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2405.15212
- Category
- Not specified
- Journal tier
- strong field
Stability Analysis of Biochemical Reaction Networks Linearly Conjugated to complex balanced Systems with Time Delays Added
Xiaoyu Zhang, Shibo He, Chuanhou Gao, Denis Dochain
incompletemedium confidence- arXiv ID
- 2405.15472
- Category
- math.DS
- Journal tier
- specialist/solid
RESONANCE IN ISOCHRONOUS SYSTEMS WITH DECAYING OSCILLATORY PERTURBATIONS
OSKAR A. SULTANOV
correctmedium confidence- arXiv ID
- math.DS/2405.15238
- Category
- math.DS
- Journal tier
- Not assigned
AdjointDEIS: Efficient Gradients for Diffusion Models
Zander W. Blasingame, Chen Liu
correctmedium confidence- arXiv ID
- 2405.15020
- Category
- Not specified
- Journal tier
- strong field
Anosov Vector Fields and Fried Sections
Jean-Michel Bismut, Shu Shen
correctmedium confidence- arXiv ID
- 2405.14583
- Category
- Not specified
- Journal tier
- top field-leading
Finding bifurcations in mathematical epidemiology via reaction network methods
Nicola Vassena, Florin Avram, Rim Adenane
correctmedium confidence- arXiv ID
- 2405.14576
- Category
- Not specified
- Journal tier
- specialist/solid
Identifiability of Differential-Algebraic Systems
Arthur N. Montanari, François Lamoline, Robert Bereza, Jorge Gonçalves
correcthigh confidence- arXiv ID
- 2405.13818
- Category
- Not specified
- Journal tier
- strong field
Hybrid PDE-ODE Models for Efficient Simulation of Infection Spread in Epidemiology
Kristina Maier, Martin Weiser, Tim Conrad
correctlow confidence- arXiv ID
- 2405.12938
- Category
- math.DS
- Journal tier
- specialist/solid
A Power Tower Control: A New Sliding Mode Control
Malek GHANES, Jean-Pierre BARBOT
incompletelow confidence- arXiv ID
- 2405.14461
- Category
- Not specified
- Journal tier
- note/short/other
Hyperuniformity of Random Measures on Euclidean and Hyperbolic Spaces
Michael Björklund, Mattias Byléhn
incompletemedium confidence- arXiv ID
- 2405.12737
- Category
- Not specified
- Journal tier
- specialist/solid
HETERODIMENSIONAL CYCLES OF HYPERBOLIC ERGODIC MEASURES.
CH. BONATTI, L. J. DÍAZ, K. GELFERT
correctmedium confidence- arXiv ID
- 2405.12686
- Category
- Not specified
- Journal tier
- strong field
Stability criteria of nonlinear generalized proportional fractional delayed systems
Hanaa Zitane, Delfim F. M. Torres
correctmedium confidence- arXiv ID
- 2405.12256
- Category
- math.DS
- Journal tier
- specialist/solid
On disjoint dynamical properties and Lipschitz-free spaces
Christian Cobollo, Alfred Peris
correctmedium confidence- arXiv ID
- 2405.12626
- Category
- Not specified
- Journal tier
- specialist/solid
Global stability and period-doubling bifurcations of a discrete Kolmogorov predator-prey model with Ricker-type prey growth
Lei Niu, Susu Wang
correctmedium confidence- arXiv ID
- 2405.11806
- Category
- Not specified
- Journal tier
- strong field