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
- 25 / 778
- Page Size
- 40
STABILITY OF A DEGENERATE THERMOELASTIC EQUATION
Kaïs Ammari, Fathi Hassine, Luc Robbiano
correctmedium confidence- arXiv ID
- 2410.06732
- Category
- Not specified
- Journal tier
- specialist/solid
BIFURCATIONS FOR FAMILIES OF AHLFORS ISLAND MAPS
Matthieu Astorg, Anna Miriam Benini, Núria Fagella
correctmedium confidence- arXiv ID
- 2410.04180
- Category
- Not specified
- Journal tier
- strong field
Localized patterns in the Gierer Meinhardt model on a cycle graph
Theodore Kolokolnikov, Juncheng Wei, Shuangquan Xie
correctmedium confidence- arXiv ID
- 2410.05692
- Category
- math.DS
- Journal tier
- strong field
Innovative Dynamics: Utilizing Perelman’s Entropy and Ricci Flow for Settler Position Models on Manifolds
Zeraoulia Rafik, Sobhan Sobhan Allah
incompletemedium confidence- arXiv ID
- 2410.02457
- Category
- Not specified
- Journal tier
- note/short/other
Subexponential growth and C1 actions on one-manifolds
Sang-Hyun Kim, Nicolás Matte Bon, Mikael de la Salle, Michele Triestino
correcthigh confidence- arXiv ID
- 2410.02614
- Category
- Not specified
- Journal tier
- strong field
A TRAINING-FREE CONDITIONAL DIFFUSION MODEL FOR LEARNING STOCHASTIC DYNAMICAL SYSTEMS
Yanfang Liu, Yuan Chen, Dongbin Xiu, Guannan Zhang
incompletemedium confidence- arXiv ID
- 2410.03108
- Category
- Not specified
- Journal tier
- specialist/solid
GAUSSIAN PROCESSES SIMPLIFY DIFFERENTIAL EQUATIONS
Jonghyeon Lee, Boumediene Hamzi, Yannis Kevrekidis, Houman Owhadi
incompletemedium confidence- arXiv ID
- 2410.03003
- Category
- Not specified
- Journal tier
- strong field
On the Melnikov method for fractional-order systems
Hang Li, Yongjun Shen, Jian Li, Jinlu Dong, Guangyang Hong
correctmedium confidence- arXiv ID
- 2410.06122
- Category
- Not specified
- Journal tier
- specialist/solid
Data-informed modeling of the formation, persistence, and evolution of social norms and conventions
Mengbin Ye, Lorenzo Zino
correctmedium confidence- arXiv ID
- 2410.06663
- Category
- Not specified
- Journal tier
- specialist/solid
FLOP BETWEEN ALGEBRAICALLY INTEGRABLE FOLIATIONS ON POTENTIALLY KLT VARIETIES
Yifei Chen, Jihao Liu, Yanze Wang
correcthigh confidence- arXiv ID
- 2410.05764
- Category
- Not specified
- Journal tier
- strong field
SENSITIVITIES IN COMPLEX-TIME FLOWS: PHASE TRANSITIONS, HAMILTONIAN STRUCTURE AND DIFFERENTIAL GEOMETRY
Dirk Lebiedz, Johannes Poppe
correctmedium confidence- arXiv ID
- 2410.06018
- Category
- Not specified
- Journal tier
- specialist/solid
HALO: A High-Precision Orbit Propagation Tool for Mission Design in the Cis-Lunar Domain
Quentin Granier, Yang Yang, Andrew Dempster
correctmedium confidence- arXiv ID
- 2410.03372
- Category
- Not specified
- Journal tier
- specialist/solid
Coalescing Force of Group Pressure: Consensus in Nonlinear Opinion Dynamics
Iryna Zabarianska, Anton V. Proskurnikov
correctmedium confidence- arXiv ID
- 2410.04301
- Category
- Not specified
- Journal tier
- strong field
Impact of topography and combustion functions on fire front propagation in an advection-diffusion-reaction model for wildfires
Luca Nieding, Cordula Reisch, Dirk Langemann, Adrián Navas-Montilla
incompletemedium confidence- arXiv ID
- 2410.02837
- Category
- math.DS
- Journal tier
- specialist/solid
Parametric Taylor series based latent dynamics identification neural networks
Xinlei Lin, Dunhui Xiao
incompletemedium confidence- arXiv ID
- 2410.04193
- Category
- Not specified
- Journal tier
- strong field
Finite and Infinite Degree Thurston Maps with Extra Marked Points
Nikolai Prochorov
correctmedium confidence- arXiv ID
- 2410.06206
- Category
- math.DS
- Journal tier
- strong field
What is the graph of a dynamical system?
Chirag Adwani, Roberto De Leo, James A. Yorke
incompletemedium confidence- arXiv ID
- 2410.05520
- Category
- Not specified
- Journal tier
- specialist/solid
Invariant graphs and dynamics of a family of continuous piecewise linear planar maps
Anna Cima, Armengol Gasull, Víctor Mañosa, Francesc Mañosas
correctmedium confidence- arXiv ID
- 2410.01052
- Category
- Not specified
- Journal tier
- specialist/solid
INTERIOR OF CERTAIN SUMS AND CONTINUOUS IMAGES OF VERY THIN CANTOR SETS
Yeonwook Jung, Chun-Kit Lai
wronghigh confidenceCounterexample- arXiv ID
- 2410.01267
- Category
- math.DS
- Journal tier
- specialist/solid
Unitary representations of the isometry groups of Urysohn spaces
Rémi Barritault, Colin Jahel, Matthieu Joseph
correctmedium confidence- arXiv ID
- 2410.01725
- Category
- math.DS
- Journal tier
- strong field
A simple geometric construction of an ODE with undecidable blow-ups
Manh Khang Huynh
correcthigh confidence- arXiv ID
- 2410.01455
- Category
- Not specified
- Journal tier
- specialist/solid
On the Linear Complexity Associated with a Family of Multidimentional Continued Fraction Algorithms
Thomas Garrity, Otto Vaughn Osterman
correctmedium confidence- arXiv ID
- 2410.02032
- Category
- Not specified
- Journal tier
- specialist/solid
Fast-and-flexible decision-making with modulatory interactions
Rodrigo Moreno-Morton, Anastasia Bizyaeva, Naomi Ehrich Leonard, Alessio Franci
correctmedium confidence- arXiv ID
- 2410.00798
- Category
- Not specified
- Journal tier
- strong field
Measurements and System Identification for the Characterization of Smooth Muscle Cell Dynamics
Dilan Öztürk, Pepijn Saraber, Kevin Bielawski, Alessandro Giudici, Leon Schurgers, Koen D. Reesink, Maarten Schoukens
incompletemedium confidence- arXiv ID
- 2409.16825
- Category
- Not specified
- Journal tier
- specialist/solid
An Extended Admittance Modeling Method with Synchronization Node for Stability Assessment of Converters-Interlinked System
Haoxiang Zong, Chen Zhang, Marta Molinas
correctmedium confidence- arXiv ID
- 2410.00619
- Category
- Not specified
- Journal tier
- strong field
EXPLICIT CONSTRUCTION OF RECURRENT NEURAL NETWORKS EFFECTIVELY APPROXIMATING DISCRETE DYNAMICAL SYSTEMS
Chikara Nakayama, Tsuyoshi Yoneda
correcthigh confidence- arXiv ID
- 2409.19278
- Category
- Not specified
- Journal tier
- specialist/solid
Regularity properties of the α-Wilton functions
Ayreena Bakhtawar, Carlo Carminati, Seul Bee Lee
correctmedium confidence- arXiv ID
- 2409.20401
- Category
- Not specified
- Journal tier
- strong field
Partially Hyperbolic Lattice Actions on 2-Step Nilmanifolds
Homin Lee, Sven Sandfeldt
correcthigh confidence- arXiv ID
- 2410.00784
- Category
- Not specified
- Journal tier
- strong field
Extravagance, irrationality and Diophantine approximation
Jon. Aaronson, Hitoshi Nakada
correctmedium confidence- arXiv ID
- 2409.19393
- Category
- math.DS
- Journal tier
- strong field
Sub-actions for geodesic flows on locally CAT(-1) spaces
David Constantine, Elvin Shrestha, Yandi Wu
correcthigh confidence- arXiv ID
- 2410.00642
- Category
- Not specified
- Journal tier
- specialist/solid
Exponential equidistribution of periodic points for endomorphisms of P^k
Henry De Thélin, Tien-Cuong Dinh, Lucas Kaufmann
correctmedium confidence- arXiv ID
- 2409.19787
- Category
- math.DS
- Journal tier
- top field-leading
Marked length spectrum rigidity for Anosov magnetic surfaces
Valerio Assenza, Jacopo De Simoi, James Marshall Reber, Ivo Terek
correctmedium confidence- arXiv ID
- 2409.20545
- Category
- Not specified
- Journal tier
- strong field
COUNTING PROBLEM FOR SOME RANDOM CONFORMAL ITERATED FUNCTION SYSTEMS
Hamid Naderiyan
incompletehigh confidence- arXiv ID
- 2409.19263
- Category
- math.DS
- Journal tier
- specialist/solid
Solitaire of Independence
Ville Salo, Juliette Schabanel
correcthigh confidence- arXiv ID
- 2409.19360
- Category
- Not specified
- Journal tier
- strong field
NEW RESULTS ON TILINGS VIA CUP PRODUCTS AND CHERN CHARACTERS ON TILING SPACES
Jianlong Liu, Jonathan Rosenberg, Rodrigo Treviño
correctmedium confidence- arXiv ID
- 2409.18789
- Category
- Not specified
- Journal tier
- strong field
On System Operators with Variation Bounding Properties
Chaim Roth, Christian Grussler
correcthigh confidence- arXiv ID
- 2409.20275
- Category
- Not specified
- Journal tier
- strong field
Lie–Hamilton systems associated with the symplectic Lie algebra sp(6,R)
Oscar Carballal, Rutwig Campoamor-Stursberg, Francisco J. Herranz
incompletemedium confidence- arXiv ID
- 2409.18489
- Category
- Not specified
- Journal tier
- specialist/solid
On the Number of Quadratic Polynomials with a Given Portrait
Ho Chung Siu
correctmedium confidence- arXiv ID
- 2409.18074
- Category
- Not specified
- Journal tier
- strong field
SMOOTHNESS OF LINEARIZATION BY MIXING PARAMETERS OF DICHOTOMY, BOUNDED GROWTH AND PERTURBATION
Álvaro Castañeda, Ignacio Huerta, Gonzalo Robledo
correctmedium confidence- arXiv ID
- 2409.19197
- Category
- Not specified
- Journal tier
- strong field
Distributed Optimization via Energy Conservation Laws in Dilated Coordinates
Mayank Baranwal, Kushal Chakrabarti
correcthigh confidence- arXiv ID
- 2409.19279
- Category
- Not specified
- Journal tier
- strong field