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
- 100 / 778
- Page Size
- 40
Fast reaction limits via Γ-convergence of the Flux Rate Functional
Mark A. Peletier, D. R. Michiel Renger
correctmedium confidence- arXiv ID
- 2009.14546
- Category
- math.DS
- Journal tier
- strong field
Mediating artificial intelligence developments through negative and positive incentives
The Anh Han, Luís Moniz Pereira, Tom Lenaerts, Francisco C. Santos
correctmedium confidence- arXiv ID
- 2010.00403
- Category
- Not specified
- Journal tier
- strong field
Gutierrez-Sotomayor Flows on Singular Surfaces
M.A.J. Zigart, K.A. de Rezende, N.G. Grulha Jr., D.V.S. Lima
correctmedium confidence- arXiv ID
- 2009.14823
- Category
- math.DS
- Journal tier
- specialist/solid
Virasoro Algebra and Asymptotic Symmetries from Fractional Bosonic Strings
Victor Alfonzo Diaz
correctmedium confidence- arXiv ID
- 2009.11316
- Category
- Not specified
- Journal tier
- specialist/solid
A MATHEMATICAL MODEL FOR WHORL FINGERPRINT
Ibrahim Jawarneh, Nesreen Alsharman
correctmedium confidence- arXiv ID
- 2009.12103
- Category
- math.DS
- Journal tier
- note/short/other
A Hopf bifurcation in the planar Navier-Stokes equations
Gianni Arioli, Hans Koch
correctmedium confidence- arXiv ID
- 2009.12762
- Category
- math.DS
- Journal tier
- strong field
Mean index for non-periodic orbits in Hamiltonian systems
Xijun Hu, Li Wu
correctmedium confidence- arXiv ID
- 2009.13256
- Category
- Not specified
- Journal tier
- strong field
Another Look at the Hofer–Zehnder Conjecture
Erman Çineli, Viktor L. Ginzburg, Başak Z. Gürel
correcthigh confidence- arXiv ID
- 2009.13052
- Category
- math.DS
- Journal tier
- strong field
Optimal Modal Truncation
Pierre Vuillemin, Adrien Maillard, Charles Poussot-Vassal
correctmedium confidence- arXiv ID
- 2009.11540
- Category
- Not specified
- Journal tier
- specialist/solid
Multiple timescales and the parametrisation method in geometric singular perturbation theory
Ian Lizarraga, Bob Rink, Martin Wechselberger
correctmedium confidence- arXiv ID
- 2009.10583
- Category
- Not specified
- Journal tier
- specialist/solid
DISTRIBUTION OF ORBITS OF GEOMETRICALLY FINITE GROUPS ACTING ON NULL VECTORS
Nattalie Tamam, Jacqueline M. Warren
correctmedium confidence- arXiv ID
- 2009.11968
- Category
- math.DS
- Journal tier
- strong field
Exponential mixing of geodesic flows for geometrically finite hyperbolic manifolds with cusps
Jialun Li, Wenyu Pan
correctmedium confidence- arXiv ID
- 2009.12886
- Category
- Not specified
- Journal tier
- top field-leading
Normal Forms of C∞ Vector Fields based on the Renormalization Group
Hayato Chiba
correctmedium confidence- arXiv ID
- 2009.12771
- Category
- math.DS
- Journal tier
- specialist/solid
THE MODULI SPACE OF POLYNOMIAL MAPS AND THEIR HOLOMORPHIC INDICES: I. GENERIC PROPERTIES IN THE CASE OF HAVING MULTIPLE FIXED POINTS
Toshi Sugiyama
correctmedium confidence- arXiv ID
- 2009.11815
- Category
- Not specified
- Journal tier
- specialist/solid
COST OF INNER AMENABLE GROUPOIDS
Robin Tucker-Drob, Konrad Wróbel
correctmedium confidence- arXiv ID
- 2009.11108
- Category
- Not specified
- Journal tier
- specialist/solid
Brouwer’s satellite solution redux∗
Martin Lara
correctmedium confidence- arXiv ID
- 2009.10665
- Category
- Not specified
- Journal tier
- specialist/solid
MEASURES MAXIMIZING THE ENTROPY FOR KAN ENDOMORPHISMS
Bárbara Núñez-Madariaga, Sebastián A. Ramírez, Carlos H. Vásquez
correctmedium confidence- arXiv ID
- 2009.11956
- Category
- Not specified
- Journal tier
- specialist/solid
EXISTENCE OF INVARIANT VOLUMES IN NONHOLONOMIC SYSTEMS
William Clark, Anthony Bloch
correctmedium confidence- arXiv ID
- 2009.11387
- Category
- Not specified
- Journal tier
- strong field
MINIMAX PERIODIC ORBITS OF CONVEX LAGRANGIAN SYSTEMS ON COMPLETE RIEMANNIAN MANIFOLDS
Wenmin Gong
correcthigh confidence- arXiv ID
- 2009.11004
- Category
- Not specified
- Journal tier
- specialist/solid
Limit shapes of large skew Young tableaux and a modification of the TASEP process
A. Gordenko
correctmedium confidence- arXiv ID
- 2009.10480
- Category
- Not specified
- Journal tier
- specialist/solid
A Compute-Bound Formulation of Galerkin Model Reduction for Linear Time-Invariant Dynamical Systems
Francesco Rizzi, Eric J. Parish, Patrick J. Blonigan, John Tencer
correctmedium confidence- arXiv ID
- 2009.11742
- Category
- Not specified
- Journal tier
- strong field
Real Forms of Holomorphic Hamiltonian Systems
Philip Arathoon, Marine Fontaine
correctmedium confidence- arXiv ID
- 2009.10417
- Category
- Not specified
- Journal tier
- strong field
Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays
Tamás G. Molnár, Andrew W. Singletary, Gábor Orosz, Aaron D. Ames
correctmedium confidence- arXiv ID
- 2009.10262
- Category
- Not specified
- Journal tier
- strong field
Structural stability and existence of an energy function for 3-dimensional chaotic “sink-source” cascades
M. Barinova, V. Grines, O. Pochinka, B. Yu
correctmedium confidence- arXiv ID
- 2009.10457
- Category
- Not specified
- Journal tier
- specialist/solid
The W. Thurston Algorithm for Real Quadratic Rational Maps
Araceli Bonifant, John Milnor, Scott Sutherland
correctmedium confidence- arXiv ID
- 2009.10147
- Category
- math.DS
- Journal tier
- specialist/solid
Imitation dynamics in population games on community networks
Giacomo Como, Fabio Fagnani, Lorenzo Zino
correcthigh confidence- arXiv ID
- 2009.10020
- Category
- math.DS
- Journal tier
- strong field
CHARMENABILITY OF ARITHMETIC GROUPS OF PRODUCT TYPE
Uri Bader, Rémi Boutonnet, Cyril Houdayer, Jesse Peterson
correctmedium confidence- arXiv ID
- 2009.09952
- Category
- Not specified
- Journal tier
- strong field
Stochastic Time-Periodic Tonelli Lagrangian on Compact Manifold
Liang Chen
correctmedium confidence- arXiv ID
- 2009.09834
- Category
- Not specified
- Journal tier
- specialist/solid
Fourier Nonuniqueness Sets for the Hyperbola and the Perron–Frobenius Operators
Deb Kumar Giri
correctmedium confidence- arXiv ID
- 2009.09516
- Category
- Not specified
- Journal tier
- specialist/solid
SRB AND EQUILIBRIUM MEASURES VIA DIMENSION THEORY
Vaughn Climenhaga
correctmedium confidence- arXiv ID
- 2009.09260
- Category
- Not specified
- Journal tier
- strong field
An equidistribution theorem for birational maps of Pk
Taeyong Ahn
correctmedium confidence- arXiv ID
- 2009.09203
- Category
- Not specified
- Journal tier
- strong field
Beyond Bowen’s Specification Property
Vaughn Climenhaga, Daniel J. Thompson
incompletemedium confidence- arXiv ID
- 2009.09256
- Category
- Not specified
- Journal tier
- strong field
THE SAITO MODULE AND THE MODULI OF A GERM OF CURVE IN (C2, 0)
Yohann Genzmer
correcthigh confidence- arXiv ID
- 2009.09194
- Category
- Not specified
- Journal tier
- specialist/solid
On the Boundary Value Problems of Ψ-Hilfer Fractional Differential Equations
Ashwini D. Mali, Kishor D. Kucche
correctmedium confidence- arXiv ID
- 2009.09175
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics and structural stability of piecewise smooth dynamical systems presenting a double discontinuity
Guilherme Tavares da Silva, Ricardo Miranda Martins
correctmedium confidence- arXiv ID
- 2009.08971
- Category
- Not specified
- Journal tier
- specialist/solid
Automatic Differentiation to Simultaneously Identify Nonlinear Dynamics and Extract Noise Probability Distributions from Data
Kadierdan Kaheman, Steven L. Brunton, J. Nathan Kutz
incompletemedium confidence- arXiv ID
- 2009.08810
- Category
- math.DS
- Journal tier
- specialist/solid
THE RUELLE ZETA FUNCTION AT ZERO FOR NEARLY HYPERBOLIC 3-MANIFOLDS
Mihajlo Cekić, Semyon Dyatlov, Benjamin Küster, Gabriel P. Paternain
correctmedium confidence- arXiv ID
- 2009.08558
- Category
- Not specified
- Journal tier
- strong field
Neuronal Oscillations on Evolving Networks: Dynamics, Damage, Degradation, Decline, Dementia, and Death
Alain Goriely, Ellen Kuhl, Christian Bick
incompletehigh confidence- arXiv ID
- 2009.08689
- Category
- Not specified
- Journal tier
- strong field
Neural CDEs for Long Time Series via the Log-ODE Method
James Morrill, Patrick Kidger, Cristopher Salvi, James Foster, Terry Lyons
correctmedium confidence- arXiv ID
- 2009.08295
- Category
- Not specified
- Journal tier
- specialist/solid
Free minimal actions of solvable Lie groups which are not affable
Fernando Alcalde Cuesta, Álvaro Lozano Rojo, Matilde Martínez
correctmedium confidence- arXiv ID
- 2009.07931
- Category
- math.DS
- Journal tier
- strong field