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
- 80 / 778
- Page Size
- 40
Quantum Dynamics of a One Degree-of-Freedom Hamiltonian Saddle-Node Bifurcation
Wenyang Lyu, Shibabrat Naik, Stephen Wiggins
incompletemedium confidence- arXiv ID
- 2107.00979
- Category
- Not specified
- Journal tier
- specialist/solid
FINER GEOMETRY OF PLANAR SELF-AFFINE SETS
Balázs Bárány, Antti Käenmäki, Han Yu
correcthigh confidence- arXiv ID
- 2107.00983
- Category
- Not specified
- Journal tier
- top field-leading
Spatiotemporal convolutional network for time-series prediction and causal inference
Hao Peng, Pei Chen, Rui Liu, Luonan Chen
incompletelow confidence- arXiv ID
- 2107.01353
- Category
- Not specified
- Journal tier
- strong field
Existence of Complete Lyapunov Functions with Prescribed Orbital Derivative
Peter Giesl, Sigurdur Hafstein, Stefan Suhr
correcthigh confidence- arXiv ID
- 2107.00634
- Category
- Not specified
- Journal tier
- specialist/solid
Mathematical Analysis of a Fractional COVID-19 Model Applied to Wuhan, Spain and Portugal
Faïçal Ndaïrou, Delfim F. M. Torres
wronghigh confidence- arXiv ID
- 2106.15407
- Category
- math.DS
- Journal tier
- specialist/solid
ON A SUFFICIENT CONDITION FOR LINEAR CHAOS
Marat V. Markin
correcthigh confidence- arXiv ID
- 2106.14872
- Category
- Not specified
- Journal tier
- specialist/solid
INVARIANT MEASURES FOR RANDOM EXPANDING ON AVERAGE SAUSSOL MAPS
Fawwaz Batayneh, Cecilia González-Tokman
correctmedium confidence- arXiv ID
- 2106.15712
- Category
- Not specified
- Journal tier
- specialist/solid
On the Garden of Eden theorem for B-free subshifts
M. Lemańczyk, C. Richard, D. Sell
correctmedium confidence- arXiv ID
- 2106.14673
- Category
- Not specified
- Journal tier
- strong field
Statistics of torus piecewise isometries
Michael Blank
correctmedium confidence- arXiv ID
- 2106.16021
- Category
- math.DS
- Journal tier
- strong field
Analytic linearization of a generalization of the semi-standard map: radius of convergence and Brjuno sum
C.Chavaudret, S.Marmi
correctmedium confidence- arXiv ID
- 2106.13472
- Category
- Not specified
- Journal tier
- strong field
Structure and regularity of group actions on one-manifolds
Sang-hyun Kim, Thomas Koberda
correctmedium confidence- arXiv ID
- 2106.15532
- Category
- Not specified
- Journal tier
- strong field
On closures for reduced order models – A spectrum of first-principle to machine-learned avenues
Shady E. Ahmed, Suraj Pawar, Omer San, Adil Rasheed, Traian Iliescu, Bernd R. Noack
correctmedium confidence- arXiv ID
- 2106.14954
- Category
- Not specified
- Journal tier
- specialist/solid
EXISTENCE OF PERIODIC ORBITS FOR PIECEWISE-SMOOTH VECTOR FIELDS WITH SLIDING REGION VIA CONLEY THEORY.
Angie T. S. Romero, Ewerton R. Vieira
correcthigh confidence- arXiv ID
- 2106.15569
- Category
- Not specified
- Journal tier
- specialist/solid
The Veech Discrete 2-Circle Problem and Non-Integrable Flat Systems
J. Beck, W.W.L. Chen, Y. Yang
correctmedium confidenceCounterexample- arXiv ID
- 2106.14001
- Category
- Not specified
- Journal tier
- specialist/solid
Closed-form Continuous-Depth Models
Ramin Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus
wrongmedium confidence- arXiv ID
- 2106.13898
- Category
- math.DS
- Journal tier
- strong field
ON DETERMINING THE HOMOLOGICAL CONLEY INDEX OF POINCARÉ MAPS IN AUTONOMOUS SYSTEMS
Roman Srzednicki
correcthigh confidence- arXiv ID
- 2106.14293
- Category
- Not specified
- Journal tier
- specialist/solid
Asymptotic Pressure on the Cayley Graph of a Finitely Generated Semigroup
Karl Petersen, Ibrahim Salama
incompletehigh confidence- arXiv ID
- 2106.16246
- Category
- Not specified
- Journal tier
- specialist/solid
The Effect of Sensor Fusion on Data-Driven Learning of Koopman Operators
Shara Balakrishnan, Aqib Hasnain, Rob Egbert, Enoch Yeung
correcthigh confidence- arXiv ID
- 2106.15091
- Category
- Not specified
- Journal tier
- specialist/solid
NUMBER OF MODULI FOR AN UNION OF SMOOTH CURVES IN (C2, 0).
Yohann Genzmer
correctmedium confidence- arXiv ID
- 2106.13623
- Category
- math.DS
- Journal tier
- specialist/solid
Sparse Control Synthesis for Uncertain Responsive Loads with Stochastic Stability Guarantees
Sai Pushpak Nandanoori, Soumya Kundu, Jianming Lian, Umesh Vaidya, Draguna Vrabie, Karanjit Kalsi
correctmedium confidence- arXiv ID
- 2106.14143
- Category
- Not specified
- Journal tier
- specialist/solid
Detectability Conditions and State Estimation for Linear Time-Varying and Nonlinear Systems
Markus Tranninger, Richard Seeber, Martin Steinberger, Martin Horn, Christian Pötzsche
correctmedium confidence- arXiv ID
- 2106.13461
- Category
- Not specified
- Journal tier
- strong field
A BOGOMOLOV PROPERTY FOR THE CANONICAL HEIGHT OF MAPS WITH SUPERATTRACTING PERIODIC POINTS
Nicole R. Looper
correcthigh confidence- arXiv ID
- 2106.13003
- Category
- Not specified
- Journal tier
- strong field
The peak-and-end rule and differential equations with maxima: a view on the unpredictability of happiness
Elena Trofimchuk, Eduardo Liz, Sergei Trofimchuk
correcthigh confidence- arXiv ID
- 2106.10843
- Category
- math.DS
- Journal tier
- specialist/solid
A Note on the Interpretation of Distributed Delay Equations
Philip Doldo, Jamol Pender
correcthigh confidence- arXiv ID
- 2106.11413
- Category
- Not specified
- Journal tier
- note/short/other
Learn Like The Pro: Norms from Theory to Size
Margaret Trautner, Ziwei Li, Sai Ravela
correctmedium confidence- arXiv ID
- 2106.11409
- Category
- Not specified
- Journal tier
- specialist/solid
Factor-of-iid balanced orientation of non-amenable graphs
Ferenc Bencs, Aranka Hrušková, László Márton Tóth
correctmedium confidence- arXiv ID
- 2106.12530
- Category
- math.DS
- Journal tier
- strong field
From Griefing to Stability in Blockchain Mining Economies
Yun Kuen Cheung, Stefanos Leonardos, Georgios Piliouras, Shyam Sridhar
correcthigh confidence- arXiv ID
- 2106.12332
- Category
- Not specified
- Journal tier
- specialist/solid
On limit sets of monotone maps on regular curves
Aymen Daghar, Habib Marzougui
correctmedium confidence- arXiv ID
- 2106.12418
- Category
- Not specified
- Journal tier
- specialist/solid
THE SPECTRUM OF THE EXPONENTS OF REPETITION
Deokwon Sim
correctmedium confidence- arXiv ID
- 2106.11628
- Category
- Not specified
- Journal tier
- strong field
A Dynamical Proof of the Van der Corput Inequality
Nikolai Edeko, Henrik Kreidler, Rainer Nagel
correcthigh confidence- arXiv ID
- 2106.11835
- Category
- Not specified
- Journal tier
- specialist/solid
Functional analysis approach to the Collatz conjecture
Mikhail Neklyudov
wronghigh confidence- arXiv ID
- 2106.11859
- Category
- math.DS
- Journal tier
- specialist/solid
Unique ergodicity of the horocyclic flow on nonpositively curved surfaces
Sergi Burniol Clotet
correctmedium confidence- arXiv ID
- 2106.11572
- Category
- math.DS
- Journal tier
- specialist/solid
Exploration-Exploitation in Multi-Agent Competition: Convergence with Bounded Rationality
Stefanos Leonardos, Georgios Piliouras, Kelly Spendlove
correcthigh confidence- arXiv ID
- 2106.12928
- Category
- math.DS
- Journal tier
- strong field
Quantitative conditions for right-handedness
Anna Florio, Umberto Hryniewicz
correcthigh confidence- arXiv ID
- 2106.12512
- Category
- Not specified
- Journal tier
- strong field
Port-Hamiltonian System Identification from Noisy Frequency Response Data
Paul Schwerdtner
correcthigh confidence- arXiv ID
- 2106.11355
- Category
- math.DS
- Journal tier
- specialist/solid
RELATION BETWEEN HÉNON MAPS WITH BIHOLOMORPHIC ESCAPING SETS
Ratna Pal
correcthigh confidence- arXiv ID
- 2106.11661
- Category
- Not specified
- Journal tier
- specialist/solid
THE MGT-FOURIER MODEL IN THE SUPERCRITICAL CASE
Monica Conti, Lorenzo Liverani, Vittorino Pata
correctmedium confidence- arXiv ID
- 2106.12402
- Category
- Not specified
- Journal tier
- strong field
ON DYNAMICAL CANCELLATION
Jason P. Bell, Yohsuke Matsuzawa, Matthew Satriano
correcthigh confidence- arXiv ID
- 2106.11544
- Category
- math.DS
- Journal tier
- strong field
Factoring Strongly Irreducible Group Shift Actions onto Full Shifts of Lower Entropy
Dawid Huczek, Sebastian Kopacz
correcthigh confidence- arXiv ID
- 2106.10687
- Category
- Not specified
- Journal tier
- specialist/solid
Generalized eigenvalues of the Perron-Frobenius operators of symbolic dynamical systems
Hayato Chiba, Masahiro Ikeda, Isao Ishikawa
correctmedium confidence- arXiv ID
- 2106.12087
- Category
- math.DS
- Journal tier
- specialist/solid