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
- 92 / 778
- Page Size
- 40
Intersecting Geodesics on the Modular Surface
Junehyuk Jung, Naser Talebizadeh Sardari
correctmedium confidence- arXiv ID
- 2101.08768
- Category
- Not specified
- Journal tier
- strong field
The Collatz Problem generalized to 3x + k
Franz Wegner
correctmedium confidence- arXiv ID
- 2101.08060
- Category
- Not specified
- Journal tier
- specialist/solid
Smooth Orbit Equivalence of Multidimensional Borel Flows
Konstantin Slutsky
correcthigh confidence- arXiv ID
- 2101.08411
- Category
- Not specified
- Journal tier
- strong field
What is a stochastic Hamiltonian process on finite graph? An optimal transport answer
Jianbo Cui, Shu Liu, Haomin Zhou
correctmedium confidence- arXiv ID
- 2101.08420
- Category
- Not specified
- Journal tier
- specialist/solid
Stability bounds of a delay visco-elastic rheological model with substrate friction
Malik A. Dawi, Jose J. Muñoz
correctmedium confidence- arXiv ID
- 2101.07372
- Category
- math.DS
- Journal tier
- specialist/solid
Convective Turing Bifurcation
Aric Wheeler, Kevin Zumbrun
correctmedium confidence- arXiv ID
- 2101.07239
- Category
- Not specified
- Journal tier
- strong field
Indices of equilibrium points of linear control systems with saturated state feedback
Xiao-Song Yang, Weisheng Huang
correcthigh confidence- arXiv ID
- 2101.07474
- Category
- Not specified
- Journal tier
- specialist/solid
The magnetic 2-body problem on the sphere
N. A. Balabanova, J. A. Montaldi
correctmedium confidence- arXiv ID
- 2101.07170
- Category
- Not specified
- Journal tier
- specialist/solid
PARTIAL OBSERVABILITY APPROACH FOR THE OPTIMAL TRANSPARENCY PROBLEM IN MULTI-AGENT SYSTEMS
Sadegh Arefizadeh, Sadjaad Ozgoli, Sadegh Bolouki, Tamer Başar
correctmedium confidence- arXiv ID
- 2101.07178
- Category
- Not specified
- Journal tier
- strong field
Flow stability for dynamic community detection
Alexandre Bovet, Jean-Charles Delvenne, Renaud Lambiotte
incompletemedium confidence- arXiv ID
- 2101.06131
- Category
- Not specified
- Journal tier
- strong field
SYMMETRIC RIGIDITY FOR CIRCLE ENDOMORPHISMS WITH BOUNDED GEOMETRY
John Adamski, Yunchun Hu, Yunping Jiang, Zhe Wang
correctmedium confidence- arXiv ID
- 2101.06870
- Category
- math.DS
- Journal tier
- strong field
High-Frequency Instabilities of the Kawahara Equation: A Perturbative Approach
Ryan Creedon, Bernard Deconinck, Olga Trichtchenko
correctmedium confidence- arXiv ID
- 2101.06601
- Category
- Not specified
- Journal tier
- strong field
Uncertainty Quantification of Bifurcations in Random Ordinary Differential Equations
Kerstin Lux, Christian Kuehn
correcthigh confidence- arXiv ID
- 2101.05581
- Category
- Not specified
- Journal tier
- specialist/solid
TOPOLOGICAL MULTIPLE RECURRENCE OF WEAKLY MIXING MINIMAL SYSTEMS FOR GENERALIZED POLYNOMIALS
Ruifeng Zhang, Jianjie Zhao
correctmedium confidence- arXiv ID
- 2101.06959
- Category
- Not specified
- Journal tier
- specialist/solid
On the relation of the COVID-19 reproduction number to the explosive timescales: the case of Italy
Dimitris G. Patsatzis
incompletemedium confidence- arXiv ID
- 2101.06101
- Category
- math.DS
- Journal tier
- specialist/solid
Diffeomorphic shape evolution coupled with a reaction-diffusion PDE on a growth potential
Dai-Ni Hsieh, Sylvain Arguillère, Nicolas Charon, Laurent Younes
correctmedium confidence- arXiv ID
- 2101.06508
- Category
- math.DS
- Journal tier
- specialist/solid
ON THE QUASI-STEADY-STATE APPROXIMATION IN AN OPEN MICHAELIS–MENTEN REACTION MECHANISM
Justin Eilertsen, Marc R. Roussel, Santiago Schnell, Sebastian Walcher
correctmedium confidence- arXiv ID
- 2101.05532
- Category
- math.DS
- Journal tier
- strong field
Slider: On the Design and Modeling of a 2D Floating Satellite Platform
Avijit Banerjee, Jakub Haluska, Sumeet G. Satpute, Dariusz Kominiak, George Nikolakopoulos
incompletemedium confidence- arXiv ID
- 2101.06335
- Category
- Not specified
- Journal tier
- specialist/solid
KATUGAMPOLA FRACTIONAL INTEGRAL AND FRACTAL DIMENSION OF BIVARIATE FUNCTIONS
S. Verma, P. Viswanathan
correcthigh confidence- arXiv ID
- 2101.06093
- Category
- Not specified
- Journal tier
- specialist/solid
SEMI-ANALYTICAL ESTIMATES FOR THE ORBITAL STABILITY OF EARTH’S SATELLITES
Irene De Blasi, Alessandra Celletti, Christos Efthymiopoulos
correctmedium confidence- arXiv ID
- 2101.05340
- Category
- Not specified
- Journal tier
- specialist/solid
On strong forms of the Borel–Cantelli lemma and intermittent interval maps
Andrei N. Frolov
correctmedium confidence- arXiv ID
- 2101.05586
- Category
- Not specified
- Journal tier
- specialist/solid
Enhancing Population Persistence by a Protection Zone in a Reaction-Diffusion Model with Strong Allee Effect
Yu Jin, Rui Peng, Jinfeng Wang
correcthigh confidence- arXiv ID
- 2101.07125
- Category
- Not specified
- Journal tier
- specialist/solid
Analysis of a time-delayed HIV/AIDS epidemic model with education campaigns.
Dawit Denu, Sedar Ngoma, Rachidi B. Salako
correcthigh confidence- arXiv ID
- 2101.05925
- Category
- math.DS
- Journal tier
- specialist/solid
Piecewise closed form expression of Rössler-like trajectories
Stefano Morosetti
incompletemedium confidence- arXiv ID
- 2101.05749
- Category
- Not specified
- Journal tier
- specialist/solid
Frequency Limited H2 Optimal Model Reduction of Large-Scale Sparse Dynamical Systems
Xin Du, M. Monir Uddin, A. Mostakim Fony, Md. Tanzim Hossain, Mohammaed Sahadat-Hossain
incompletemedium confidence- arXiv ID
- 2101.04566
- Category
- math.DS
- Journal tier
- specialist/solid
COUNTING IN GENERIC LATTICES AND HIGHER RANK ACTIONS
Michael Björklund, Alexander Gorodnik
correcthigh confidence- arXiv ID
- 2101.04931
- Category
- Not specified
- Journal tier
- strong field
CONTACT GEOMETRY IN THE RESTRICTED THREE-BODY PROBLEM – MINI-COURSE LECTURE NOTES –
Agustin Moreno
correcthigh confidence- arXiv ID
- 2101.04438
- Category
- Not specified
- Journal tier
- specialist/solid
INTERPOLATION OF POWER MAPPINGS
Jack Burkart, Kirill Lazebnik
correcthigh confidence- arXiv ID
- math.DS/2101.04219
- Category
- math.DS
- Journal tier
- Not assigned
EMERGENT BEHAVIORS OF HIGH-DIMENSIONAL KURAMOTO MODELS ON STIEFEL MANIFOLDS
Seung-Yeal Ha, Myeongju Kang, Dohyun Kim
wrongmedium confidenceCounterexample- arXiv ID
- 2101.04300
- Category
- math.DS
- Journal tier
- strong field
ASYMPTOTIC INTERPLAY OF STATES AND ADAPTED COUPLING GAINS IN THE LOHE HERMITIAN SPHERE MODEL
Junhyeok Byeon, Seung-Yeal Ha, Hansol Park
correcthigh confidence- arXiv ID
- 2101.03450
- Category
- Not specified
- Journal tier
- specialist/solid
Emergent behaviors of homogeneous Lohe Hermitian sphere particles under time-delayed interactions
Seung-Yeal Ha, Gyuyoung Hwang, Hansol Park
correctmedium confidence- arXiv ID
- 2101.03451
- Category
- math.DS
- Journal tier
- specialist/solid
An Introduction to the Kepler-Heisenberg Problem
Corey Shanbrom
correctmedium confidence- arXiv ID
- 2101.03639
- Category
- math.DS
- Journal tier
- specialist/solid
Accuracy and Architecture Studies of Residual Neural Network solving Ordinary Differential Equations
Changxin Qiu, Aaron Bendickson, Joshua Kalyanapu, Jue Yan
correctmedium confidence- arXiv ID
- 2101.03583
- Category
- Not specified
- Journal tier
- specialist/solid
Deep Reinforcement Learning with Function Properties in Mean Reversion Strategies
Sophia Gu
correctmedium confidence- arXiv ID
- 2101.03418
- Category
- Not specified
- Journal tier
- specialist/solid
Infinite-dimensional Folded-in-time Deep Neural Networks
Florian Stelzer, Serhiy Yanchuk
correcthigh confidence- arXiv ID
- 2101.02966
- Category
- math.DS
- Journal tier
- specialist/solid
Designing temporal networks that synchronize under resource constraints
Yuanzhao Zhang, Steven H. Strogatz
correctmedium confidence- arXiv ID
- 2101.02721
- Category
- Not specified
- Journal tier
- strong field
Number of Bounded Distance Equivalence Classes in Hulls of Repetitive Delone Sets
Dirk Frettlöh, Alexey Garber, Lorenzo Sadun
correctmedium confidence- arXiv ID
- 2101.02514
- Category
- Not specified
- Journal tier
- strong field
Thermodynamic Formalism for Generalized Countable Markov Shifts
Thiago Costa Raszeja
correctmedium confidence- arXiv ID
- 2101.02546
- Category
- Not specified
- Journal tier
- specialist/solid
Data-Driven Modeling of Nonlinear Traveling Waves
James V. Koch
correctmedium confidence- arXiv ID
- 2101.02122
- Category
- math.DS
- Journal tier
- specialist/solid
PIETOOLS 2020a: User Manual
Sachin Shivakumar, Amritam Das, Matthew Peet
wrongmedium confidenceCounterexample- arXiv ID
- 2101.02050
- Category
- math.DS
- Journal tier
- specialist/solid