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
- 50 / 778
- Page Size
- 40
ON COMPACT EXTENSIONS OF TRACIAL W∗-DYNAMICAL SYSTEMS
Asgar Jamneshan, Pieter Spaas
correcthigh confidence- arXiv ID
- 2209.10238
- Category
- Not specified
- Journal tier
- specialist/solid
Noise-induced periodicity in a frustrated network of interacting diffusions
Elisa Marini, Luisa Andreis, Francesca Collet, Marco Formentin
correctmedium confidence- arXiv ID
- 2209.08829
- Category
- Not specified
- Journal tier
- specialist/solid
Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories
Samuel E. Otto, Sebastian Peitz, Clarence W. Rowley
correcthigh confidence- arXiv ID
- 2209.09977
- Category
- Not specified
- Journal tier
- strong field
Tradeoffs between convergence rate and noise amplification for momentum-based accelerated optimization algorithms
Hesameddin Mohammadi, Meisam Razaviyayn, Mihailo R. Jovanović
correctmedium confidence- arXiv ID
- 2209.11920
- Category
- math.DS
- Journal tier
- strong field
The Phase Space Structure in the vicinity of vertical Lyapunov orbits around L1,2 in a barred galaxy model
M. Katsanikas, P. A. Patsis
correctmedium confidence- arXiv ID
- 2209.10249
- Category
- math.DS
- Journal tier
- specialist/solid
Population Persistence in Stream Networks: Growth Rate and Biomass
Tung D. Nguyen, Yixiang Wu, Amy Veprauskas, Tingting Tang, Ying Zhou, Charlotte Beckford, Brian Chau, Xiaoyun Chen, Behzad Djafari Rouhani, Al-sadh Imadh, Yuerong Wu, Yang Yang, Zhisheng Shuai
correctmedium confidence- arXiv ID
- 2209.11884
- Category
- Not specified
- Journal tier
- specialist/solid
The geodesics for Poincaré’s half-plane: a nonstandard derivation
Gianluca Gorni, Gaetano Zampieri
correctmedium confidence- arXiv ID
- 2209.10879
- Category
- Not specified
- Journal tier
- note/short/other
Sharp Convergence for Degenerate Langevin Dynamics
Gerardo Barrera, Conrado Da Costa, Milton Jara
correctmedium confidence- arXiv ID
- 2209.11026
- Category
- Not specified
- Journal tier
- strong field
Good Functions, Measures, and the Kleinbock–Tomanov Conjecture
Victor Beresnevich, Shreyasi Datta, Anish Ghosh
correctmedium confidence- arXiv ID
- 2209.10456
- Category
- Not specified
- Journal tier
- strong field
Типичные расширения эргодических систем
В.В. Рыжиков
correcthigh confidence- arXiv ID
- 2209.09160
- Category
- math.DS
- Journal tier
- specialist/solid
Bicritical Rational Maps with a Common Iterate
Sarah Koch, Kathryn Lindsey, Thomas Sharland
correcthigh confidence- arXiv ID
- 2209.08012
- Category
- math.DS
- Journal tier
- strong field
Dynamical behavior of Pielou’s difference system with exponential term
Ouyang Miao, Qianhong Zhang
wrongmedium confidenceCounterexample- arXiv ID
- 2209.10793
- Category
- math.DS
- Journal tier
- note/short/other
Pairs of saddle connections of typical flat surfaces on fixed affine orbifolds.
Etienne Bonnafoux
correctmedium confidence- arXiv ID
- 2209.11862
- Category
- Not specified
- Journal tier
- specialist/solid
Uniform quasi-multiplicativity of locally constant cocycles and applications
Reza Mohammadpour, Kiho Park
correctmedium confidence- arXiv ID
- 2209.08999
- Category
- math.DS
- Journal tier
- strong field
ON POLYNOMIAL STRUCTURES OVER SPHERES
Mihajlo Cekić, Thibault Lefeuvre
correcthigh confidence- arXiv ID
- 2209.11109
- Category
- Not specified
- Journal tier
- strong field
TYPICAL SELF-AFFINE SETS WITH NON-EMPTY INTERIOR
De-Jun Feng, Zhou Feng
correctmedium confidence- arXiv ID
- 2209.09126
- Category
- Not specified
- Journal tier
- strong field
UNIQUENESS OF u-GIBBS MEASURES FOR HYPERBOLIC SKEW PRODUCTS ON T4
Sylvain Crovisier, Davi Obata, Mauricio Poletti
correctmedium confidence- arXiv ID
- 2209.09151
- Category
- Not specified
- Journal tier
- strong field
Fixed-Order H-Infinity Controller Design for Port-Hamiltonian Systems
Paul Schwerdtner, Matthias Voigt
correctmedium confidence- arXiv ID
- 2209.07558
- Category
- Not specified
- Journal tier
- specialist/solid
Transport in Reservoir Computing
G Manjunath, Juan-Pablo Ortega
correctmedium confidence- arXiv ID
- 2209.07946
- Category
- math.DS
- Journal tier
- strong field
RECURRENT SET ON SOME BEDFORD-MCMULLEN CARPETS
Yu-Liang Wu, Na Yuan
correctmedium confidence- arXiv ID
- 2209.07315
- Category
- Not specified
- Journal tier
- specialist/solid
Nonlinear Balanced Truncation: Part 1—Computing Energy Functions
Boris Kramer, Serkan Gugercin, Jeff Borggaard
correctmedium confidence- arXiv ID
- math.DS/2209.07645
- Category
- math.DS
- Journal tier
- Not assigned
ON THE GAUSS-KUZMIN-LÉVY PROBLEM FOR NEAREST INTEGER CONTINUED FRACTIONS
Florin P. Boca, Maria Siskaki
correctmedium confidence- arXiv ID
- 2209.07452
- Category
- Not specified
- Journal tier
- specialist/solid
Identifiability Analysis of Noise Covariances for LTI Stochastic Systems with Unknown Inputs
He Kong, Salah Sukkarieh, Travis J. Arnold, Tianshi Chen, Biqiang Mu, Wei Xing Zheng
correctmedium confidence- arXiv ID
- 2209.07104
- Category
- Not specified
- Journal tier
- strong field
ON PERIODIC SOLUTION FOR THE BOUSSINESQ SYSTEM ON REAL HYPERBOLIC MANIFOLDS
Pham Truong Xuan, Ha Trung
correctmedium confidence- arXiv ID
- 2209.07803
- Category
- math.DS
- Journal tier
- specialist/solid
ANDERSON LOCALIZATION FOR THE QUASI-PERIODIC CMV MATRICES WITH VERBLUNSKY COEFFICIENTS DEFINED BY THE SKEW-SHIFT
Yanxue Lin, Daxiong Piao, Shuzheng Guo
correctmedium confidence- arXiv ID
- 2209.07012
- Category
- Not specified
- Journal tier
- specialist/solid
Biquadratic Nontwist Map: a model for shearless bifurcations
G. C. Grime, M. Roberto, R. L. Viana, Y. Elskens, I. L. Caldas
correctmedium confidence- arXiv ID
- 2209.07408
- Category
- Not specified
- Journal tier
- specialist/solid
Proof of a conjecture by H. Dullin and R. Montgomery
Gabriella Pinzari
correctmedium confidence- arXiv ID
- 2209.07097
- Category
- Not specified
- Journal tier
- top field-leading
ALUTHGE TRANSFORMS OF GENERALIZED HYPERBOLIC OPERATORS
Linh T. T. Tran
incompletemedium confidence- arXiv ID
- 2209.07260
- Category
- Not specified
- Journal tier
- note/short/other
Technical Report on Optimal Linear Multiple Estimation for Landmark-Based Planning via Control Synthesis
Chenfei Wang, Roberto Tron
correctmedium confidence- arXiv ID
- 2209.06868
- Category
- Not specified
- Journal tier
- specialist/solid
Transitive points in CR-dynamical systems
Iztok Banič, Goran Erceg, Sina Greenwood, Judy Kennedy
correcthigh confidence- arXiv ID
- 2209.07605
- Category
- Not specified
- Journal tier
- specialist/solid
Nonlinear dynamic analysis of asymmetric bistable energy harvesters
João Pedro Norenberg, Roberto Luo, Vinicius Gonçalves Lopes, João Victor L. L. Peterson, Americo Cunha Jr
incompletemedium confidence- arXiv ID
- 2209.06906
- Category
- math.DS
- Journal tier
- strong field
Global dynamics of a COVID-19 model with asymptomatic infections and quarantine measures
Songbai Guo, Yuling Xue, Xiliang Li, Zuohuan Zheng
correcthigh confidence- arXiv ID
- 2209.05240
- Category
- Not specified
- Journal tier
- strong field
MODELLING POLARITY-DRIVEN LAMINAR PATTERNS IN BILAYER TISSUES WITH MIXED SIGNALLING MECHANISMS
Joshua W. Moore, Trevor C. Dale, Thomas E. Woolley
correctmedium confidence- arXiv ID
- 2209.06753
- Category
- Not specified
- Journal tier
- specialist/solid
ALGEBRAIC SEMIGROUP ACTIONS I. C*-ALGEBRAS AND GROUPOIDS
Chris Bruce, Xin Li
correctmedium confidence- arXiv ID
- 2209.05823
- Category
- Not specified
- Journal tier
- strong field
Orbits Closeness for Slowly Mixing Dynamical Systems
Jérôme Rousseau, Mike Todd
correctmedium confidence- arXiv ID
- 2209.06594
- Category
- Not specified
- Journal tier
- specialist/solid
Finite Necessary and Sufficient Stability Conditions for Linear System with Pointwise and Distributed Delays
Alejandro Castaño, Carlos Cuvas, Alexey Egorov, Sabine Mondié
correctmedium confidence- arXiv ID
- 2209.06748
- Category
- math.DS
- Journal tier
- specialist/solid
Rotating shallow water equations with bottom drag: bifurcations and growth due to kinetic energy backscatter
Artur Prugger, Jens D. M. Rademacher, Jichen Yang
correctmedium confidence- arXiv ID
- 2209.06651
- Category
- Not specified
- Journal tier
- specialist/solid
Exploring the use of Transition Path Theory in building an oil spill prediction scheme
M.J. Olascoaga, F.J. Beron-Vera
correctmedium confidence- arXiv ID
- 2209.06055
- Category
- Not specified
- Journal tier
- specialist/solid
Explicit Dynamical Systems on the Sierpiński Curve
Worapan Homsomboon
correctmedium confidence- arXiv ID
- 2209.05019
- Category
- Not specified
- Journal tier
- specialist/solid
Selberg Zeta Functions, Cuspidal Accelerations, and Existence of Strict Transfer Operator Approaches
Anke Pohl, Paul Wabnitz
correctmedium confidence- arXiv ID
- 2209.05927
- Category
- math.DS
- Journal tier
- strong field