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
- 55 / 778
- Page Size
- 40
KP-II Approximation for a Scalar FPU System on a 2D Square Lattice
Dmitry E. Pelinovsky, Guido Schneider
incompletemedium confidence- arXiv ID
- 2207.10142
- Category
- Not specified
- Journal tier
- specialist/solid
REIDEMEISTER CLASSES IN SOME WREATH PRODUCTS BY Zk
M.I. Fraiman, E.V. Troitsky
correctmedium confidence- arXiv ID
- 2207.04294
- Category
- Not specified
- Journal tier
- specialist/solid
Unimodularity and Invariant Volume Forms for Hamiltonian Dynamics on Poisson-Lie Groups
I. Gutierrez-Sagredo, D. Iglesias Ponte, J. C. Marrero, E. Padrón, Z. Ravanpak
correctmedium confidence- arXiv ID
- 2207.05511
- Category
- Not specified
- Journal tier
- strong field
Minimality of B-free systems in number fields
Aurelia Dymek, Stanisław Kasjan, Joanna Kułaga-Przymus
correctmedium confidence- arXiv ID
- 2207.05396
- Category
- Not specified
- Journal tier
- strong field
Data-Driven Control of Agent-Based Models: An Equation/Variable-Free Machine Learning Approach
Dimitrios G. Patsatzis, Lucia Russo, Ioannis G. Kevrekidis, Constantinos Siettos
incompletemedium confidence- arXiv ID
- math.DS/2207.05779
- Category
- math.DS
- Journal tier
- Not assigned
Applied Trajectory Design for close-proximity operations of Asteroid CubeSat Missions
Claudio Bottiglieri, Felice Piccolo, Carmine Giordano, Francesco Topputo
correctmedium confidence- arXiv ID
- 2207.05558
- Category
- Not specified
- Journal tier
- specialist/solid
CONTROL OF A WIND-TURBINE VIA MACHINE LEARNING TECHNIQUES
L. Schena, E. Gillyns, W. Munters, S. Buckingham, M. A. Mendez
incompletemedium confidence- arXiv ID
- 2207.06206
- Category
- Not specified
- Journal tier
- specialist/solid
THE ORDINAL OF DYNAMICAL DEGREES OF BIRATIONAL MAPS OF THE PROJECTIVE PLANE
Anna Bot
correcthigh confidence- arXiv ID
- 2207.04408
- Category
- Not specified
- Journal tier
- strong field
STRONG CLOSING LEMMA AND KAM NORMAL FORM
Jinxin Xue
incompletehigh confidence- arXiv ID
- 2207.06208
- Category
- Not specified
- Journal tier
- note/short/other
Criteria for the (in)stability of planar interfaces in singularly perturbed 2-component reaction-diffusion equations
Paul Carter, Arjen Doelman, Kaitlynn Lilly, Erin Obermayer, Shreyas Rao
correctmedium confidence- arXiv ID
- 2207.05128
- Category
- math.DS
- Journal tier
- strong field
The smallest bimolecular mass action reaction networks admitting Andronov–Hopf bifurcation
Murad Banaji, Balázs Boros
correctmedium confidence- arXiv ID
- 2207.04971
- Category
- math.DS
- Journal tier
- specialist/solid
ON THE USE OF DYNAMIC MODE DECOMPOSITION FOR TIME-SERIES FORECASTING OF SHIPS MANEUVERING IN WAVES
Andrea Serani, Paolo Dragone, Frederick Stern, Matteo Diez
correctmedium confidence- arXiv ID
- 2207.04309
- Category
- Not specified
- Journal tier
- specialist/solid
Co-evolution of Vaccination Behavior and Perceived Vaccination Risk can lead to a Stag-Hunt like Game
Yuan Liu, Bin Wu
correctmedium confidence- arXiv ID
- 2207.05964
- Category
- Not specified
- Journal tier
- specialist/solid
Geometric blow-up of a dynamic Turing instability in the Swift-Hohenberg equation
F. Hummel, S. Jelbart, C. Kuehn
correctmedium confidence- arXiv ID
- 2207.03967
- Category
- Not specified
- Journal tier
- strong field
Vlasov equations on directed hypergraph measures
Christian Kuehn, Chuang Xu
correcthigh confidence- arXiv ID
- 2207.03806
- Category
- math.DS
- Journal tier
- strong field
Trajectory Class Fluctuation Theorem
Gregory Wimsatt, Alexander B. Boyd, James P. Crutchfield
correcthigh confidence- arXiv ID
- 2207.03612
- Category
- math.DS
- Journal tier
- strong field
ON THE GROWTH OF THE FLOER BARCODE
Erman ÇİNELİ, Viktor L. Ginzburg, Başak Z. Gürel
correctmedium confidence- arXiv ID
- 2207.03613
- Category
- math.DS
- Journal tier
- specialist/solid
Backpropagation on Dynamical Networks
Eugene Tan, Débora Corrêa, Thomas Stemler, Michael Small
wrongmedium confidenceCounterexample- arXiv ID
- 2207.03093
- Category
- math.DS
- Journal tier
- specialist/solid
DROPPING BODIES
Richard Montgomery
correctmedium confidence- arXiv ID
- 2207.02582
- Category
- Not specified
- Journal tier
- specialist/solid
A VARIATIONAL PRINCIPLE FOR THE METRIC MEAN DIMENSION OF LEVEL SETS
Lucas Backes, Fagner B. Rodrigues
correctmedium confidence- arXiv ID
- 2207.03238
- Category
- Not specified
- Journal tier
- specialist/solid
Complex oscillatory dynamics in a three-timescale El Niño Southern Oscillation model
Panagiotis Kaklamanos, Nikola Popović
correctmedium confidence- arXiv ID
- 2207.03230
- Category
- math.DS
- Journal tier
- strong field
Mathematical Analysis of Flow-Induced Oscillations of a Spring-Mounted Body in a Navier-Stokes Liquid
Giovanni P. Galdi
correctmedium confidence- arXiv ID
- math.DS/2207.02358
- Category
- math.DS
- Journal tier
- Not assigned
Periodic Center Manifolds and Normal Forms for DDEs in the Light of Suns and Stars
Bram Lentjes, Len Spek, Maikel M. Bosschaert, Yuri A. Kuznetsov
correctmedium confidence- arXiv ID
- 2207.02480
- Category
- math.DS
- Journal tier
- strong field
Multiplicity and stability of closed geodesics on positively curved Finsler 4-spheres
Huagui Duan, Dong Xie
correctmedium confidence- arXiv ID
- 2207.02405
- Category
- Not specified
- Journal tier
- strong field
Local Rigidity for Hyperbolic Toral Automorphisms
Boris Kalinin, Victoria Sadovskaya, Zhenqi Jenny Wang
correctmedium confidence- arXiv ID
- 2207.02321
- Category
- Not specified
- Journal tier
- strong field
VANISHING ASYMPTOTIC MASLOV INDEX FOR CONFORMALLY SYMPLECTIC FLOWS
Marie-Claude Arnaud, Anna Florio, Valentine Roos
correcthigh confidence- arXiv ID
- 2207.02155
- Category
- Not specified
- Journal tier
- strong field
ON VARIATIONAL PRINCIPLE FOR UPPER METRIC MEAN DIMENSION WITH POTENTIAL
Rui Yang, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2207.01901
- Category
- Not specified
- Journal tier
- specialist/solid
Extending the Monod Model of Microbial Growth with Memory
Mohammad M. Amirian, Andrew J. Irwin, Zoe V. Finkel
correctmedium confidence- arXiv ID
- 2207.02028
- Category
- math.DS
- Journal tier
- specialist/solid
A Deep Learning Approach for the solution of Probability Density Evolution of Stochastic Systems
Seid H. Pourtakdoust, Amir H. Khodabakhsh
incompletemedium confidence- arXiv ID
- 2207.01907
- Category
- math.DS
- Journal tier
- specialist/solid
CUTOFF STABILITY OF MULTIVARIATE GEOMETRIC BROWNIAN MOTION
G. Barrera, M.A. Högele, J.C. Pardo
incompletemedium confidence- arXiv ID
- 2207.01666
- Category
- math.DS
- Journal tier
- specialist/solid
DYNAMIQUE ANALYTIQUE SUR Z. II : ÉCART UNIFORME ENTRE LATTÈS ET CONJECTURE DE BOGOMOLOV-FU-TSCHINKEL.
Jérôme Poineau
correctmedium confidence- arXiv ID
- 2207.01574
- Category
- Not specified
- Journal tier
- top field-leading
Errata and Addenda to: “Hydrodynamic Vortex on Surfaces” and “The motion of a vortex on a closed surface of constant negative curvature”
Clodoaldo Grotta-Ragazzo
correctmedium confidence- arXiv ID
- 2207.01408
- Category
- Not specified
- Journal tier
- note/short/other
Optimal control in opinion dynamics models: towards a unified framework
Ivan V. Kozitsin
correctmedium confidence- arXiv ID
- 2207.01300
- Category
- math.DS
- Journal tier
- specialist/solid
The dud canard: Existence of strong canard cycles in R3
Kristiansen, K. U.
correctmedium confidence- arXiv ID
- 2207.00875
- Category
- Not specified
- Journal tier
- specialist/solid
AN AVOIDANCE PRINCIPLE AND MARGULIS FUNCTIONS FOR EXPANDING TRANSLATES OF UNIPOTENT ORBITS
Anthony Sanchez, Juno Seong
correctmedium confidence- arXiv ID
- 2206.12019
- Category
- math.DS
- Journal tier
- strong field
Simultaneous approximation in nilsystems and the multiplicative thickness of return-time sets
Daniel Glasscock
correcthigh confidence- arXiv ID
- 2207.00098
- Category
- Not specified
- Journal tier
- strong field
Synchronization and random attractors for reaction jump processes
Maximilian Engel, Guillermo Olicón-Méndez, Nathalie Unger, Stefanie Winkelmann
correctmedium confidence- arXiv ID
- 2207.00602
- Category
- Not specified
- Journal tier
- specialist/solid
A computer assisted proof for 100,000 years stability of the solar system
Angel Zhivkov, Ivaylo Tounchev
wrongmedium confidence- arXiv ID
- 2206.13467
- Category
- math.DS
- Journal tier
- note/short/other
QUASI-CONVERGENCE OF AN IMPLEMENTATION OF OPTIMAL BALANCE BY BACKWARD-FORWARD NUDGING
Gökce Tuba Masur, Haidar Mohamad, Marcel Oliver
correctmedium confidence- arXiv ID
- 2206.13068
- Category
- Not specified
- Journal tier
- specialist/solid
A novel criterion for global incremental stability of dynamical systems
Robert Vrabel
correcthigh confidence- arXiv ID
- 2206.12945
- Category
- Not specified
- Journal tier
- specialist/solid