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
- 7 / 778
- Page Size
- 40
Integrability of the magnetic geodesic flow on the sphere with a constant 2-form
Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev
correctmedium confidence- arXiv ID
- 2506.23312
- Category
- Not specified
- Journal tier
- strong field
Sturmian lattices and Aperiodic tile sets
Shigeki Akiyama, Tadahisa Hamada, Katsuki Ito
correctmedium confidence- arXiv ID
- 2506.19362
- Category
- Not specified
- Journal tier
- strong field
An ergodic Lebesgue differentiation theorem
Aidan Young
correcthigh confidence- arXiv ID
- 2506.21421
- Category
- Not specified
- Journal tier
- specialist/solid
On the geometry of a 4-dimensional extension of a q-Painlevé I equation with symmetry type A_1^{(1)}
Alexander Stokes, Tomoyuki Takenawa, Adrian Stefan Carstea
correcthigh confidence- arXiv ID
- 2506.21092
- Category
- Not specified
- Journal tier
- strong field
Unimodular Random Graphs with Property (T) Have Cost One
Lukasz Grabowski, Héctor Jardón-Sánchez, Sam Mellick
correcthigh confidence- arXiv ID
- 2506.19454
- Category
- Not specified
- Journal tier
- strong field
DYNAMICS AND PATTERN FORMATION IN A DIFFUSIVE BEDDINGTON-DEANGELIS PREDATOR-PREY MODEL WITH FEAR EFFECT
Aung Zaw Myint, Aye Chan May, Mya Hnin Lwin, Toe Toe Shwe, Adisak Seesanea
correcthigh confidence- arXiv ID
- 2506.22070
- Category
- Not specified
- Journal tier
- specialist/solid
McGehee blowup for Lagrangian systems and instability of equilibria
J. M. Burgos
correctmedium confidence- arXiv ID
- 2506.19135
- Category
- Not specified
- Journal tier
- top field-leading
Distributed Lyapunov Functions for Nonlinear Networks
Yiming Wang, Arthur N. Montanari, Adilson E. Motter
correctmedium confidence- arXiv ID
- 2506.20728
- Category
- Not specified
- Journal tier
- strong field
Projective Transformations for Regularized Central Force Dynamics: Hamiltonian Formulation
Joseph T.A. Peterson, Manoranjan Majji, John L. Junkins
correctmedium confidence- arXiv ID
- 2506.22681
- Category
- Not specified
- Journal tier
- strong field
Mathematical Modeling of Carbon Dioxide Emissions with GDP Linkage: Sensitivity Analysis and Optimal Control Strategy
Hua Liu, Zhuoma Gangji, Yumei Wei, Jianhua Ye, Gang Ma
correctmedium confidence- arXiv ID
- 2506.22483
- Category
- Not specified
- Journal tier
- specialist/solid
A note on the perturbations of subshifts
Haritha Cheriyath
correcthigh confidence- arXiv ID
- 2506.20750
- Category
- Not specified
- Journal tier
- strong field
Design, fabrication and control of a cable-driven parallel robot
Dhruv Sorathiya, Sarthak Sahoo, Vivek Natarajan
incompletemedium confidence- arXiv ID
- 2506.18526
- Category
- Not specified
- Journal tier
- note/short/other
Pattern formation in a Swift–Hohenberg equation with spatially periodic coefficients
Jolien Kamphuis, Martina Chirilus-Bruckner
correctmedium confidence- arXiv ID
- 2506.22211
- Category
- Not specified
- Journal tier
- strong field
Versatile Absorption Modeling for Transmissive Optical Elements Using Ray Tracing and Finite Element Analysis
Mark Kurcsics, Peter Eberhard
correctmedium confidence- arXiv ID
- 2506.18752
- Category
- math.DS
- Journal tier
- specialist/solid
Infinite polynomial patterns in large subsets of the rational numbers
Ethan Ackelsberg
correctmedium confidence- arXiv ID
- 2506.19667
- Category
- Not specified
- Journal tier
- strong field
Dynamical covering sets in self-similar sets
Balazs Barany, Henna Koivusalo, Sascha Troscheit
correctmedium confidence- arXiv ID
- 2506.18447
- Category
- math.DS
- Journal tier
- strong field
Brown–Voiculescu entropy revisited
Bhishan Jacelon, Robert Neagu
correcthigh confidence- arXiv ID
- 2506.18352
- Category
- Not specified
- Journal tier
- specialist/solid
Measuring Fractal Dimension using Discrete Global Grid Systems
Pramit Ghosh
incompletemedium confidence- arXiv ID
- math.DS/2506.18175
- Category
- math.DS
- Journal tier
- Not assigned
Filtrations Indexed by Attracting Levels and Their Applications
Yusuke Imoto, Tomoo Yokoyama
correcthigh confidence- arXiv ID
- 2506.18250
- Category
- math.DS
- Journal tier
- specialist/solid
The existence of quasi-periodic invariant tori and double Hopf bifurcation of van der Pol’s oscillator with delayed feedback
Xuemei Li, Bochao Yu
correctmedium confidence- arXiv ID
- 2506.17097
- Category
- Not specified
- Journal tier
- specialist/solid
Non-Realizability of the Poisson Boundary
Kunal Chawla, Joshua Frisch
correcthigh confidence- arXiv ID
- 2506.14029
- Category
- math.DS
- Journal tier
- strong field
On the rate of convergence of R^d-ergodic averages constructed over a strictly convex set
Ivan Podvigin
correcthigh confidence- arXiv ID
- math.DS/2506.16740
- Category
- math.DS
- Journal tier
- Not assigned
INTERSECTION NUMBERS BETWEEN HORIZONTAL FOLIATIONS OF QUADRATIC DIFFERENTIALS
Dragomir Šarić, Taro Shima
correcthigh confidence- arXiv ID
- 2506.14943
- Category
- math.DS
- Journal tier
- strong field
Adding machines and open dynamical systems
F. Ciavattini, T. H. Steele
incompletehigh confidence- arXiv ID
- 2506.14032
- Category
- Not specified
- Journal tier
- specialist/solid
Nowhere dense competing holes in open dynamical systems
F. Ciavattini, T.H. Steele
wrongmedium confidenceCounterexample- arXiv ID
- 2506.14027
- Category
- math.DS
- Journal tier
- specialist/solid
The simplest chaos indicator derived from Lagrangian descriptors
Javier Jiménez-López, V. J. García-Garrido
incompletemedium confidence- arXiv ID
- 2506.16660
- Category
- Not specified
- Journal tier
- note/short/other
Ergodic theorem for the differential equations with interaction
Andrey Dorogovtsev, Suli Liu, Kateryna Hlyniana
correctmedium confidence- arXiv ID
- 2506.13347
- Category
- Not specified
- Journal tier
- specialist/solid
Quenched invariance principle with a rate for random dynamical systems
Zhenxin Liu, Benoit Saussol, Sandro Vaienti, Zhe Wang
correcthigh confidence- arXiv ID
- 2506.13167
- Category
- Not specified
- Journal tier
- strong field
The Kuramoto model on the Sierpinski Gasket
Georgi S. Medvedev, Matthew S. Mizuhara
incompletehigh confidence- arXiv ID
- 2506.12940
- Category
- Not specified
- Journal tier
- specialist/solid
Nonlinear Model Order Reduction of Dynamical Systems in Process Engineering: Review and Comparison
Jan C. Schulze, Alexander Mitsos
correctmedium confidence- arXiv ID
- 2506.12819
- Category
- math.DS
- Journal tier
- specialist/solid
SINDybrid: automatic generation of hybrid models for dynamic systems
Ulderico Di Caprio, M. Enis Leblebici
correctmedium confidence- arXiv ID
- 2506.12498
- Category
- Not specified
- Journal tier
- specialist/solid
Improved error bounds for Koopman operator and reconstructed trajectories approximations with kernel-based methods
Diego Olguín, Axel Osses, Héctor Ramírez
incompletemedium confidence- arXiv ID
- 2506.09266
- Category
- math.DS
- Journal tier
- specialist/solid
Chains without regularity
Alessandro Della Corte, Marco Farotti
correctmedium confidence- arXiv ID
- 2506.09261
- Category
- Not specified
- Journal tier
- specialist/solid
Continuity of the superpotentials and slices of tropical currents
Farhad Babaee, Tien Cuong Dinh
correctmedium confidence- arXiv ID
- 2506.09828
- Category
- math.DS
- Journal tier
- strong field
Global Centers and Phase Portraits in Generalized Duffing Oscillators: A Comprehensive Study of the Center-Focus Problem
Gabriel Rondón, Nasrin Sadri
wronghigh confidenceCounterexample- arXiv ID
- 2506.07307
- Category
- math.DS
- Journal tier
- specialist/solid
Solvability of the Korteweg-de Vries equation under meromorphic initial conditions by quadrature
Kazuyuki Yagasaki
correctmedium confidence- arXiv ID
- 2506.08046
- Category
- Not specified
- Journal tier
- specialist/solid
Surfaces with Klein bottle topology occur in fusion reactor fields
C. B. Smiet
incompletemedium confidence- arXiv ID
- 2506.11883
- Category
- Not specified
- Journal tier
- specialist/solid
Mixed phases in feedback Ising models
Yi-Ping Ma, Ivan Sudakow, P. L. Krapivsky
correcthigh confidence- arXiv ID
- 2506.09025
- Category
- Not specified
- Journal tier
- strong field
Mean Field Games without Rational Expectations
Benjamin Moll, Lenya Ryzhik
correctmedium confidence- arXiv ID
- 2506.11838
- Category
- Not specified
- Journal tier
- strong field
A Panoramic View of Exponential Attractors
Radoslaw Czaja, Stefanie Sonner
correctmedium confidence- arXiv ID
- 2506.10388
- Category
- Not specified
- Journal tier
- specialist/solid