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
- 53 / 778
- Page Size
- 40
Solving nonlinear ordinary differential equations using the invariant manifolds and Koopman eigenfunctions
Megan Morrison, J. Nathan Kutz
correcthigh confidence- arXiv ID
- 2208.08529
- Category
- Not specified
- Journal tier
- specialist/solid
On parameter identifiability in network-based epidemic models
István Z. Kiss, Péter L. Simon
correctmedium confidence- arXiv ID
- 2208.07543
- Category
- Not specified
- Journal tier
- strong field
Travelling waves and heteroclinic networks in models of spatially-extended cyclic competition
David C Groothuizen Dijkema, Claire M Postlethwaite
wrongmedium confidence- arXiv ID
- 2208.05630
- Category
- math.DS
- Journal tier
- specialist/solid
Functional Equations in Formal Power Series
Fedor Pakovich
correcthigh confidence- arXiv ID
- 2208.08365
- Category
- Not specified
- Journal tier
- strong field
Foliated and compactly supported isotopies of regular neighborhoods
Oleksandra Khokhliuk, Sergiy Maksymenko
correctmedium confidence- arXiv ID
- 2208.05876
- Category
- Not specified
- Journal tier
- specialist/solid
A Dynamical Thouless Formula
Jamerson Bezerra, Ao Cai, Pedro Duarte, Catalina Freijo, Silvius Klein
correcthigh confidence- arXiv ID
- 2208.06022
- Category
- Not specified
- Journal tier
- strong field
LARGE HYPERBOLIC CIRCLES
Emilio Corso, Davide Ravotti
correctmedium confidence- arXiv ID
- 2208.07771
- Category
- math.DS
- Journal tier
- strong field
On weighted pseudo almost automorphic mild solutions for some mean field stochastic evolution equations.
Moustapha Dieye, Amadou Diop, Mamadou Moustapha Mbaye, Mark A. McKibben
correctmedium confidence- arXiv ID
- 2208.06076
- Category
- Not specified
- Journal tier
- specialist/solid
THE GROWTH OF A FIXED CONJUGACY CLASS IN NEGATIVE CURVATURE
Pouya Honaryar
correcthigh confidence- arXiv ID
- 2208.05165
- Category
- Not specified
- Journal tier
- strong field
A UNIVERSAL LOWER BOUND FOR THE DISCREPANCIES OF ACTIONS OF A LOCALLY COMPACT GROUP
Antoine Pinochet Lobos, Christophe Pittet
correctmedium confidence- arXiv ID
- 2208.06330
- Category
- Not specified
- Journal tier
- specialist/solid
Charmenability and Stiffness of Arithmetic Groups
Uri Bader, Itamar Vigdorovich
correctmedium confidence- arXiv ID
- 2208.07347
- Category
- Not specified
- Journal tier
- strong field
Novel slow-fast behaviour in an oscillator driven by a frequency-switching force
Carles Bonet, Mike R. Jeffrey, Pau Martín, Josep M. Olm
correctmedium confidence- arXiv ID
- 2208.04577
- Category
- Not specified
- Journal tier
- specialist/solid
A DICHOTOMY FOR THE DIMENSION OF SRB MEASURE
Haojie Ren
correcthigh confidence- arXiv ID
- 2208.04576
- Category
- math.DS
- Journal tier
- strong field
Second Order Ensemble Langevin Method for Sampling and Inverse Problems
Ziming Liu, Andrew Stuart, Yixuan Wang
correctmedium confidence- arXiv ID
- 2208.04506
- Category
- math.DS
- Journal tier
- strong field
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan
correctmedium confidence- arXiv ID
- 2208.03889
- Category
- Not specified
- Journal tier
- specialist/solid
PDE-Based Optimization for Advection Diffusion Equation in 2D Domain
Yunfei Song
wrongmedium confidence- arXiv ID
- 2208.03634
- Category
- math.DS
- Journal tier
- specialist/solid
Minimizing movement scheme for intrinsic aggregation on compact Riemannian manifolds
Joaquín Sánchez García
correcthigh confidence- arXiv ID
- 2208.02422
- Category
- Not specified
- Journal tier
- specialist/solid
Model reduction for constrained mechanical systems via spectral submanifolds
Mingwu Li, Shobhit Jain, George Haller
correctmedium confidence- arXiv ID
- 2208.03119
- Category
- Not specified
- Journal tier
- strong field
External field and critical exponents in controlling dynamics on complex networks
Hillel Sanhedrai, Shlomo Havlin
correctmedium confidence- arXiv ID
- 2208.03187
- Category
- math.DS
- Journal tier
- strong field
Differential-algebraic systems with dissipative Hamiltonian structure
V. Mehrmann, A. J. van der Schaft
correctmedium confidence- arXiv ID
- 2208.02737
- Category
- Not specified
- Journal tier
- strong field
Quantum Mechanics for Closure of Dynamical Systems
David C. Freeman, Dimitrios Giannakis, Joanna Slawinska
correctmedium confidence- arXiv ID
- 2208.03390
- Category
- Not specified
- Journal tier
- strong field
SYSTEMATIC REVIEW OF NEWTON-SCHULZ ITERATIONS WITH UNIFIED FACTORIZATIONS : INTEGRATION IN THE RICHARDSON METHOD AND APPLICATION TO ROBUST FAILURE DETECTION IN ELECTRICAL NETWORKS
Alexander Stotsky
correctmedium confidence- arXiv ID
- 2208.04068
- Category
- Not specified
- Journal tier
- specialist/solid
UNIFORM SYNDETICITY IN MULTIPLE RECURRENCE
Asgar Jamneshan, Minghao Pan
correcthigh confidence- arXiv ID
- 2208.02833
- Category
- math.DS
- Journal tier
- specialist/solid
Upper bound on the regularity of the Lyapunov exponent for random products of matrices
Jamerson Bezerra, Pedro Duarte
correcthigh confidence- arXiv ID
- 2208.03575
- Category
- Not specified
- Journal tier
- strong field
Pattern alternations induced by nonlocal interactions
Swadesh Pal, Roderick Melnik, Malay Banerjee
correctmedium confidence- arXiv ID
- 2208.03533
- Category
- Not specified
- Journal tier
- strong field
Small changes at single nodes can shift global network dynamics
Kalel L. Rossi, Roberto C. Budzinski, Bruno R. R. Boaretto, Lyle E. Muller, Ulrike Feudel
correctmedium confidence- arXiv ID
- 2208.02325
- Category
- Not specified
- Journal tier
- specialist/solid
Abundance of Infinite Switching
Alexandre A. P. Rodrigues, Luísa Castro
correctmedium confidence- arXiv ID
- 2208.02085
- Category
- Not specified
- Journal tier
- strong field
THE NON-ITERATES ARE DENSE IN THE SPACE OF CONTINUOUS SELF-MAPS
B. V. Rajarama Bhat, Chaitanya Gopalakrishna
correcthigh confidence- arXiv ID
- 2208.04093
- Category
- Not specified
- Journal tier
- specialist/solid
HOPF BIFURCATIONS OF REACTION NETWORKS WITH ZERO-ONE STOICHIOMETRIC COEFFICIENTS
Xiaoxian Tang, Kaizhang Wang
correcthigh confidence- arXiv ID
- 2208.04196
- Category
- Not specified
- Journal tier
- strong field
Zariski Dense Orbit Conjecture on Birational Automorphisms of Projective Threefolds
Sichen Li
correctmedium confidence- arXiv ID
- 2208.02616
- Category
- math.DS
- Journal tier
- specialist/solid
Gradient descent provably escapes saddle points in the training of shallow ReLU networks
Patrick Cheridito, Arnulf Jentzen, Florian Rossmannek
correctmedium confidence- arXiv ID
- 2208.02083
- Category
- math.DS
- Journal tier
- strong field
Diffusion Processes: entropy, Gibbs states and the continuous time Ruelle operator
A. O. Lopes, G. Muller, A. Neumann
correcthigh confidence- arXiv ID
- 2208.01993
- Category
- Not specified
- Journal tier
- specialist/solid
On p-harmonic self-maps of spheres
Volker Branding, Anna Siffert
correcthigh confidence- arXiv ID
- 2208.00705
- Category
- math.DS
- Journal tier
- specialist/solid
Uniqueness and Stability of Limit Cycles in Planar Piecewise Linear Differential Systems Without Sliding Region
Victoriano Carmona, Fernando Fernández-Sánchez, Douglas D. Novaes
correcthigh confidence- arXiv ID
- 2207.14634
- Category
- Not specified
- Journal tier
- strong field
Thermodynamic Formalism on the Skorokhod space: the continuous time Ruelle operator, entropy, pressure, entropy production and expansiveness
J. Knorst, A. O. Lopes, G. Muller, A. Neumann
wrongmedium confidence- arXiv ID
- 2208.01989
- Category
- math.DS
- Journal tier
- strong field
A Comprehensive and Detailed Within-Host Modeling Study involving crucial biomarkers and Optimal Drug regimen for Type - I Lepra Reaction : A Deterministic Approach
Dinesh Nayak, Bishal Chhetri, D. K. K. Vamsi, Swapna Muthusamy, Vijay M. Bhagat
incompletemedium confidence- arXiv ID
- 2208.01980
- Category
- Not specified
- Journal tier
- specialist/solid
A sensitivity-based approach to optimal sensor selection for process networks
Siyu Liu, Xunyuan Yin, Zhichao Pan, Jinfeng Liu
wrongmedium confidenceCounterexample- arXiv ID
- 2208.00584
- Category
- math.DS
- Journal tier
- specialist/solid
Dynamical properties of minimal Ferenczi subshifts
Felipe Arbulú, Fabien Durand
correctmedium confidence- arXiv ID
- 2207.14097
- Category
- Not specified
- Journal tier
- strong field
Relatively Anosov Representations via Flows I: Theory
Feng Zhu, Andrew Zimmer
correctmedium confidence- arXiv ID
- 2207.14737
- Category
- Not specified
- Journal tier
- strong field
ADDITIONAL FOOD CAUSES PREDATOR "EXPLOSION" - UNLESS THE PREDATORS COMPETE
Rana D. Parshad, Sureni Wickramsooriya, Kwadwo Antwi-Fordjour, Aniket Banerjee
wronghigh confidenceCounterexample- arXiv ID
- 2208.00153
- Category
- math.DS
- Journal tier
- strong field