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
- 49 / 778
- Page Size
- 40
LOWER SEMI-CONTINUITY OF LAGRANGIAN VOLUME
Erman Çineli, Viktor L. Ginzburg, Başak Z. Gürel
correcthigh confidence- arXiv ID
- 2210.04357
- Category
- math.DS
- Journal tier
- specialist/solid
Averaging principle for slow-fast systems of rough differential equations via controlled paths
Yuzuru Inahama
correctmedium confidence- arXiv ID
- 2210.01334
- Category
- math.DS
- Journal tier
- strong field
Probabilistic solutions of fractional differential and partial differential equations and their Monte Carlo simulations
Tamer Oraby, Harrinson Arrubla, Erwin Suazo
wrongmedium confidence- arXiv ID
- 2210.02955
- Category
- math.DS
- Journal tier
- specialist/solid
Stochastic Resonance in Climate Reddening Increases the Risk of Cyclic Ecosystem Extinction via Phase-tipping.
Hassan Alkhayuon, Jessa Marley, Sebastian Wieczorek, Rebecca C. Tyson
incompletehigh confidence- arXiv ID
- 2210.02797
- Category
- Not specified
- Journal tier
- strong field
HYPERUNIFORMITY AND NON-HYPERUNIFORMITY OF QUASICRYSTALS
Michael Björklund, Tobias Hartnick
correctmedium confidence- arXiv ID
- 2210.02151
- Category
- Not specified
- Journal tier
- strong field
Dynamics of a linearly-perturbed May–Leonard competition model
Gabriela Jaramillo, Lidia Mrad, Tracy L. Stepien
correctmedium confidence- arXiv ID
- 2210.04342
- Category
- math.DS
- Journal tier
- strong field
Some Pointwise and Decidable Properties of Non-Uniform Cellular Automata
Xuan Kien Phung
correctmedium confidence- arXiv ID
- 2210.00676
- Category
- Not specified
- Journal tier
- strong field
Bifurcation analysis of Bogdanov–Takens bifurcations in delay differential equations
M.M. Bosschaert, Yu.A. Kuznetsov
correctmedium confidence- arXiv ID
- 2210.02560
- Category
- math.DS
- Journal tier
- specialist/solid
A NONUNIFORM MARKUS–YAMABE CONJECTURE: TRIANGULAR CASE VIA UNIFORMIZATION
Álvaro Castañeda, Ignacio Huerta, Gonzalo Robledo
correcthigh confidence- arXiv ID
- 2210.01943
- Category
- Not specified
- Journal tier
- strong field
Reconfigurable Timed Discrete-Event Systems
Matin Macktoobian
correctmedium confidence- arXiv ID
- 2210.01319
- Category
- Not specified
- Journal tier
- strong field
Stability of Smooth Periodic Traveling Waves in the Degasperis–Procesi Equation
Anna Geyer, Dmitry E. Pelinovsky
correctmedium confidence- arXiv ID
- 2210.03063
- Category
- math.DS
- Journal tier
- strong field
Generic Mean Curvature Flows with Cylindrical Singularities
Ao Sun, Jinxin Xue
correctmedium confidence- arXiv ID
- 2210.00419
- Category
- Not specified
- Journal tier
- strong field
Creating hyperbolic-regular singularities in the presence of an S1-symmetry
Yannick Gullentops, Sonja Hohloch
correctmedium confidence- arXiv ID
- 2209.15631
- Category
- Not specified
- Journal tier
- specialist/solid
Weak heirs, coheirs and the Ellis semigroups
Adam Malinowski, Ludomir Newelski
correctmedium confidence- arXiv ID
- 2209.14838
- Category
- math.DS
- Journal tier
- specialist/solid
Low-dimensional models of single neurons: A review
Ulises Chialva, Vicente González Boscá, Horacio G. Rotstein
correctmedium confidence- arXiv ID
- 2209.14751
- Category
- Not specified
- Journal tier
- specialist/solid
Parameter identification from single trajectory data: from linear to nonlinear
X Duan, J E Rubin, D Swigon
correctmedium confidence- arXiv ID
- 2209.14191
- Category
- Not specified
- Journal tier
- strong field
The eventual image
Tom Leinster
correcthigh confidence- arXiv ID
- 2210.00302
- Category
- Not specified
- Journal tier
- specialist/solid
A sensitivity analysis of a gonorrhoea dynamics and control model
Louis Omenyi, Aloysius Ezaka, Henry O. Adagba, Gerald Ozoigbo, Kafayat Elebute
wrongmedium confidenceCounterexample- arXiv ID
- 2209.15419
- Category
- math.DS
- Journal tier
- note/short/other
Mechanistic models of α-synuclein homeostasis for Parkinson’s disease: A blueprint for therapeutic intervention
Elena Righetti, Alice Antonello, Luca Marchetti, Enrico Domenici, Federico Reali
incompletemedium confidence- arXiv ID
- 2209.15524
- Category
- math.DS
- Journal tier
- specialist/solid
EVOLUTIONARY BEHAVIOR IN A TWO-LOCUS SYSTEM
A. M. Diyorov, U. A. Rozikov
correcthigh confidence- arXiv ID
- 2210.00247
- Category
- Not specified
- Journal tier
- specialist/solid
AUTONOMOUS AND NON-AUTONOMOUS UNBOUNDED ATTRACTORS IN EVOLUTIONARY PROBLEMS
Jakub Banaśkiewicz , Alexandre N. Carvalho , Juan Garcia-Fuentes , Piotr Kalita
correctmedium confidence- arXiv ID
- 2209.13286
- Category
- Not specified
- Journal tier
- strong field
JULIA SETS WITH AHLFORS-REGULAR CONFORMAL DIMENSION ONE
Insung Park
correctmedium confidence- arXiv ID
- 2209.13384
- Category
- math.DS
- Journal tier
- strong field
Topological fractals revisited
Klára Karasová, Benjamin Vejnar
correcthigh confidence- arXiv ID
- 2209.15394
- Category
- math.DS
- Journal tier
- specialist/solid
ROCHBERG’S ABSTRACT COBOUNDARY THEOREM REVISITED
Catalin Badea, Oscar Devys
correctmedium confidence- arXiv ID
- 2209.15124
- Category
- Not specified
- Journal tier
- specialist/solid
SADDLE-NODE BIFURCATIONS IN CHEMICAL REACTION NETWORKS
Nicola Vassena
correcthigh confidence- arXiv ID
- 2209.14705
- Category
- Not specified
- Journal tier
- strong field
Neural Integral Equations
Emanuele Zappala, Antonio Henrique de Oliveira Fonseca, Josue Ortega Caro, David van Dijk
incompletemedium confidence- arXiv ID
- 2209.15190
- Category
- math.DS
- Journal tier
- strong field
Assouad-type Dimensions of Overlapping Self-affine Sets
Jonathan M. Fraser, Alex Rutar
correctmedium confidence- arXiv ID
- 2209.13952
- Category
- Not specified
- Journal tier
- strong field
On Unique Ergodicity Of Coupled AIMD Flows
Pietro Ferraro, Jia Yuan Yu, Ramen Ghosh, Syed Eqbal Alam, Jakub Marecek, Fabian Wirth, Robert Shorten
correctmedium confidence- arXiv ID
- 2209.13273
- Category
- math.DS
- Journal tier
- strong field
Non-Integrability of the Trapped Ionic System II
Georgi Georgiev
incompletemedium confidence- arXiv ID
- 2209.13810
- Category
- Not specified
- Journal tier
- specialist/solid
Circularity of Thermodynamical Material Networks: Indicators, Examples and Algorithms
Federico Zocco, Beatrice Smyth, Pantelis Sopasakis
wrongmedium confidence- arXiv ID
- 2209.15051
- Category
- math.DS
- Journal tier
- specialist/solid
Solvability of time-varying infinite-dimensional linear port-Hamiltonian systems
Mikael Kurula
correctmedium confidence- arXiv ID
- 2210.00056
- Category
- Not specified
- Journal tier
- specialist/solid
A mechanism for ejecting a horseshoe from a partially hyperbolic chain recurrence class
Christian Bonatti, Katsutoshi Shinohara
correcthigh confidence- arXiv ID
- 2209.13245
- Category
- Not specified
- Journal tier
- specialist/solid
Controlling mean exit time of stochastic dynamical systems based on quasipotential and machine learning
Yang Li, Shenglan Yuan, Shengyuan Xu
incompletemedium confidence- arXiv ID
- 2209.13098
- Category
- math.DS
- Journal tier
- specialist/solid
Koopman Reduced Order Modeling with Confidence Bounds
Ryan Mohr, Maria Fonoberova, Igor Mezić
correctmedium confidence- arXiv ID
- 2209.13127
- Category
- Not specified
- Journal tier
- specialist/solid
MATHER β-FUNCTION FOR ELLIPSES AND RIGIDITY
Misha Bialy
correctmedium confidence- arXiv ID
- 2209.12765
- Category
- Not specified
- Journal tier
- specialist/solid
Doubly Intermittent Full Branch Maps with Critical Points and Singularities
Douglas Coates, Stefano Luzzatto, Muhammad Mubarak
correctmedium confidence- arXiv ID
- 2209.12725
- Category
- math.DS
- Journal tier
- strong field
A (Strongly) Connected Weighted Graph is Uniformly Detectable based on any Output Node
Uduak Inyang-Udoh, Michael Shanks, Neera Jain
wrongmedium confidenceCounterexample- arXiv ID
- 2209.13119
- Category
- math.DS
- Journal tier
- specialist/solid
Comparative analysis of carbon cycle models via kinetic representations
Noel T. Fortun, Eduardo R. Mendoza
correctmedium confidence- arXiv ID
- 2209.12143
- Category
- math.DS
- Journal tier
- specialist/solid
Stochastic Assessment of Acceleration Probability Density Function for Parametric Rolling Using Moment Method
Yuuki Maruyama, Atsuo Maki, Leo Dostal, Naoya Umeda
incompletemedium confidence- arXiv ID
- 2209.11942
- Category
- math.DS
- Journal tier
- specialist/solid
ABSOLUTELY PERIODIC BILLIARD ORBITS OF ARBITRARILY HIGH ORDER
Keagan G. Callis
correctmedium confidence- arXiv ID
- 2209.11721
- Category
- Not specified
- Journal tier
- strong field