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
- 57 / 778
- Page Size
- 40
Attainable forms of Assouad spectra
Alex Rutar
correctmedium confidence- arXiv ID
- 2206.06921
- Category
- Not specified
- Journal tier
- strong field
Triangle solitaire
Ville Salo, Juliette Schabanel
correctmedium confidence- arXiv ID
- 2206.04219
- Category
- Not specified
- Journal tier
- specialist/solid
Decomposition of Boolean networks: An approach to modularity of biological systems
Claus Kadelka, Reinhard Laubenbacher, David Murrugarra, Alan Veliz-Cuba, Matthew Wheeler
correctmedium confidence- arXiv ID
- 2206.04217
- Category
- Not specified
- Journal tier
- strong field
Rigidity for Higher Rank Lattice Actions on Dendrites
Enhui Shi, Hui Xu
correctmedium confidence- arXiv ID
- 2206.04022
- Category
- Not specified
- Journal tier
- strong field
Alternating Mirror Descent for Constrained Min-Max Games
Andre Wibisono, Molei Tao, Georgios Piliouras
correcthigh confidence- arXiv ID
- 2206.04160
- Category
- math.DS
- Journal tier
- strong field
Spread of SARS-CoV-2 in a SIS model with vaccination and breakthrough infection
Ariel Félix Gualtieri, Carolina de la Cal, Augusto Francisco Toma, Pedro Hecht
incompletemedium confidence- arXiv ID
- 2206.01803
- Category
- math.DS
- Journal tier
- specialist/solid
Spatial frequency of unstable eigenfunction of the core-periphery model incorporating differentiated agriculture with transport cost
Kensuke Ohtake
wrongmedium confidenceCounterexample- arXiv ID
- 2206.01040
- Category
- math.DS
- Journal tier
- specialist/solid
Time-Delay Systems with Delayed Impulses: A Unified Criterion on Asymptotic Stability
Kexue Zhang, Elena Braverman
correctmedium confidence- arXiv ID
- 2206.03631
- Category
- math.DS
- Journal tier
- strong field
THEORETICAL ANALYSIS OF A DISCRETE POPULATION BALANCE MODEL FOR SUM KERNEL
SONALI KAUSHIK, RAJESH KUMAR, FERNANDO P. DA COSTA
correctmedium confidence- arXiv ID
- 2206.01965
- Category
- Not specified
- Journal tier
- specialist/solid
ON AN ANALOGUE OF THE HUREWICZ THEOREM FOR MEAN DIMENSION
Masaki Tsukamoto
correctmedium confidence- arXiv ID
- 2206.03005
- Category
- Not specified
- Journal tier
- strong field
Structure-Preserving Model Order Reduction for Index Two Port-Hamiltonian Descriptor Systems
Tim Moser, Paul Schwerdtner, Volker Mehrmann, Matthias Voigt
correcthigh confidence- arXiv ID
- 2206.03942
- Category
- math.DS
- Journal tier
- strong field
Invariant Measures of the Topological Flow and Measures at Infinity on Hyperbolic Groups
Stephen Cantrell, Ryokichi Tanaka
correctmedium confidence- arXiv ID
- 2206.02282
- Category
- Not specified
- Journal tier
- strong field
Polynomial ergodic averages of measure-preserving systems acted by Z^d
Rongzhong Xiao
wrongmedium confidence- arXiv ID
- 2206.02197
- Category
- math.DS
- Journal tier
- note/short/other
Quasi–periodic motions in generic nearly–integrable mechanical systems
L. Biasco, L. Chierchia
correctmedium confidence- arXiv ID
- 2206.01055
- Category
- Not specified
- Journal tier
- strong field
Model for prognostic of symptomatic, asymptomatic and hospitalized COVID-19 cases with correct demography evolution
Antonio Rafael Selva Castañeda, Erick Eduardo Ramirez-Torres, Luis Eugenio Valdés-García, Hilda María Morandeira-Padrón, Diana Sedal Yanez, Juan I. Montijano, Luis Enrique Bergues Cabrales
correctmedium confidence- arXiv ID
- 2206.03806
- Category
- Not specified
- Journal tier
- specialist/solid
MARKED LENGTH PATTERN RIGIDITY FOR ARITHMETIC MANIFOLDS
Yanlong Hao
correcthigh confidence- arXiv ID
- 2206.01336
- Category
- Not specified
- Journal tier
- specialist/solid
A PROOF OF THE Cr CLOSING LEMMA AND STABILITY CONJECTURE
Chang Gao
wrongmedium confidence- arXiv ID
- 2206.02974
- Category
- math.DS
- Journal tier
- note/short/other
RANDOM AND MEAN LYAPUNOV EXPONENTS FOR GLn(R)
Diego Armentano, Gautam Chinta, Siddhartha Sahi, Michael Shub
correctmedium confidenceCounterexample- arXiv ID
- 2206.01091
- Category
- math.DS
- Journal tier
- strong field
A unifying framework for tangential interpolation of structured bilinear control systems
Peter Benner, Serkan Gugercin, Steffen W. R. Werner
correcthigh confidence- arXiv ID
- 2206.01657
- Category
- math.DS
- Journal tier
- strong field
On a framework of data assimilation for neuronal networks
Wenyong Zhang, Boyu Chen, Jianfeng Feng, Wenlian Lu
incompletemedium confidence- arXiv ID
- 2206.02986
- Category
- Not specified
- Journal tier
- specialist/solid
Stationary measures for stochastic differential equations with degenerate damping
Jacob Bedrossian, Kyle Liss
correctmedium confidence- arXiv ID
- 2206.02240
- Category
- math.DS
- Journal tier
- strong field
ZEROS OF DYNAMICAL ZETA FUNCTIONS FOR HYPERBOLIC QUADRATIC MAPS
Yuqiu Fu
correctmedium confidence- arXiv ID
- 2205.11408
- Category
- Not specified
- Journal tier
- strong field
Dynamical Borel–Cantelli Lemma for Recurrence under Lipschitz Twists
Dmitry Kleinbock, Jiajie Zheng
correcthigh confidence- arXiv ID
- 2205.12366
- Category
- math.DS
- Journal tier
- strong field
Weighted badly approximable complex vectors and bounded orbits of certain diagonalizable flows
Gaurav Sawant
correcthigh confidence- arXiv ID
- 2205.11778
- Category
- math.DS
- Journal tier
- specialist/solid
NONINTEGRABILITY OF DYNAMICAL SYSTEMS NEAR DEGENERATE EQUILIBRIA
Kazuyuki Yagasaki
correcthigh confidence- arXiv ID
- 2205.13262
- Category
- math.DS
- Journal tier
- specialist/solid
Grazing bifurcations and transitions between periodic states of the PP04 model for the glacial cycle.
Chris Budd, Kgomotso S. Morupisi
correctmedium confidence- arXiv ID
- 2205.13240
- Category
- Not specified
- Journal tier
- strong field
An algorithm for finding weakly reversible deficiency zero realizations of polynomial dynamical systems
Gheorghe Craciun, Jiaxin Jin, Polly Y. Yu
correcthigh confidence- arXiv ID
- 2205.14267
- Category
- Not specified
- Journal tier
- specialist/solid
ON FLOER-TYPE NUMERICAL INVARIANTS, GIT QUOTIENTS, AND ORBIT BIFURCATIONS OF REAL-LIFE PLANETARY SYSTEMS (WITH NUMERICAL EXPLORATIONS OF THE JUPITER-EUROPA AND SATURN-ENCELADUS SYSTEMS)
Urs Frauenfelder, Dayung Koh, Agustin Moreno
correcthigh confidence- arXiv ID
- 2206.00627
- Category
- math.DS
- Journal tier
- specialist/solid
VARIATIONAL PRINCIPLES ON SUBSETS OF NON-AUTONOMOUS DYNAMICAL SYSTEMS: TOPOLOGICAL PRESSURE AND TOPOLOGICAL ENTROPY
Javad Nazarian Sarkooh
correcthigh confidence- arXiv ID
- 2206.00714
- Category
- math.DS
- Journal tier
- specialist/solid
The involution kernel and the dual potential for functions in the Walters’ family
L. Y. Hataishi, A. O. Lopes
correctmedium confidence- arXiv ID
- 2206.00996
- Category
- Not specified
- Journal tier
- specialist/solid
Mean Escape Time of Switched Riccati Differential Equations
Masaki Ogura, Clyde Martin
correcthigh confidence- arXiv ID
- 2206.00908
- Category
- math.DS
- Journal tier
- specialist/solid
ASYMPTOTIC CONVERGENCE OF HETEROGENEOUS FIRST-ORDER AGGREGATION MODELS: FROM THE SPHERE TO THE UNITARY GROUP
Dohyun Kim, Hansol Park
incompletemedium confidence- arXiv ID
- 2206.00984
- Category
- Not specified
- Journal tier
- strong field
SELF-SIMILAR DIRICHLET FORMS ON POLYGON CARPETS
Shiping Cao, Hua Qiu, Yizhou Wang
correctmedium confidence- arXiv ID
- 2206.00040
- Category
- math.DS
- Journal tier
- strong field
POLYNOMIALS WITH CORE ENTROPY ZERO
Yusheng Luo, Insung Park
correctmedium confidence- arXiv ID
- 2205.13704
- Category
- Not specified
- Journal tier
- strong field
Expansivity and strong structural stability for composition operators on Lp spaces
Martina Maiuriello
correcthigh confidence- arXiv ID
- 2206.00353
- Category
- Not specified
- Journal tier
- specialist/solid
Correlation sum and recurrence determinism for interval maps
Michaela Mihoková
correctmedium confidence- arXiv ID
- 2205.13896
- Category
- Not specified
- Journal tier
- specialist/solid
A novel analysis approach of uniform persistence for a COVID-19 model with quarantine and standard incidence rate
Songbai Guo, Yuling Xue, Xiliang Li, Zuohuan Zheng
correctmedium confidence- arXiv ID
- 2205.15560
- Category
- math.DS
- Journal tier
- specialist/solid
Mall bundles and flat connections on Hopf manifolds
Liviu Ornea, Misha Verbitsky
correctmedium confidence- arXiv ID
- 2205.14062
- Category
- Not specified
- Journal tier
- specialist/solid
Averaging and Mixing for Stochastic Perturbations of Linear Conservative Systems
Guan Huang, Sergei Kuksin
correcthigh confidence- arXiv ID
- 2206.00605
- Category
- math.DS
- Journal tier
- strong field
Dynamical Model of Mild Atherosclerosis: Applied Mathematical Aspects
Debasmita Mukherjee, Sishu Shankar Muni, Hammed Olawale Fatoyinbo
wrongmedium confidence- arXiv ID
- 2205.14982
- Category
- math.DS
- Journal tier
- specialist/solid