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
- 61 / 778
- Page Size
- 40
HOW DO TOPOLOGICAL ENTROPY AND FACTOR COMPLEXITY BEHAVE UNDER MONOID MORPHISMS AND FREE GROUP BASIS CHANGES?
Martin Lustig
correctmedium confidenceCounterexample- arXiv ID
- 2204.00816
- Category
- math.DS
- Journal tier
- specialist/solid
On Dynamics of λ + tan z^2
Santanu Nandi
incompletemedium confidence- arXiv ID
- 2204.00365
- Category
- Not specified
- Journal tier
- specialist/solid
On Stability of Two Kinds of Delayed Chemical Reaction Networks
Xiaoyu Zhang, Chuanhou Gao, Denis Dochain
incompletemedium confidence- arXiv ID
- 2204.02781
- Category
- math.DS
- Journal tier
- specialist/solid
MINIMAL SUBSYSTEMS OF GIVEN MEAN DIMENSION IN BERNSTEIN SPACES
Jianjie Zhao
correcthigh confidence- arXiv ID
- 2204.03902
- Category
- math.DS
- Journal tier
- strong field
Escaping High-order Saddles in Policy Optimization for Linear Quadratic Gaussian (LQG) Control
Yang Zheng, Yue Sun, Maryam Fazel, Na Li
correctmedium confidence- arXiv ID
- 2204.00912
- Category
- Not specified
- Journal tier
- strong field
On the Equilateral Pentagonal Central Configurations
M. Álvarez-Ramírez, A. Gasull, J. Llibre
correcthigh confidence- arXiv ID
- 2204.03808
- Category
- math.DS
- Journal tier
- specialist/solid
Data-driven Influence Based Clustering of Dynamical Systems
Subhrajit Sinha
correctmedium confidence- arXiv ID
- 2204.02373
- Category
- Not specified
- Journal tier
- specialist/solid
The Lyapunov Spectrum for Conditioned Random Dynamical Systems
Matheus M. Castro, Dennis Chemnitz, Hugo Chu, Maximilian Engel, Jeroen S. W. Lamb, Martin Rasmussen
correctmedium confidence- arXiv ID
- 2204.04129
- Category
- Not specified
- Journal tier
- strong field
SUB-ADDITIVITY OF MEASURE-THEORETIC ENTROPIES OF COMMUTING TRANSFORMATIONS ON BANACH SPACE
Chiyi Luo, Yun Zhao
correctmedium confidenceCounterexample- arXiv ID
- 2203.16961
- Category
- Not specified
- Journal tier
- specialist/solid
Singularly Perturbed Averaging with Application to Bio-Inspired 3D Source Seeking
Mahmoud Abdelgalil, Asmaa Eldesoukey, Haithem Taha
correctmedium confidence- arXiv ID
- 2203.16808
- Category
- Not specified
- Journal tier
- specialist/solid
Geometry of transit orbits in the periodically-perturbed restricted three-body problem
Joshua Fitzgerald, Shane D. Ross
correctmedium confidence- arXiv ID
- 2203.16019
- Category
- Not specified
- Journal tier
- specialist/solid
Excitation and Measurement Patterns for the Identifiability of Directed Acyclic Graphs
Eduardo Mapurunga, Michel Gevers, Alexandre S. Bazanella
correctmedium confidence- arXiv ID
- 2203.16699
- Category
- math.DS
- Journal tier
- strong field
UNIFORM SOLVABILITY FOR FAMILIES OF LINEAR SYSTEMS ON TIME SCALES
Sergey Kryzhevich
incompletemedium confidence- arXiv ID
- 2203.16283
- Category
- Not specified
- Journal tier
- specialist/solid
Detrended Fluctuation Analysis for Continuous Real Variable Functions
Luis A. Gil-Maqueda, Benjamín A. Itzá-Ortiz
correcthigh confidence- arXiv ID
- 2203.15940
- Category
- Not specified
- Journal tier
- specialist/solid
Cusp Bifurcation in Metastatic Breast Cancer Cells
Brenda Delamonica, Gábor Balázsi, Michael Shub
correctmedium confidence- arXiv ID
- 2203.15888
- Category
- Not specified
- Journal tier
- specialist/solid
The criticality of reversible quadratic centers at the outer boundary of its period annulus
D. Marín, J. Villadelprat
correctmedium confidence- arXiv ID
- 2203.12966
- Category
- Not specified
- Journal tier
- specialist/solid
SHADOWING, TOPOLOGICAL ENTROPY AND RECURRENCE OF INDUCED MORSE-SMALE DIFFEOMORPHISM
A. Arbieto, J. Bohorquez
correctmedium confidence- arXiv ID
- 2203.13356
- Category
- Not specified
- Journal tier
- specialist/solid
Distributed Finite-Sum Constrained Optimization subject to Nonlinearity on the Node Dynamics
Mohammadreza Doostmohammadian, Maria Vrakopoulou, Alireza Aghasi, Themistoklis Charalambous
incompletemedium confidenceCounterexample- arXiv ID
- 2203.14527
- Category
- Not specified
- Journal tier
- note/short/other
Continuity scaling: A rigorous framework for detecting and quantifying causality accurately
Xiong Ying, Si-Yang Leng, Huan-Fei Ma, Qing Nie, Ying-Cheng Lai, Wei Lin
incompletehigh confidence- arXiv ID
- 2203.14006
- Category
- Not specified
- Journal tier
- strong field
How fragile is your network? More than you think.
Jeremie Fish, Mahesh Banavar, Erik Bollt
incompletemedium confidence- arXiv ID
- 2203.13943
- Category
- Not specified
- Journal tier
- specialist/solid
Box-counting dimension in one-dimensional random geometry of multiplicative cascades
Kenneth J. Falconer, Sascha Troscheit
correcthigh confidence- arXiv ID
- 2203.15315
- Category
- Not specified
- Journal tier
- strong field
MEASURES AND GENERALIZED BRATTELI DIAGRAMS FOR DYNAMICS OF INFINITE ALPHABET-SUBSTITUTIONS
Sergey Bezuglyi, Palle E. T. Jorgensen, Shrey Sanadhya
correcthigh confidence- arXiv ID
- 2203.14127
- Category
- Not specified
- Journal tier
- strong field
Predicting Solar Wind Streams from the Inner-Heliosphere to Earth via Shifted Operator Inference
Opal Issan, Boris Kramer
correctmedium confidence- arXiv ID
- 2203.13372
- Category
- math.DS
- Journal tier
- specialist/solid
Nash, Conley, and Computation: Impossibility and Incompleteness in Game Dynamics
Jason Milionis, Christos Papadimitriou, Georgios Piliouras, Kelly Spendlove
correctmedium confidence- arXiv ID
- 2203.14129
- Category
- Not specified
- Journal tier
- strong field
Hamiltonian Perturbations in Contact Floer Homology
Igor Uljarević, Jun Zhang
correctmedium confidenceCounterexample- arXiv ID
- 2203.12500
- Category
- Not specified
- Journal tier
- specialist/solid
Almost-Periodic Ground State of the Non-Self-Adjoint Jacobi Operator and Its Applications
Xing Liang, Hongze Wang, Qi Zhou
correctmedium confidence- arXiv ID
- 2203.14174
- Category
- Not specified
- Journal tier
- specialist/solid
DIFFERENTIABILITY OF EFFECTIVE FRONTS IN THE CONTINUOUS SETTING IN TWO DIMENSIONS
HUNG V. TRAN, YIFENG YU
correcthigh confidence- arXiv ID
- 2203.13807
- Category
- math.DS
- Journal tier
- strong field
Learning the Dynamics of Autonomous Linear Systems From Multiple Trajectories
Lei Xin, George Chiu, Shreyas Sundaram
correctmedium confidence- arXiv ID
- 2203.12794
- Category
- Not specified
- Journal tier
- strong field
Renormalization and existence of the finite-time blow up solutions for a one-dimensional analogue of the Navier–Stokes equations
Denis Gaidashev, Alejandro Luque
correctmedium confidence- arXiv ID
- 2203.14651
- Category
- Not specified
- Journal tier
- strong field
Defects and Frustration in the Packing of Soft Balls
Kenneth Jao, Keith Promislow, Samuel Sottile
correctmedium confidence- arXiv ID
- 2203.14785
- Category
- Not specified
- Journal tier
- specialist/solid
CONSTRUCTIVE CONTROLLABILITY FOR INCOMPRESSIBLE VECTOR FIELDS
Sergey Kryzhevich, Eugene Stepanov
correctmedium confidence- arXiv ID
- 2203.14120
- Category
- Not specified
- Journal tier
- specialist/solid
Safe Hierarchical Model Predictive Control and Planning for Autonomous Systems
Markus Kögel, Mohamed Ibrahim, Christian Kallies, Rolf Findeisen
correctmedium confidence- arXiv ID
- 2203.14269
- Category
- Not specified
- Journal tier
- specialist/solid
EXISTENCE OF LIFE IN LENIA
Craig Calcaterra, Axel Boldt
correctmedium confidence- arXiv ID
- 2203.14390
- Category
- math.DS
- Journal tier
- specialist/solid
Möbius random law and infinite rank-one maps
E. H. el Abdalaoui, Cesar E. Silva
incompletemedium confidence- arXiv ID
- 2203.14971
- Category
- Not specified
- Journal tier
- specialist/solid
The Nonexistence of Expansive Polycyclic Group Actions on the Circle S1
Enhui Shi, Suhua Wang, Zhiwen Xie, Hui Xu
correcthigh confidence- arXiv ID
- 2203.12494
- Category
- Not specified
- Journal tier
- specialist/solid
Solving the Quispel-Roberts-Thompson maps using Kajiwara-Noumi-Yamada’s representation of elliptic curves
Xing Li, Tomoyuki Takenawa
correctmedium confidence- arXiv ID
- 2203.12319
- Category
- Not specified
- Journal tier
- specialist/solid
Koopman-based Neural Lyapunov functions for general attractors
Shankar A. Deka, Alonso M. Valle, Claire J. Tomlin
correctmedium confidence- arXiv ID
- 2203.12303
- Category
- Not specified
- Journal tier
- specialist/solid
Local Hard-Sphere Poisson-Nernst-Planck Models for Ionic Channels with Permanent Charges
Weishi Liu, Hamid Mofidi
correctmedium confidence- arXiv ID
- 2203.09113
- Category
- Not specified
- Journal tier
- specialist/solid
A characterization of the fuzzy fractals generated by an orbital fuzzy iterated function system
Radu Miculescu, Alexandru Mihail, Irina Savu
correcthigh confidence- arXiv ID
- 2203.11895
- Category
- Not specified
- Journal tier
- specialist/solid
Resonances and Phase Locking Phenomena for Foliation Preserving Torus Maps
Xiaolong He, Rafael de la Llave
correctmedium confidence- arXiv ID
- 2203.09146
- Category
- Not specified
- Journal tier
- strong field