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
- 63 / 778
- Page Size
- 40
On Linear Chaos in the Space of Convergent Sequences
Marat V. Markin, Gabriel Martinez Lazaro, Edward S. Sichel
correcthigh confidence- arXiv ID
- 2203.02032
- Category
- Not specified
- Journal tier
- specialist/solid
On realizing differential-algebraic equations by rational dynamical systems
Dmitrii Pavlov, Gleb Pogudin
correctmedium confidence- arXiv ID
- 2203.03555
- Category
- math.DS
- Journal tier
- strong field
The starting dates of COVID-19 multiple waves
Paulo Roberto de Lima Gianfelice, Ricardo Sovek Oyarzabal, Americo Cunha Jr, Jose Mario Vicensi Grzybowski, Fernando da Conceição Batista, Elbert E. N. Macau
correctmedium confidence- arXiv ID
- 2203.02011
- Category
- Not specified
- Journal tier
- specialist/solid
TAMENESS AND ROSENTHAL TYPE LOCALLY CONVEX SPACES
Matan Komisarchik, Michael Megrelishvili
correctmedium confidence- arXiv ID
- 2203.02368
- Category
- Not specified
- Journal tier
- strong field
TAIL VARIATIONAL PRINCIPLE AND ASYMPTOTIC h-EXPANSIVENESS FOR AMENABLE GROUP ACTIONS
Tomasz Downarowicz, Guohua Zhang
correctmedium confidence- arXiv ID
- 2203.02897
- Category
- math.DS
- Journal tier
- strong field
A posteriori validation of generalized polynomial chaos expansions
Maxime Breden
correctmedium confidence- arXiv ID
- 2203.02404
- Category
- Not specified
- Journal tier
- specialist/solid
Recurrence properties for linear dynamical systems: an approach via invariant measures
Sophie Grivaux, Antoni López-Martínez
correcthigh confidence- arXiv ID
- 2203.03027
- Category
- Not specified
- Journal tier
- specialist/solid
Averaging Principle for Stochastic Complex Ginzburg–Landau Equations
Mengyu Cheng, Zhenxin Liu, Michael Röckner
correctmedium confidence- arXiv ID
- 2203.02405
- Category
- Not specified
- Journal tier
- strong field
Heat transport in a hierarchy of reduced-order convection models
Matthew L. Olson, Charles R. Doering
incompletemedium confidence- arXiv ID
- 2203.02067
- Category
- Not specified
- Journal tier
- specialist/solid
Trajectory convergence from coordinate-wise decrease of general convex energy functions
Julien M. Hendrickx, Balázs Gerencsér
correctmedium confidence- arXiv ID
- 2203.03316
- Category
- Not specified
- Journal tier
- strong field
FINITE ELEMENT APPROXIMATION OF INVARIANT MANIFOLDS BY THE PARAMETERIZATION METHOD
Jorge Gonzalez, J.D. Mireles James, Necibe Tuncer
correctmedium confidence- arXiv ID
- 2203.03115
- Category
- Not specified
- Journal tier
- specialist/solid
Converging approximations of attractors via almost Lyapunov functions and semidefinite programming
Corbinian Schlosser
correcthigh confidence- arXiv ID
- 2203.02806
- Category
- math.DS
- Journal tier
- specialist/solid
Entrée-sortie dans le halo d’une courbe lente semi-stable
C. Lobry
correctmedium confidence- arXiv ID
- 2203.04712
- Category
- math.DS
- Journal tier
- specialist/solid
Minimal sets on continua with a dense free interval
Michaela Mihoková
correcthigh confidence- arXiv ID
- 2203.01423
- Category
- Not specified
- Journal tier
- specialist/solid
Thermodynamics-informed Graph Neural Networks
Quercus Hernández, Alberto Badías, Francisco Chinesta, Elías Cueto
correctmedium confidence- arXiv ID
- 2203.01874
- Category
- math.DS
- Journal tier
- specialist/solid
Shortest Minkowski Billiard Trajectories on Convex Bodies
Stefan Krupp, Daniel Rudolf
correctmedium confidence- arXiv ID
- 2203.01802
- Category
- Not specified
- Journal tier
- strong field
Mean-field nature of synchronization stability in networks with multiple interaction layers
Charo I. del Genio, Sergio Faci-Lázaro, Jesús Gómez-Gardeñes, Stefano Boccaletti
incompletemedium confidence- arXiv ID
- 2203.01673
- Category
- Not specified
- Journal tier
- strong field
MEASURABLE TILINGS BY ABELIAN GROUP ACTIONS
Jan Grebík, Rachel Greenfeld, Václav Rozhoň, Terence Tao
correctmedium confidence- arXiv ID
- 2203.01511
- Category
- Not specified
- Journal tier
- top field-leading
Back to Boundaries in Billiards
Leonid Bunimovich, Yaofeng Su
correcthigh confidence- arXiv ID
- 2203.00785
- Category
- Not specified
- Journal tier
- strong field
BISTABILITY, BIFURCATIONS AND CHAOS IN THE MACKEY-GLASS EQUATION
Valentin Duruisseaux, Antony R. Humphries
uncertainmedium confidence- arXiv ID
- 2203.00181
- Category
- math.DS
- Journal tier
- strong field
Population games on dynamic community networks
Alain Govaert, Lorenzo Zino, Emma Tegling
incompletemedium confidence- arXiv ID
- 2203.00371
- Category
- Not specified
- Journal tier
- note/short/other
Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
Kevin Church, Elena Queirolo
correctmedium confidence- arXiv ID
- 2202.13326
- Category
- math.DS
- Journal tier
- strong field
Periodic geodesics for contact sub-Riemannian 3D manifolds
Yves Colin de Verdière
correcthigh confidence- arXiv ID
- 2202.13743
- Category
- Not specified
- Journal tier
- specialist/solid
A natural class of cellular automata containing fractional multiplication automata, Rule 30, and others
Johan Kopra
correcthigh confidence- arXiv ID
- 2202.13809
- Category
- Not specified
- Journal tier
- specialist/solid
Mean Field Kuramoto Models on Graphs
Wuchen Li, Hansol Park
correctmedium confidence- arXiv ID
- 2203.00142
- Category
- Not specified
- Journal tier
- specialist/solid
Global martingale and pathwise solutions and infinite regularity of invariant measures for a stochastic modified Swift-Hohenberg equation
Jintao Wang, Xiaoqian Zhang, Chunqiu Li
correctmedium confidence- arXiv ID
- 2202.13329
- Category
- Not specified
- Journal tier
- specialist/solid
Induced Dynamics of Non-Autonomous Dynamical Systems
Hua Shao
correcthigh confidence- arXiv ID
- 2202.13345
- Category
- Not specified
- Journal tier
- specialist/solid
Regions without invariant tori of given class for the planar circular restricted three-body problem
N. Kallinikos, R. S. MacKay, T. Syndercombe
correctmedium confidence- arXiv ID
- 2202.12691
- Category
- math.DS
- Journal tier
- specialist/solid
SMOOTH LINEARIZATION OF NONAUTONOMOUS COUPLED SYSTEMS
Lucas Backes, Davor Dragičević
correctmedium confidence- arXiv ID
- 2202.12367
- Category
- math.DS
- Journal tier
- specialist/solid
The Parabolic and Near-Parabolic Renormalization for a Class of Polynomial Maps and Its Applications
Xu Zhang
correctmedium confidence- arXiv ID
- 2202.12372
- Category
- math.DS
- Journal tier
- strong field
CYCLICITY OF RIGID CENTERS ON CENTER MANIFOLDS OF THREE-DIMENSIONAL SYSTEMS
Claudio Pessoa, Lucas Queiroz, Jarne Ribeiro
correctmedium confidence- arXiv ID
- 2202.12155
- Category
- Not specified
- Journal tier
- strong field
Scaling in Stochastic Ghosts
J. Tomás Lázaro, Tomàs Alarcón, Carlos P. Garay, Josep Sardanyès
correctmedium confidence- arXiv ID
- 2202.12254
- Category
- Not specified
- Journal tier
- specialist/solid
S-integral quadratic forms and homogeneous dynamics
Irving Calderón
correctmedium confidence- arXiv ID
- 2202.10257
- Category
- Not specified
- Journal tier
- strong field
Convergence of Oja’s Online Principal Component Flow
Jian-Guo Liu, Zibu Liu
correcthigh confidence- arXiv ID
- 2202.11308
- Category
- Not specified
- Journal tier
- strong field
REFINEMENTS OF FRANKS’ THEOREM AND APPLICATIONS IN REEB DYNAMICS
Hui Liu, Jian Wang, Jingzhi Yan
correctmedium confidence- arXiv ID
- 2202.11517
- Category
- math.DS
- Journal tier
- specialist/solid
METRICAL THEOREMS FOR UNCONVENTIONAL HEIGHT FUNCTIONS
Mumtaz Hussain
correcthigh confidence- arXiv ID
- 2202.11843
- Category
- Not specified
- Journal tier
- specialist/solid
Fluctuations of the Process of Moduli for the Ginibre and Hyperbolic Ensembles
Alexander I. Bufetov, David García-Zelada, Zhaofeng Lin
correctmedium confidence- arXiv ID
- 2202.11687
- Category
- math.DS
- Journal tier
- strong field
Lyapunov stable chain recurrence classes for singular flows
Shaobo Gan, Jiagang Yang, Rusong Zheng
correctmedium confidence- arXiv ID
- 2202.09742
- Category
- math.DS
- Journal tier
- strong field
The Adaptive Spectral Koopman Method for Dynamical Systems
Bian Li, Yi-An Ma, J. Nathan Kutz, Xiu Yang
correctmedium confidence- arXiv ID
- 2202.09501
- Category
- math.DS
- Journal tier
- specialist/solid
Homeostatic Mechanisms in Biological Systems
Pedro P. A. Cardoso de Andrade, João L. O. Madeira, Fernando Antoneli
correctmedium confidence- arXiv ID
- 2202.11218
- Category
- Not specified
- Journal tier
- specialist/solid