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
- 87 / 778
- Page Size
- 40
MULTIPLY MINIMAL POINTS FOR THE PRODUCT OF ITERATES
Wen Huang, Song Shao, Xiangdong Ye
correctmedium confidence- arXiv ID
- 2103.16759
- Category
- Not specified
- Journal tier
- strong field
Germ-typicality of the coexistence of infinitely many sinks
Pierre Berger, Sylvain Crovisier, Enrique Pujals
correctmedium confidence- arXiv ID
- 2103.16697
- Category
- Not specified
- Journal tier
- strong field
Randomised one-step time integration methods for deterministic operator differential equations
Han Cheng Lie, Martin Stahn, T. J. Sullivan
correctmedium confidence- arXiv ID
- 2103.16506
- Category
- math.DS
- Journal tier
- specialist/solid
Veelike actions and the MCG of a mixing SFT
Ville Salo
correctmedium confidence- arXiv ID
- 2103.15505
- Category
- Not specified
- Journal tier
- specialist/solid
Comparing Finite-Time Lyapunov Exponents and Lagrangian Descriptors for identifying phase space structures in a simple two-dimensional, time-periodic double-gyre model
Timothy Getscher
incompletemedium confidence- arXiv ID
- 2103.15557
- Category
- math.DS
- Journal tier
- specialist/solid
Predator-prey ecosystem with group defence in prey against generalist predator
Sarit Maitra, Rajesh Ranjan Patra, Soumen Kundu
correctmedium confidence- arXiv ID
- 2103.16263
- Category
- Not specified
- Journal tier
- specialist/solid
Stability of Multi-Microgrids: New Certificates, Distributed Control, and Braess’s Paradox
Amin Gholami, Xu Andy Sun
correctmedium confidence- arXiv ID
- 2103.15308
- Category
- Not specified
- Journal tier
- strong field
SARS-CoV-2 spread and quarantine fatigue: a theoretical model
Ariel Félix Gualtieri, Pedro Hecht
incompletemedium confidenceCounterexample- arXiv ID
- 2103.14192
- Category
- Not specified
- Journal tier
- note/short/other
Mean dimension theory in symbolic dynamics for finitely generated amenable groups
Yunping Wang, Ercai Chen, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2103.14817
- Category
- math.DS
- Journal tier
- specialist/solid
Detection of Functional Communities in Networks of Randomly Coupled Oscillators Using the Dynamic-Mode Decomposition
Christopher W. Curtis, Mason A. Porter
wrongmedium confidence- arXiv ID
- 2103.14763
- Category
- math.DS
- Journal tier
- specialist/solid
From the distributions of times of interactions to preys and predators dynamical systems
Vincent Bansaye, Bertand Cloez
correctmedium confidence- arXiv ID
- 2103.16303
- Category
- Not specified
- Journal tier
- strong field
DISTRIBUTION OF THE REDUCED QUADRATIC IRRATIONALS ARISING FROM THE ODD CONTINUED FRACTION EXPANSION
Maria Siskaki
incompletemedium confidence- arXiv ID
- 2103.15962
- Category
- Not specified
- Journal tier
- specialist/solid
Moving modulating pulse and front solutions of permanent form in a FPU model with nearest and next-to-nearest neighbor interaction
Bastian Hilder, Björn de Rijk, Guido Schneider
correctmedium confidence- arXiv ID
- 2103.14551
- Category
- Not specified
- Journal tier
- strong field
PERIODIC POINTS AND SHADOWING PROPERTY FOR GENERIC LEBESGUE MEASURE PRESERVING INTERVAL MAPS
Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy
correctmedium confidence- arXiv ID
- 2103.14309
- Category
- Not specified
- Journal tier
- strong field
Comments on the cosmic convergence of nonexpansive maps
Armando W. Gutiérrez, Anders Karlsson
wronghigh confidenceCounterexample- arXiv ID
- 2103.14499
- Category
- math.DS
- Journal tier
- specialist/solid
A Paradifferential Approach for Hyperbolic Dynamical Systems and Applications
Colin Guillarmou, Thibault De Poyferré
correcthigh confidence- arXiv ID
- 2103.15397
- Category
- Not specified
- Journal tier
- strong field
Dynamical System of a Quadratic Stochastic Operator with Two Discontinuity Points
Sh.B. Abdurakhimova, U. A. Rozikov
wronghigh confidence- arXiv ID
- 2103.14834
- Category
- math.DS
- Journal tier
- specialist/solid
Classical n-body scattering with long-range potentials
Jacques Féjoz, Andreas Knauf, Richard Montgomery
correctmedium confidence- arXiv ID
- 2103.13717
- Category
- math.DS
- Journal tier
- specialist/solid
Stability, convergence and bifurcation in some models of chemical kinetics
Abuthahir Abdulrahuman, Kalyan Chakrabarti, Gaurav Raina
correctmedium confidence- arXiv ID
- 2103.13016
- Category
- math.DS
- Journal tier
- specialist/solid
HISTORIC WANDERING DOMAINS NEAR CYCLES
Pablo G. Barrientos
correctmedium confidence- arXiv ID
- 2103.11964
- Category
- Not specified
- Journal tier
- strong field
p-adic Directions of Primitive Vectors
Antonin Guilloux, Tal Horesh
correcthigh confidence- arXiv ID
- 2103.10889
- Category
- math.DS
- Journal tier
- specialist/solid
Stability of smooth periodic traveling waves in the Camassa–Holm equation
Anna Geyer, Renan H. Martins, Fábio Natali, Dmitry E. Pelinovsky
correcthigh confidence- arXiv ID
- 2103.12183
- Category
- Not specified
- Journal tier
- strong field
Universal Minimal Flows of Extensions of and by Compact Groups
Dana Bartošová
correcthigh confidence- arXiv ID
- 2103.10991
- Category
- Not specified
- Journal tier
- specialist/solid
Strictly Decentralized Adaptive Estimation of External Fields using Reproducing Kernels
Jia Guo, Michael E. Kepler, Sai Tej Paruchuri, Haoran Wang, Andrew J. Kurdila, Daniel J. Stilwell
incompletemedium confidence- arXiv ID
- 2103.12721
- Category
- math.DS
- Journal tier
- strong field
Use of mathematical modelling to assess respiratory syncytial virus epidemiology and interventions: A literature review
John C. Lang
incompletemedium confidence- arXiv ID
- 2103.12808
- Category
- Not specified
- Journal tier
- specialist/solid
PERSISTENT STRANGE ATTRACTORS IN 3D POLYMATRIX REPLICATORS
Telmo Peixe, Alexandre A. Rodrigues
incompletehigh confidence- arXiv ID
- 2103.11242
- Category
- Not specified
- Journal tier
- specialist/solid
On the C8/3-Regularisation of Simultaneous Binary Collisions in the Planar 4-Body Problem
Nathan Duignan, Holger R. Dullin
correctmedium confidence- arXiv ID
- 2103.13004
- Category
- Not specified
- Journal tier
- strong field
When K = [0, 1] Weak Separation Condition coincides Finite type Condition
Prabhjot Singh, A.V. Tetenov
correctmedium confidence- arXiv ID
- 2103.10364
- Category
- Not specified
- Journal tier
- specialist/solid
EFFECTIVE DISCRETENESS RADIUS OF STABILISERS FOR STATIONARY ACTIONS
T. Gelander, A. Levit, G.A. Margulis
correctmedium confidence- arXiv ID
- 2103.11875
- Category
- math.DS
- Journal tier
- strong field
Finiteness Theorems on Elliptical Billiards and a Variant of the Dynamical Mordell–Lang Conjecture
Pietro Corvaja, Umberto Zannier
correctmedium confidenceCounterexample- arXiv ID
- 2103.11347
- Category
- math.DS
- Journal tier
- strong field
Finite-Horizon, Energy-Optimal Trajectories in Unsteady Flows
Kartik Krishna, Zhuoyuan Song, Steven L. Brunton
correctmedium confidence- arXiv ID
- 2103.10556
- Category
- Not specified
- Journal tier
- specialist/solid
Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups, II
Hirokazu Maruhashi
correctmedium confidence- arXiv ID
- 2103.12402
- Category
- Not specified
- Journal tier
- strong field
On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation
N. E. Glatt-Holtz, V. R. Martinez, G. H. Richards
correctmedium confidence- arXiv ID
- 2103.12942
- Category
- Not specified
- Journal tier
- strong field
MAJORANT SERIES FOR THE N-BODY PROBLEM
Mikel Antoñana, Philippe Chartier, Ander Murua
correctmedium confidence- arXiv ID
- 2103.12839
- Category
- math.DS
- Journal tier
- strong field
Non-autonomous scalar linear-dissipative and purely dissipative parabolic PDEs over a compact base flow
Rafael Obaya, Ana M. Sanz
correctmedium confidence- arXiv ID
- 2103.10448
- Category
- math.DS
- Journal tier
- specialist/solid
On the validity of the stochastic quasi-steady-state approximation in open enzyme catalyzed reactions: Timescale separation or singular perturbation?
Justin Eilertsen, Santiago Schnell
correctmedium confidence- arXiv ID
- 2103.10566
- Category
- math.DS
- Journal tier
- specialist/solid
Topological Mild Mixing of All Orders Along Polynomials
Yang Cao, Song Shao
correctmedium confidence- arXiv ID
- 2103.10835
- Category
- Not specified
- Journal tier
- specialist/solid
Asymptotic and finite-time cluster synchronization of coupled time-varying delayed neural networks
Juan Cao, Fengli Ren, Dacheng Zhou
correctmedium confidence- arXiv ID
- 2103.09625
- Category
- math.DS
- Journal tier
- specialist/solid
SINGULARLY PERTURBED BOUNDARY-EQUILIBRIUM BIFURCATIONS
S. Jelbart, K. U. Kristiansen, M. Wechselberger
correctmedium confidence- arXiv ID
- 2103.09613
- Category
- math.DS
- Journal tier
- strong field
Closed Subgroups Generated by Generic Measure Preserving Transformations
Slawomir Solecki
correctmedium confidence- arXiv ID
- 2103.09429
- Category
- Not specified
- Journal tier
- strong field