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
- 64 / 778
- Page Size
- 40
The Mathematics of Evolution: The Price Equation, Natural Selection, and Environmental Change
Tom LaGatta
correctmedium confidence- arXiv ID
- 2202.10289
- Category
- Not specified
- Journal tier
- strong field
Relations among Equicontinuity, Characteristic 0 Property, Periodicity, and Their Variants
Tomoo Yokoyama
correcthigh confidenceCounterexample- arXiv ID
- 2202.10568
- Category
- Not specified
- Journal tier
- specialist/solid
Limit cycles in mass-conserving deficiency-one mass-action systems
Balázs Boros, Josef Hofbauer
correctmedium confidence- arXiv ID
- 2202.10406
- Category
- math.DS
- Journal tier
- specialist/solid
Spectral form factor in the Hadamard-Gutzwiller model: orbit pairs contributing in the third order
Huynh M. Hien
correctmedium confidence- arXiv ID
- 2202.11991
- Category
- Not specified
- Journal tier
- strong field
Routh-Hurwitz criterion of stability and robust stability for fractional-order systems with order α ∈ [1, 2)
Jing Yang, Xiaorong Hou, Yajun Li
correctmedium confidence- arXiv ID
- 2202.09576
- Category
- Not specified
- Journal tier
- specialist/solid
An explicit Hopf bifurcation criterion of fractional-order systems with order 1 < α < 2
Jing Yang, Xiaoxue Li, Xiaorong Hou
correctmedium confidence- arXiv ID
- 2202.09570
- Category
- math.DS
- Journal tier
- specialist/solid
Optimization flows landing on the Stiefel manifold
Bin Gao, Simon Vary, Pierre Ablin, P.-A. Absil
correcthigh confidence- arXiv ID
- 2202.09058
- Category
- Not specified
- Journal tier
- strong field
Front Transport Reduction for Complex Moving Fronts — Nonlinear Model Reduction for an Advection–Reaction–Diffusion Equation with a Kolmogorov–Petrovsky–Piskunov Reaction Term
Philipp Krah, Steffen Büchholz, Matthias Häringer, Julius Reiss
incompletemedium confidence- arXiv ID
- 2202.08208
- Category
- Not specified
- Journal tier
- specialist/solid
Stability analysis of fixed point of fractional-order coupled map lattices
Sachin Bhalekar, Prashant M. Gade
correctmedium confidence- arXiv ID
- 2202.07903
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics near Couette flow for the β-plane equation
Luqi Wang, Zhifei Zhang, Hao Zhu
correcthigh confidence- arXiv ID
- 2202.05708
- Category
- Not specified
- Journal tier
- strong field
COBOUNDARIES AND EIGENVALUES OF FINITARY S-ADIC SYSTEMS
Valérie Berthé, Paulina Cecchi Bernales, Reem Yassawi
correctmedium confidence- arXiv ID
- 2202.07270
- Category
- math.DS
- Journal tier
- specialist/solid
Funnel control of linear systems under output measurement losses
Thomas Berger, Lukas Lanza
correctmedium confidence- arXiv ID
- 2202.06773
- Category
- Not specified
- Journal tier
- specialist/solid
Gigahertz Sub-Landauer Momentum Computing
Kyle J. Ray, James P. Crutchfield
correctmedium confidence- arXiv ID
- 2202.07122
- Category
- Not specified
- Journal tier
- strong field
A Stochastic Capital-Labour Model with Logistic Growth Function
Houssine Zine, Jaouad Danane, Delfim F. M. Torres
incompletemedium confidence- arXiv ID
- 2202.05348
- Category
- Not specified
- Journal tier
- specialist/solid
Random Expansive Measures
Rafael A. Bilbao, Marlon Oliveira, Eduardo Santana
correcthigh confidence- arXiv ID
- 2202.07051
- Category
- Not specified
- Journal tier
- specialist/solid
Optimal intervention strategies for minimizing total incidence during an epidemic
Tom Britton, Lasse Leskelä
correcthigh confidence- arXiv ID
- 2202.07780
- Category
- Not specified
- Journal tier
- strong field
Data-driven sensor placement with shallow decoder networks
Jan Williams, Olivia Zahn, J. Nathan Kutz
incompletemedium confidence- arXiv ID
- 2202.05330
- Category
- math.DS
- Journal tier
- specialist/solid
Equidistribution for matings of quadratic maps with the modular group
V. Matus de la Parra
correctmedium confidence- arXiv ID
- 2202.06910
- Category
- Not specified
- Journal tier
- specialist/solid
LONG-TERM BEHAVIOUR OF ASYMPTOTICALLY AUTONOMOUS HAMILTONIAN SYSTEMS WITH MULTIPLICATIVE NOISE
Oskar A. Sultanov
correctmedium confidence- arXiv ID
- 2202.07973
- Category
- Not specified
- Journal tier
- specialist/solid
Theoretical Analysis of SIRVVD Model to Provide Insight on the Target Rate of COVID-19/SARS-CoV-2 Vaccination in Japan
Yuto Omae, Makoto Sasaki, Jun Toyotani, Kazuyuki Hara, Hirotaka Takahashi
correctmedium confidence- arXiv ID
- 2202.07468
- Category
- math.DS
- Journal tier
- specialist/solid
LAVAURS ALGORITHM FOR CUBIC SYMMETRIC POLYNOMIALS
Alexander Blokh, Lex G. Oversteegen, Nikita Selinger, Vladlen Timorin, Sandeep Chowdary Vejandla
correctmedium confidence- arXiv ID
- 2202.06734
- Category
- Not specified
- Journal tier
- specialist/solid
Stability Problems in Symbolic Integration
Shaoshi Chen
correctmedium confidence- arXiv ID
- 2202.06305
- Category
- math.DS
- Journal tier
- strong field
DYNAMICS OF SEMIGROUPS OF HÉNON-LIKE MAPS IN C2
Sayani Bera
correctmedium confidence- arXiv ID
- 2202.06522
- Category
- Not specified
- Journal tier
- specialist/solid
Entropy, Ultralimits and the Poisson boundary
Elad Sayag, Yehuda Shalom
correctmedium confidence- arXiv ID
- 2202.06607
- Category
- Not specified
- Journal tier
- specialist/solid
A note on a prey-predator model with constant-effort harvesting
Márcia Lemos-Silva, Delfim F. M. Torres
correctmedium confidence- arXiv ID
- 2202.04991
- Category
- Not specified
- Journal tier
- note/short/other
Nonlinear semigroup approach to Hamilton-Jacobi equations—A toy model
Liang Jin, Jun Yan, Kai Zhao
wronghigh confidenceCounterexample- arXiv ID
- 2202.06525
- Category
- math.DS
- Journal tier
- specialist/solid
On entropy, entropy-like quantities, and applications
José M. Amigó, Karsten Keller, Valentina Unakafova
correctmedium confidence- arXiv ID
- 2202.03108
- Category
- Not specified
- Journal tier
- specialist/solid
Destruction of CPE-Normality Along Deterministic Sequences
Adam Abrams, Tomasz Downarowicz
correctmedium confidence- arXiv ID
- 2202.02662
- Category
- Not specified
- Journal tier
- strong field
VERTEX TO VERTEX GEODESICS ON PLATONIC SOLIDS
Serge Troubetzkoy
correcthigh confidence- arXiv ID
- 2202.04892
- Category
- Not specified
- Journal tier
- specialist/solid
A COMPLEX LIMIT CYCLE NOT INTERSECTING THE REAL PLANE
Ali Taghavi
correctmedium confidence- arXiv ID
- 2202.01982
- Category
- Not specified
- Journal tier
- note/short/other
Global stability of multi-group SAIRS epidemic models
Stefania Ottaviano, Mattia Sensi, Sara Sottile
correctmedium confidence- arXiv ID
- 2202.02993
- Category
- Not specified
- Journal tier
- specialist/solid
Cyclic sums of comparative indices and their applications
Julia Elyseeva
correctmedium confidence- arXiv ID
- 2202.01041
- Category
- math.DS
- Journal tier
- specialist/solid
Enabling Imitation-Based Cooperation in Dynamic Social Networks
Jacques Bara, Paolo Turrini, Giulia Andrighetto
correctmedium confidence- arXiv ID
- 2202.03972
- Category
- Not specified
- Journal tier
- specialist/solid
A short note on the orbit growth of sofic shifts
Azmeer Nordin, Mohd Salmi Md Noorani
correctmedium confidence- arXiv ID
- 2202.03075
- Category
- Not specified
- Journal tier
- specialist/solid
THE ECH CAPACITIES FOR THE ROTATING KEPLER PROBLEM
Amin Mohebbi
correctmedium confidence- arXiv ID
- 2202.04009
- Category
- Not specified
- Journal tier
- specialist/solid
Parabolic Carpets
Jonathan M. Fraser, Natalia Jurga
correctmedium confidence- arXiv ID
- 2202.02066
- Category
- Not specified
- Journal tier
- strong field
Heterogeneous Mixed Populations of Coordinating, Anticoordinating, and Imitating Individuals
Hien Le, Mohaddeseh Rajaee, Pouria Ramazi
correctmedium confidence- arXiv ID
- 2202.04782
- Category
- Not specified
- Journal tier
- strong field
COUNTING PROBLEMS FROM THE VIEWPOINT OF ERGODIC THEORY: FROM PRIMITIVE INTEGER POINTS TO SIMPLE CLOSED CURVES
Francisco Arana–Herrera
correcthigh confidence- arXiv ID
- 2202.04156
- Category
- Not specified
- Journal tier
- specialist/solid
On Neural Differential Equations
Patrick Kidger
correctmedium confidence- arXiv ID
- 2202.02435
- Category
- math.DS
- Journal tier
- specialist/solid
Lochs-type theorems beyond positive entropy
Valérie Berthé, Eda Cesaratto, Pablo Rotondo, Martín D. Safe
correcthigh confidence- arXiv ID
- 2202.04008
- Category
- Not specified
- Journal tier
- specialist/solid