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
- 70 / 778
- Page Size
- 40
SLIDING MOTION ON TANGENTIAL SETS OF FILIPPOV SYSTEMS
Tiago Carvalho, Douglas D. Novaes, Durval J. Tonon
correctmedium confidence- arXiv ID
- 2111.12377
- Category
- Not specified
- Journal tier
- strong field
Dynamical number of base-points of non base-wandering Jonquières twists
Julie Déserti
correcthigh confidence- arXiv ID
- 2111.10848
- Category
- Not specified
- Journal tier
- specialist/solid
Independent Learning in Stochastic Games
Asuman Ozdaglar, Muhammed O. Sayin, Kaiqing Zhang
correcthigh confidence- arXiv ID
- 2111.11743
- Category
- Not specified
- Journal tier
- specialist/solid
A semi-discrete approximation for first-order stationary mean field games
Renato Iturriaga, Kaizhi Wang
correctmedium confidence- arXiv ID
- 2111.11972
- Category
- Not specified
- Journal tier
- specialist/solid
Connecting Hodge and Sakaguchi-Kuramoto: a mathematical framework for coupled oscillators on simplicial complexes
Alexis Arnaudon, Robert L. Peach, Giovanni Petri, Paul Expert
correctmedium confidence- arXiv ID
- 2111.11073
- Category
- math.DS
- Journal tier
- specialist/solid
Reduction of symbolic first integrals of planar vector fields
Thierry Combot
correctmedium confidence- arXiv ID
- 2111.10809
- Category
- Not specified
- Journal tier
- specialist/solid
A CONVERGENCE CRITERION FOR THE UNSTABLE MANIFOLDS OF THE MACKAY APPROXIMATE RENORMALISATION
Seul Bee Lee, Stefano Marmi, Tanja I. Schindler
correctmedium confidence- arXiv ID
- 2111.10807
- Category
- Not specified
- Journal tier
- note/short/other
Characterizations of Recurrence and Poisson Stability of Flows on Surfaces
Tomoo Yokoyama
correctmedium confidence- arXiv ID
- 2111.10705
- Category
- math.DS
- Journal tier
- specialist/solid
Automorphisms of B-free Toeplitz systems
Aurelia Dymek, Stanisław Kasjan, Gerhard Keller
correctmedium confidence- arXiv ID
- 2111.10679
- Category
- Not specified
- Journal tier
- strong field
New results on orbital resonances
Renu Malhotra
correctmedium confidence- arXiv ID
- 2111.09289
- Category
- Not specified
- Journal tier
- strong field
Marginally Unstable Discrete-Time Linear Switched Systems with Highly Irregular Trajectory Growth
Ian D. Morris
correctmedium confidence- arXiv ID
- 2111.10225
- Category
- Not specified
- Journal tier
- strong field
Global Convergence of Hessenberg Shifted QR I: Dynamics
Jess Banks, Jorge Garza-Vargas, Nikhil Srivastava
correctmedium confidence- arXiv ID
- 2111.07976
- Category
- Not specified
- Journal tier
- top generalist
Information-theoretic formulation of dynamical systems: causality, modeling, and control
Adrián Lozano-Durán, Gonzalo Arranz
correctmedium confidence- arXiv ID
- 2111.09484
- Category
- Not specified
- Journal tier
- strong field
Elementary planes in the Apollonian orbifold
Yongquan Zhang
correcthigh confidence- arXiv ID
- 2111.10277
- Category
- Not specified
- Journal tier
- specialist/solid
Chaotic Dynamics Driven by Particle-Core Interactions
Konstantin Batygin, Yuri K. Batygin
incompletemedium confidence- arXiv ID
- 2111.09843
- Category
- math.DS
- Journal tier
- specialist/solid
FAST ADJOINT DIFFERENTIATION OF CHAOS
Angxiu Ni
correcthigh confidence- arXiv ID
- 2111.07692
- Category
- Not specified
- Journal tier
- strong field
Parameterized splitting theorems and bifurcations for potential operators, Part I: Abstract theory
Guangcun Lu
correctmedium confidence- arXiv ID
- 2111.08689
- Category
- math.DS
- Journal tier
- strong field
Degree of logarithmic foliations of type (1,1,1)
Mariano Chehebar
correcthigh confidence- arXiv ID
- 2111.09134
- Category
- Not specified
- Journal tier
- specialist/solid
On the analytical aspects of inertial particle motion
Oliver D. Street, Dan Crisan
incompletemedium confidence- arXiv ID
- 2111.08470
- Category
- Not specified
- Journal tier
- strong field
Implicit Method for Degenerated Differential-Algebraic Equations and Applications
Wenqiang Yang, Wenyuan Wu, Greg Reid
correctmedium confidence- arXiv ID
- 2111.08160
- Category
- Not specified
- Journal tier
- specialist/solid
Second-Order Mirror Descent: Convergence in Games Beyond Averaging and Discounting
Bolin Gao, Lacra Pavel
correcthigh confidence- arXiv ID
- 2111.09982
- Category
- math.DS
- Journal tier
- strong field
Joins of Circulant Matrices
Jacqueline Doàn, Ján Mináč, Lyle Muller, Tung T. Nguyen, Federico W. Pasini
correctmedium confidence- arXiv ID
- 2111.10059
- Category
- Not specified
- Journal tier
- specialist/solid
A SCALING LAW CHAOTIC SYSTEM
XIAO-JUN YANG
incompletemedium confidence- arXiv ID
- 2111.09816
- Category
- Not specified
- Journal tier
- note/short/other
Elliptic fixed points with an invariant foliation: Some facts and more questions
Alain Chenciner, David Sauzin, Shanzhong Sun, Qiaoling Wei
correctmedium confidence- arXiv ID
- 2111.07714
- Category
- Not specified
- Journal tier
- specialist/solid
Trackable species dynamics in reaction network models
Daniele Cappelletti, Grzegorz A. Rempala
correctmedium confidence- arXiv ID
- 2111.08559
- Category
- Not specified
- Journal tier
- specialist/solid
Stability of Bimodal Planar Switched Linear Systems with Both Stable and Unstable Subsystems
Swapnil Tripathi, Nikita Agarwal
correctmedium confidence- arXiv ID
- 2111.07543
- Category
- Not specified
- Journal tier
- specialist/solid
Finiteness of Stationary Configurations of the Planar Four-vortex Problem. II
Xiang Yu
correctmedium confidence- arXiv ID
- 2111.07292
- Category
- math.DS
- Journal tier
- strong field
STRONGLY DISTRIBUTIONAL CHAOS OF IRREGULAR ORBITS THAT ARE NOT UNIFORMLY HYPERBOLIC
Xiaobo Hou, Xueting Tian
correctmedium confidence- arXiv ID
- 2111.06055
- Category
- math.DS
- Journal tier
- strong field
Bifurcations of sleep patterns due to homeostatic and circadian variation in a sleep-wake flip-flop model
Christina Athanasouli, Sofia H. Piltz, Cecilia Diniz Behn, Victoria Booth
correctmedium confidence- arXiv ID
- 2111.07211
- Category
- Not specified
- Journal tier
- strong field
Modelling the Effect of Vaccination and Human Behaviour on the Spread of Epidemic Diseases on Temporal Networks
Kathinka Frieswijk, Lorenzo Zino, Ming Cao
correctmedium confidence- arXiv ID
- 2111.05590
- Category
- math.DS
- Journal tier
- strong field
Intermediate dimensions of Bedford–McMullen carpets with applications to Lipschitz equivalence
Amlan Banaji, István Kolossváry
correctmedium confidence- arXiv ID
- 2111.05625
- Category
- math.DS
- Journal tier
- top field-leading
Persistence of periodic orbits under state-dependent delayed perturbations: computer-assisted proofs
Joan Gimeno, Jean-Philippe Lessard, J.D. Mireles James, Jiaqi Yang
correctmedium confidence- arXiv ID
- 2111.06391
- Category
- Not specified
- Journal tier
- specialist/solid
Billiards in a circle with trajectories circumscribing a triangle
Takeo Noda, Shin-ichi Yasutomi
correctmedium confidence- arXiv ID
- 2111.04495
- Category
- math.DS
- Journal tier
- specialist/solid
On Neural Network Identification for Low-Speed Ship Maneuvering Model
Kouki Wakita, Atsuo Maki, Umeda Naoya, Yoshiki Miyauchi, Tohga Shimoji, Dimas M. Rachman, Youhei Akimoto
incompletemedium confidenceCounterexample- arXiv ID
- 2111.06120
- Category
- Not specified
- Journal tier
- specialist/solid
Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics
Amr Alanwar, Muhammad Umar B. Niazi, Karl H. Johansson
incompletemedium confidence- arXiv ID
- 2111.04704
- Category
- Not specified
- Journal tier
- specialist/solid
Generic Hölder Level Sets and Fractal Conductivity
Zoltán Buczolich, Balázs Maga, Gáspár Vértesy
correcthigh confidence- arXiv ID
- 2111.06724
- Category
- Not specified
- Journal tier
- specialist/solid
Training Generative Adversarial Networks with Adaptive Composite Gradient
Huiqing Qi, Fang Li, Shengli Tan, Xiangyun Zhang
wrongmedium confidence- arXiv ID
- 2111.05508
- Category
- math.DS
- Journal tier
- note/short/other
SRB MEASURES FOR C∞ SURFACE DIFFEOMORPHISMS
David Burguet
correctmedium confidence- arXiv ID
- 2111.06651
- Category
- Not specified
- Journal tier
- top field-leading
Probabilistic predictions of SIS epidemics on networks based on population-level observations
T. Zerenner, F. Di Lauro, M. Dashti, L. Berthouze, I. Z. Kiss
incompletemedium confidence- arXiv ID
- 2111.05369
- Category
- math.DS
- Journal tier
- specialist/solid
Stochastic Rotating Waves
Christian Kuehn, James MacLaurin, Giulio Zucal
correctmedium confidence- arXiv ID
- 2111.07096
- Category
- math.DS
- Journal tier
- strong field