arXiv audit explorer
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
- 44 / 778
- Page Size
- 40
Foliated Plateau problems and asymptotic counting of surface subgroups
Sébastien Alvarez, Ben Lowe, Graham Smith
correctmedium confidence- arXiv ID
- 2212.13604
- Category
- math.DS
- Journal tier
- strong field
MULTIFRACTAL ANALYSIS OF GENERALIZED THUE-MORSE TRIGONOMETRIC POLYNOMIALS
Aihua Fan, Jörg Schmeling, Weixiao Shen
correctmedium confidence- arXiv ID
- math.DS/2212.13234
- Category
- math.DS
- Journal tier
- Not assigned
ON THE NUMBER OF ISOLATED INVARIANT TORI FOR 3D POLYNOMIAL VECTOR FIELDS
Douglas D. Novaes, Pedro C.C.R. Pereira
correcthigh confidence- arXiv ID
- 2212.12006
- Category
- Not specified
- Journal tier
- strong field
ON INVARIANT MEASURES OF "SATELLITE" INFINITELY RENORMALIZABLE QUADRATIC POLYNOMIALS
Genadi Levin, Feliks Przytycki
correcthigh confidence- arXiv ID
- 2212.13070
- Category
- math.DS
- Journal tier
- strong field
A Parameter ASIP for the Quadratic Family
Magnus Aspenberg, Viviane Baladi, Tomas Persson
correctmedium confidence- arXiv ID
- 2212.12202
- Category
- Not specified
- Journal tier
- specialist/solid
On the Stability of Smooth Branches of Periodic Solutions for Higher Order Perturbed Differential Equations
Murilo R. Cândido, Douglas D. Novaes
correcthigh confidence- arXiv ID
- 2212.11812
- Category
- Not specified
- Journal tier
- strong field
Euler’s Equation via Lagrangian Dynamics with Generalized Coordinates
Dennis S. Bernstein, Ankit Goel, Omran Kouba
incompletemedium confidence- arXiv ID
- 2212.11789
- Category
- math.DS
- Journal tier
- note/short/other
Categorical dynamics on stable module categories
Lucy Yang
correctmedium confidence- arXiv ID
- 2212.09964
- Category
- math.DS
- Journal tier
- specialist/solid
Pushed fronts in a Fisher-KPP-Burgers system using geometric desingularization
Matt Holzer, Matthew Kearney, Samuel Molseed, Katie Tuttle, David Wigginton
correctmedium confidence- arXiv ID
- 2212.06724
- Category
- math.DS
- Journal tier
- specialist/solid
Distributed Prediction-Correction Algorithms for Time-Varying Nash Equilibrium Tracking
Ziqin Chen, Ji Ma, Peng Yi, Yiguang Hong
correctmedium confidence- arXiv ID
- 2212.07014
- Category
- Not specified
- Journal tier
- specialist/solid
Port-Hamiltonian Discontinuous Galerkin Finite Element Methods
N. Kumar, J.J.W. van der Vegt, H.J. Zwart
correctmedium confidence- arXiv ID
- 2212.07041
- Category
- Not specified
- Journal tier
- specialist/solid
A DICHOTOMY FOR THE DIMENSION OF SOLENOIDAL ATTRACTORS ON HIGH DIMENSIONAL SPACE
Haojie Ren
correcthigh confidence- arXiv ID
- 2212.10277
- Category
- Not specified
- Journal tier
- strong field
MONOTONICITY OF THE PERIOD MAP FOR THE EQUATION −ϕ'' + ϕ − ϕ^k = 0.
Giovana Alves, Fábio Natali
correcthigh confidence- arXiv ID
- 2212.07561
- Category
- Not specified
- Journal tier
- specialist/solid
Topological Entropy of Generalized Bunimovisch Stadium Billiards
Michal Misiurewicz, Hong-Kun Zhang
correcthigh confidence- arXiv ID
- 2212.07491
- Category
- Not specified
- Journal tier
- specialist/solid
OSCILLATION AND JUMP INEQUALITIES FOR THE POLYNOMIAL ERGODIC AVERAGES ALONG MULTI-DIMENSIONAL SUBSETS OF PRIMES
Nathan Mehlhop, Wojciech Słomian
correctmedium confidence- arXiv ID
- 2212.09874
- Category
- Not specified
- Journal tier
- strong field
Weakly weighted generalised quasi-metric spaces and semilattices
Ilaria Castellano, Anna Giordano Bruno, Nicolò Zava
correctmedium confidence- arXiv ID
- 2212.08424
- Category
- Not specified
- Journal tier
- strong field
DEGREE LOWERING FOR ERGODIC AVERAGES ALONG ARITHMETIC PROGRESSIONS
Nikos Frantzikinakis, Borys Kuca
correcthigh confidence- arXiv ID
- 2212.09819
- Category
- Not specified
- Journal tier
- strong field
Measure equivalence embeddings of free groups and free group factors
Tey Berendschot, Stefaan Vaes
correctmedium confidence- arXiv ID
- 2212.11704
- Category
- math.DS
- Journal tier
- strong field
PATCH FREQUENCIES IN RHOMBIC PENROSE TILINGS
Jan Mazáč
correcthigh confidence- arXiv ID
- 2212.09406
- Category
- Not specified
- Journal tier
- note/short/other
EFFECTIVE EQUIDISTRIBUTION OF PRIMITIVE RATIONAL POINTS ON EXPANDING HOROSPHERES
Daniel El-Baz, Min Lee, Andreas Strömbergsson
correcthigh confidence- arXiv ID
- 2212.07408
- Category
- Not specified
- Journal tier
- strong field
Covariant Cubic Interacting Vertices for Massless and Massive Integer Higher Spin Fields
I.L. Buchbinder, A.A. Reshetnyak
correctmedium confidence- arXiv ID
- 2212.07097
- Category
- Not specified
- Journal tier
- specialist/solid
Semi-continuity of Oseledets subspaces and Pesin sets with exponentially small tails
Luchezar Stoyanov
correctmedium confidence- arXiv ID
- 2212.10237
- Category
- Not specified
- Journal tier
- strong field
Evaluating vaccine allocation strategies using simulation-assisted causal modelling
Armin Kekić, Jonas Dehning, Luigi Gresele, Julius von Kügelgen, Viola Priesemann, Bernhard Schölkopf
correctmedium confidence- arXiv ID
- 2212.08498
- Category
- Not specified
- Journal tier
- strong field
Ramsey Theory and Geometry of Closed Loops
Nir Shvalb, Mark Frenkel, Shraga Shoval, Edward Bormashenko
wrongmedium confidence- arXiv ID
- 2212.10451
- Category
- math.DS
- Journal tier
- note/short/other
Multimodal Teacher Forcing for Reconstructing Nonlinear Dynamical Systems
Manuel Brenner, Georgia Koppe, Daniel Durstewitz
correctmedium confidence- arXiv ID
- 2212.07892
- Category
- Not specified
- Journal tier
- strong field
A Metric Graph for Which the Number of Possible Endpoints of a Random Walk Grows Minimally
V. L. Chernyshev, A. A. Tolchennikov
correcthigh confidence- arXiv ID
- 2212.06941
- Category
- Not specified
- Journal tier
- specialist/solid
Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
Abdelhafid Zenati, Nabil Aouf, David Sanchez de la Llana, Samir Bennani
incompletemedium confidence- arXiv ID
- 2212.06532
- Category
- Not specified
- Journal tier
- specialist/solid
Oscillatory Motions in the Restricted 3-Body Problem: A Functional Analytic Approach
Jaime Paradela, Susanna Terracini
uncertainhigh confidence- arXiv ID
- 2212.05684
- Category
- math.DS
- Journal tier
- strong field
Avila’s Acceleration via Zeros of Determinants, and Applications to Schrödinger Cocycles
Rui Han, Wilhelm Schlag
correcthigh confidence- arXiv ID
- 2212.05988
- Category
- Not specified
- Journal tier
- strong field
Existence of an attractor and Horseshoe in multidimensional Hénon map
D. A. Grechko, V. N. Belykh, N. V. Barabash
incompletemedium confidence- arXiv ID
- 2212.06672
- Category
- math.DS
- Journal tier
- specialist/solid
AN INVESTIGATION OF VIRUS DYNAMICS ON STARLIKE GRAPHS
Akihiro Takigawa, Steven J. Miller
wrongmedium confidenceCounterexample- arXiv ID
- 2212.05733
- Category
- math.DS
- Journal tier
- note/short/other
Thirty years after: insights on the cultural origins of Andrej N. Kolmogorov’s 1954 invariant tori theorem from a short conversation with Vladimir I. Arnold
Fascitiello Isabella
correctmedium confidence- arXiv ID
- 2212.06030
- Category
- Not specified
- Journal tier
- specialist/solid
Invariant cones for strange attractors of Lozi, Hénon and Belykh type maps
D. A. Grechko, V. N. Belykh, N. V. Barabash
wronghigh confidenceCounterexample- arXiv ID
- 2212.05467
- Category
- math.DS
- Journal tier
- specialist/solid
STABILITY ANALYSIS OF A STOCHASTIC PORT-HAMILTONIAN CAR-FOLLOWING MODEL
Barbara Rüdiger, Antoine Tordeux, Baris Ugurcan
correctmedium confidence- arXiv ID
- 2212.05139
- Category
- Not specified
- Journal tier
- specialist/solid
A GENERAL FRAMEWORK FOR THE RIGOROUS COMPUTATION OF INVARIANT DENSITIES AND THE COARSE-FINE STRATEGY
S. Galatolo, M. Monge, I. Nisoli, F. Poloni
incompletemedium confidence- arXiv ID
- 2212.05017
- Category
- Not specified
- Journal tier
- specialist/solid
GLOBAL EXISTENCE FOR COUPLED REACTION DIFFUSION EQUATIONS WITH A BALANCE LAW AND NONLINEARITIES WITH NON CONSTANT SIGN.
Said Kouachi
correcthigh confidence- arXiv ID
- 2212.05623
- Category
- Not specified
- Journal tier
- specialist/solid
ON STRONG SHIFT EQUIVALENCE FOR ROW-FINITE GRAPHS AND C*-ALGEBRAS
Kevin Aguyar Brix, Pete Gautam
correctmedium confidence- arXiv ID
- 2212.05481
- Category
- Not specified
- Journal tier
- specialist/solid
On the correspondence between symmetries of two-dimensional autonomous dynamical systems and their phase plane realisations
Fredrik Ohlsson, Johannes G. Borgqvist, Ruth E. Baker
correcthigh confidence- arXiv ID
- 2212.04847
- Category
- Not specified
- Journal tier
- specialist/solid
An Effective Sign Switching Dark Energy: Lotka-Volterra Model of Two Interacting Fluids
Yen Chin Ong
correctmedium confidence- arXiv ID
- 2212.04429
- Category
- math.DS
- Journal tier
- specialist/solid
On the convergence of sequences in the space of n-iterated function systems with applications
Praveen M, Sunil Mathew
correcthigh confidence- arXiv ID
- 2212.04332
- Category
- math.DS
- Journal tier
- specialist/solid