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
- 82 / 778
- Page Size
- 40
Stochastic turbulence for Burgers equation driven by cylindrical Lévy process
Shenglan Yuan, Dirk Blömker, Jinqiao Duan
correctmedium confidence- arXiv ID
- 2106.03434
- Category
- Not specified
- Journal tier
- specialist/solid
Robust Transitivity and Domination for Endomorphisms Displaying Critical Points
C. Lizana, R. Potrie, E. R. Pujals, W. Ranter
correcthigh confidence- arXiv ID
- 2106.03291
- Category
- Not specified
- Journal tier
- strong field
On the quenched functional CLT for stationary random fields under projective criteria
Lucas Reding, Na Zhang
correctmedium confidence- arXiv ID
- 2106.01672
- Category
- math.DS
- Journal tier
- specialist/solid
Topology of spaces of smooth functions and gradient-like flows with prescribed singularities on surfaces
Elena A. Kudryavtseva
correcthigh confidence- arXiv ID
- 2106.03017
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics of a hybrid cubic vibro-impact oscillator and nonlinear energy sink
Maor Farid
correctmedium confidence- arXiv ID
- 2106.02123
- Category
- math.DS
- Journal tier
- specialist/solid
Fixed-time Cooperative Guidance Law for Multiple Missiles in Simultaneous Attacks
Hang Yu, Keren Dai, Haojie Li, Yao Zou, Shaojie Ma, He Zhang
correctmedium confidence- arXiv ID
- 2106.02772
- Category
- math.DS
- Journal tier
- specialist/solid
Parametric Geometry of Numbers with General Flow
Omri Nisan Solan
correctmedium confidence- arXiv ID
- 2106.01707
- Category
- Not specified
- Journal tier
- strong field
Disjoint Frequently Hypercyclic Pseudo-Shifts
Özgür Martin, Quentin Menet, Yunied Puig
correctmedium confidence- arXiv ID
- 2106.01409
- Category
- math.DS
- Journal tier
- strong field
EFFICIENT COMPUTATION OF STATISTICAL PROPERTIES OF INTERMITTENT DYNAMICS
Caroline L. Wormell
correctmedium confidence- arXiv ID
- 2106.01498
- Category
- Not specified
- Journal tier
- strong field
Optimizing Oblique Projections for Nonlinear Systems using Trajectories
Samuel E. Otto, Alberto Padovan, Clarence W. Rowley
correctmedium confidence- arXiv ID
- 2106.01211
- Category
- math.DS
- Journal tier
- strong field
Transition criteria and phase space structures in a three degree of freedom system with dissipation
Jun Zhong, Shane D. Ross
correctmedium confidence- arXiv ID
- 2106.01339
- Category
- Not specified
- Journal tier
- strong field
A General View on Double Limits in Differential Equations
Christian Kuehn, Nils Berglund, Christian Bick, Maximilian Engel, Tobias Hurth, Annalisa Iuorio, Cinzia Soresina
correctmedium confidence- arXiv ID
- 2106.01160
- Category
- math.DS
- Journal tier
- strong field
Koopman spectral analysis of elementary cellular automata
Keisuke Taga, Yuzuru Kato, Yoshinobu Kawahara, Yoshihiro Yamazaki, Hiroya Nakao
correcthigh confidence- arXiv ID
- 2106.01118
- Category
- math.DS
- Journal tier
- strong field
A THEORY FOR LOCUS ELLIPTICITY OVER PONCELET 3-PERIODICS
Mark Helman, Dominique Laurain, Dan Reznik, Ronaldo Garcia
correctmedium confidence- arXiv ID
- 2106.00715
- Category
- math.DS
- Journal tier
- strong field
Emergence and Algorithmic Information Dynamics of Systems and Observers
Felipe S. Abrahão, Hector Zenil
correctmedium confidence- arXiv ID
- 2105.14707
- Category
- Not specified
- Journal tier
- specialist/solid
Slow localized patterns in singularly perturbed 2-component reaction-diffusion equations
Arjen Doelman
correctmedium confidence- arXiv ID
- 2105.12957
- Category
- Not specified
- Journal tier
- strong field
Spectral stability, spectral flow and circular relative equilibria for the Newtonian n-body problem
Luca Asselle, Alessandro Portaluri, Li Wu
correctmedium confidence- arXiv ID
- 2105.15009
- Category
- Not specified
- Journal tier
- strong field
Regularisation of isolated codimension-2 discontinuity sets
Noah Cheesman, Kristian Uldall Kristiansen, S. J. Hogan
correctmedium confidence- arXiv ID
- 2105.12622
- Category
- Not specified
- Journal tier
- specialist/solid
A new radial, natural, higher order intermediary of the main problem four decades after the elimination of the parallax.
Martin Lara
correctmedium confidence- arXiv ID
- 2105.14449
- Category
- Not specified
- Journal tier
- specialist/solid
Inferring Power System Dynamics from Synchrophasor Data using Gaussian Processes
Mana Jalali, Vassilis Kekatos, Siddharth Bhela, Hao Zhu, Virgilio Centeno
correctmedium confidence- arXiv ID
- 2105.12608
- Category
- Not specified
- Journal tier
- strong field
SELF CONSISTENT TRANSFER OPERATORS IN A WEAK COUPLING REGIME. INVARIANT MEASURES, CONVERGENCE TO EQUILIBRIUM, LINEAR REPONSE AND CONTROL OF THE STATISTICAL PROPERTIES.
Stefano Galatolo
correctmedium confidence- arXiv ID
- 2105.12388
- Category
- math.DS
- Journal tier
- strong field
Accelerating Neural ODEs Using Model Order Reduction
Mikko Lehtimäki, Lassi Paunonen, Marja-Leena Linne
correctmedium confidence- arXiv ID
- 2105.14070
- Category
- math.DS
- Journal tier
- specialist/solid
C0-GAP BETWEEN ENTROPY-ZERO HAMILTONIANS AND AUTONOMOUS DIFFEOMORPHISMS OF SURFACES
Michael Brandenbursky, Michael Khanevsky
correctmedium confidence- arXiv ID
- 2105.15038
- Category
- Not specified
- Journal tier
- strong field
Continuity of critical exponent of quasiconvex-cocompact groups under Gromov-Hausdorff convergence
Nicola Cavallucci
correctmedium confidence- arXiv ID
- 2105.11764
- Category
- Not specified
- Journal tier
- specialist/solid
Modeling the out-of-equilibrium dynamics of bounded rationality and economic constraints
Oliver Richters
correctmedium confidence- arXiv ID
- 2106.00483
- Category
- Not specified
- Journal tier
- specialist/solid
Efficient and Accurate Gradients for Neural SDEs
Patrick Kidger, James Foster, Xuechen Li, Terry Lyons
correctmedium confidence- arXiv ID
- 2105.13493
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE MEAN-FIELD LIMIT FOR THE CONSENSUS-BASED OPTIMIZATION
Hui Huang, Jinniao Qiu
correctmedium confidence- arXiv ID
- 2105.12919
- Category
- Not specified
- Journal tier
- strong field
K-averaging agent-based model: propagation of chaos and convergence to equilibrium
Fei Cao
correctmedium confidence- arXiv ID
- 2105.12870
- Category
- Not specified
- Journal tier
- strong field
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
correctmedium confidence- arXiv ID
- 2105.11796
- Category
- Not specified
- Journal tier
- specialist/solid
Enhancing the performance of a bistable energy harvesting device via the cross-entropy method
Americo Cunha Jr
correctmedium confidence- arXiv ID
- 2105.13459
- Category
- Not specified
- Journal tier
- specialist/solid
On arithmetic functions orthogonal to deterministic sequences
Adam Kanigowski, Joanna Kułaga-Przymus, Mariusz Lemańczyk, Thierry de la Rue
correctmedium confidence- arXiv ID
- 2105.11737
- Category
- Not specified
- Journal tier
- strong field
BOREL FRACTIONAL COLORINGS OF SCHREIER GRAPHS
Anton Bernshteyn
correcthigh confidence- arXiv ID
- 2105.11557
- Category
- Not specified
- Journal tier
- strong field
Random heterogeneity outperforms design in network synchronization
Yuanzhao Zhang, Jorge L. Ocampo-Espindola, István Z. Kiss, Adilson E. Motter
incompletemedium confidence- arXiv ID
- 2105.11476
- Category
- Not specified
- Journal tier
- strong field
BEYOND 0 AND ∞: A SOLUTION TO THE BARGE ENTROPY CONJECTURE
J. P. Boroński, J. Činč, P. Oprocha
correcthigh confidence- arXiv ID
- 2105.11133
- Category
- Not specified
- Journal tier
- top field-leading
A Graphical-Based Method for Plotting Local Bifurcation Diagram
Shahram Aghaei, Abolghasem Daeichian
incompletemedium confidence- arXiv ID
- 2105.10938
- Category
- math.DS
- Journal tier
- note/short/other
ERROR BOUNDS OF THE INVARIANT STATISTICS IN MACHINE LEARNING OF ERGODIC ITÔ DIFFUSIONS
He Zhang, John Harlim, Xiantao Li
correctmedium confidence- arXiv ID
- 2105.10102
- Category
- Not specified
- Journal tier
- specialist/solid
A model-based technique to identify lubrication condition of hydrodynamic bearings using the rotor vibrational response
Marcus Vinícius Medeiros Oliveira, Bárbara Zaparoli Cunha, Gregory Bregion Daniel
incompletemedium confidence- arXiv ID
- 2105.10573
- Category
- math.DS
- Journal tier
- specialist/solid
Resilience of Dynamical Systems
Hana Krakovská, Christian Kuehn, Iacopo P. Longo
correctmedium confidence- arXiv ID
- 2105.10592
- Category
- Not specified
- Journal tier
- specialist/solid
REALIZING POLYNOMIAL PORTRAITS
William Floyd, Daniel Kim, Sarah Koch, Walter Parry, Edgar Saenz
correctmedium confidence- arXiv ID
- 2105.10055
- Category
- Not specified
- Journal tier
- strong field
Analytic Classification of Generic Unfoldings of Antiholomorphic Parabolic Fixed Points of Codimension 1
Jonathan Godin, Christiane Rousseau
correctmedium confidence- arXiv ID
- 2105.10348
- Category
- Not specified
- Journal tier
- strong field