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
- 85 / 778
- Page Size
- 40
Infinite-Dimensional Thurston Theory and Transcendental Dynamics III: Entire Functions with Escaping Singular Orbits in the Degenerate Case
Konstantin Bogdanov
correcthigh confidence- arXiv ID
- 2104.12206
- Category
- Not specified
- Journal tier
- strong field
Real Liouvillian extensions of partial differential fields
Zbigniew Hajto, Rouzbeh Mohseni
correctmedium confidence- arXiv ID
- 2104.09548
- Category
- math.DS
- Journal tier
- specialist/solid
Nonsingular Euler Parameterizations for Motion of a Point Mass in Atmospheric Flight
Alexander T. Miller, Anil V. Rao
correctmedium confidence- arXiv ID
- 2104.08972
- Category
- Not specified
- Journal tier
- strong field
3− 2− 1 FOLIATIONS FOR REEB FLOWS ON THE TIGHT 3-SPHERE
Carolina Lemos de Oliveira
correcthigh confidence- arXiv ID
- 2104.10295
- Category
- math.DS
- Journal tier
- specialist/solid
Homology and K-Theory of Dynamical Systems, II. Smale Spaces with Totally Disconnected Transversal
Valerio Proietti, Makoto Yamashita
correctmedium confidence- arXiv ID
- 2104.10938
- Category
- Not specified
- Journal tier
- strong field
ROTATION SETS AND ACTIONS ON CURVES
Jonathan Bowden, Sebastian Hensel, Kathryn Mann, Emmanuel Militon, Richard Webb
correctmedium confidence- arXiv ID
- 2104.11217
- Category
- Not specified
- Journal tier
- strong field
Expanding Measures: Random Walks and Rigidity on Homogeneous Spaces
Roland Prohaska, Cagri Sert, Ronggang Shi
correctmedium confidence- arXiv ID
- 2104.09546
- Category
- Not specified
- Journal tier
- strong field
Ordered intricacy of Shilnikov saddle-focus homoclinics in symmetric systems
Tingli Xing, Krishna Pusuluri, Andrey L. Shilnikov
incompletemedium confidence- arXiv ID
- 2104.11314
- Category
- Not specified
- Journal tier
- specialist/solid
CARNOT METRICS, DYNAMICS AND LOCAL RIGIDITY
Chris Connell, Thang Nguyen, Ralf Spatzier
correcthigh confidence- arXiv ID
- 2104.11990
- Category
- Not specified
- Journal tier
- strong field
Solving Bang-Bang Problems Using The Immersed Interface Method and Integer Programming
Ryan H. Vogt, Sarah Strikwerda
incompletemedium confidence- arXiv ID
- 2104.08649
- Category
- Not specified
- Journal tier
- specialist/solid
Opinion Dynamics under Social Pressure
Ali Jadbabaie, Anuran Makur, Elchanan Mossel, Rabih Salhab
correctmedium confidence- arXiv ID
- 2104.11172
- Category
- math.DS
- Journal tier
- strong field
Equilibrium States for the Random β-Transformation through g-Measures
Karma Dajani, Kieran Power
correctmedium confidence- arXiv ID
- 2104.11634
- Category
- Not specified
- Journal tier
- specialist/solid
CELLULAR TANGO: HOW EXTRACELLULAR MATRIX ADHESION CHOREOGRAPHS RAC-RHO SIGNALING AND CELL MOVEMENT
Elisabeth G. Rens, Leah Edelstein-Keshet
incompletemedium confidence- arXiv ID
- 2104.09182
- Category
- Not specified
- Journal tier
- strong field
SYNCHRONY IN GENE REGULATORY NETWORKS
Manuela Aguiar, Ana Dias, Haibo Ruan
correctmedium confidence- arXiv ID
- 2104.08005
- Category
- math.DS
- Journal tier
- specialist/solid
Weakly Reversible CF-Decompositions of Chemical Kinetic Systems
Bryan S. Hernandez, Eduardo R. Mendoza
correctmedium confidence- arXiv ID
- 2104.08429
- Category
- Not specified
- Journal tier
- specialist/solid
The SIR model of an epidemic
William G. Faris
correctmedium confidence- arXiv ID
- 2104.12029
- Category
- Not specified
- Journal tier
- note/short/other
Map Lattices Coupled by Collisions: Hitting Time Statistics and Collisions per Lattice Unit
Wael Bahsoun, Fanni M. Sélley
correcthigh confidence- arXiv ID
- 2104.10233
- Category
- math.DS
- Journal tier
- specialist/solid
THE FURSTENBERG SET AND ITS RANDOM VERSION
Aihua Fan, Hervé Queffélec, Martine Queffélec
correcthigh confidence- arXiv ID
- 2104.08944
- Category
- Not specified
- Journal tier
- specialist/solid
A Practical Method for Constructing Equivariant Multilayer Perceptrons for Arbitrary Matrix Groups
Marc Finzi, Max Welling, Andrew Gordon Wilson
correctmedium confidence- arXiv ID
- 2104.09459
- Category
- Not specified
- Journal tier
- strong field
Dynamics of a hybrid vibro-impact oscillator: canonical formalism
Maor Farid
correctmedium confidence- arXiv ID
- 2104.07757
- Category
- Not specified
- Journal tier
- strong field
Singular vectors on manifolds over number fields
Shreyasi Datta, M. M. Radhika
correctmedium confidence- arXiv ID
- 2104.07641
- Category
- Not specified
- Journal tier
- specialist/solid
JOINT EQUIDISTRIBUTION ON THE PRODUCT OF THE CIRCLE AND THE UNIT TANGENT BUNDLE OF THE MODULAR SURFACE
Subhajit Jana
correctmedium confidence- arXiv ID
- 2104.07640
- Category
- Not specified
- Journal tier
- specialist/solid
Simulations Approaching Data: Cortical Slow Waves in Inferred Models of the Whole Hemisphere of Mouse
Cristiano Capone, Chiara De Luca, Giulia De Bonis, Elena Pastorelli, Anna Letizia Allegra Mascaro, Francesco Resta, Francesco Pavone, Pier Stanislao Paolucci
incompletehigh confidence- arXiv ID
- 2104.07445
- Category
- Not specified
- Journal tier
- specialist/solid
SIRSi-Vaccine dynamical model for Covid-19 pandemic
Cristiane M. Batistela, Diego P. F. Correa, Átila M Bueno, José R. C. Piqueira
incompletehigh confidence- arXiv ID
- 2104.07402
- Category
- Not specified
- Journal tier
- specialist/solid
Understanding Calcium Dynamics via Process-Oriented Geometric Singular Perturbation Theory
Samuel Jelbart, Nathan Pages, Vivien Kirk, James Sneyd, Martin Wechselberger
correctmedium confidence- arXiv ID
- 2104.07304
- Category
- Not specified
- Journal tier
- strong field
NON-RESONANT CIRCLES FOR STRONG MAGNETIC FIELDS ON SURFACES
Luca Asselle, Gabriele Benedetti
correctmedium confidence- arXiv ID
- 2104.06733
- Category
- Not specified
- Journal tier
- specialist/solid
Time-asymptotic stability of composite waves of viscous shock and rarefaction for barotropic Navier–Stokes equation
Moon-Jin Kang, Alexis F. Vasseur, Yi Wang
correctmedium confidence- arXiv ID
- 2104.06590
- Category
- Not specified
- Journal tier
- top field-leading
On the distribution of Sudler products and Birkhoff sums for the irrational rotation
Bence Borda
correctmedium confidence- arXiv ID
- 2104.06716
- Category
- math.DS
- Journal tier
- strong field
THE DIFFERENCE BETWEEN THE HURWITZ CONTINUED FRACTION EXPRESSIONS OF A COMPLEX NUMBER AND ITS RATIONAL APPROXIMATIONS
Yubin He, Ying Xiong
correcthigh confidence- arXiv ID
- 2104.06562
- Category
- math.DS
- Journal tier
- specialist/solid
On the asymptotic behavior of cocycles over flows
Maxim E. Lipatov
correctmedium confidence- arXiv ID
- math.DS/2104.06334
- Category
- math.DS
- Journal tier
- Not assigned
Strong degenerate constraining in Lagrangian dynamics
J. M. Burgos
correcthigh confidence- arXiv ID
- 2104.06549
- Category
- Not specified
- Journal tier
- strong field
Geometric Control of two Quadrotors Carrying a Rigid Rod with Elastic Cables
Jacob R. Goodman, Leonardo J. Colombo
correctmedium confidence- arXiv ID
- 2104.06155
- Category
- Not specified
- Journal tier
- specialist/solid
Where the Liénard–Levinson–Smith (LLS) theorem cannot be applied for a generalised Liénard system
Sandip Saha, Gautam Gangopadhyay
correctmedium confidence- arXiv ID
- 2104.06043
- Category
- Not specified
- Journal tier
- note/short/other
On the Structure of Periodic Eigenvalues of the Vectorial p-Laplacian
Changjian Liu, Meirong Zhang
correctmedium confidence- arXiv ID
- 2104.05941
- Category
- Not specified
- Journal tier
- strong field
ON A GENERALIZED KURAMOTO MODEL WITH RELATIVISTIC EFFECTS AND EMERGENT DYNAMICS
Chan Ho Min, Hyunjin Ahn, Seung-Yeal Ha, Myeongju Kang
correctmedium confidence- arXiv ID
- 2104.05873
- Category
- Not specified
- Journal tier
- strong field
3-d Calabi–Yau categories for Teichmüller theory
Fabian Haiden
correctmedium confidence- arXiv ID
- 2104.06018
- Category
- math.DS
- Journal tier
- top field-leading
Reactive Islands for Three Degrees-of-Freedom Hamiltonian Systems
Vladimír Krajňák, Víctor J. García-Garrido, Stephen Wiggins
correctmedium confidence- arXiv ID
- 2104.05798
- Category
- Not specified
- Journal tier
- strong field
ENDOMORPHISMS OF QUASI-PROJECTIVE VARIETIES - TOWARDS ZARISKI DENSE ORBIT AND KAWAGUCHI-SILVERMAN CONJECTURES
Jia Jia, Takahiro Shibata, Junyi Xie, De-Qi Zhang
correcthigh confidence- arXiv ID
- 2104.05339
- Category
- Not specified
- Journal tier
- strong field
A DYNAMICAL ARGUMENT FOR A RAMSEY PROPERTY
Enhui Shi, Hui Xu
wrongmedium confidence- arXiv ID
- 2104.02358
- Category
- math.DS
- Journal tier
- note/short/other
Two classes of explicitly solvable sextic equations
Francesco Calogero, Farrin Payandeh
correctmedium confidence- arXiv ID
- 2104.03072
- Category
- Not specified
- Journal tier
- note/short/other