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
- 66 / 778
- Page Size
- 40
Submodularity-based False Data Injection Attack Scheme in Multi-agent Dynamical Systems
Xiaoyu Luo, Chengcheng Zhao, Chongrong Fang, Jianping He
wronghigh confidenceCounterexample- arXiv ID
- 2201.06017
- Category
- math.DS
- Journal tier
- specialist/solid
Retinal processing: insights from mathematical modelling
Bruno Cessac
incompletemedium confidence- arXiv ID
- math.DS/2201.06795
- Category
- math.DS
- Journal tier
- Not assigned
The wrought iron beauty of Poncelet loci
Dan Reznik
incompletemedium confidence- arXiv ID
- 2201.06960
- Category
- math.DS
- Journal tier
- note/short/other
Dynamics of an SIRWS model with waning of immunity and varying immune boosting period
Richmond Opoku-Sarkodie, Ferenc A. Bartha, Mónika Polner, Gergely Röst
correctmedium confidence- arXiv ID
- 2201.07137
- Category
- Not specified
- Journal tier
- strong field
LOWER BOUNDS FOR GENERA OF FIBER PRODUCTS
Fedor Pakovich
correcthigh confidence- arXiv ID
- 2201.08231
- Category
- Not specified
- Journal tier
- strong field
STANDING WAVES ON QUANTUM GRAPHS
Adilbek Kairzhan, Diego Noja, Dmitry E. Pelinovsky
correctmedium confidence- arXiv ID
- math.DS/2201.08114
- Category
- math.DS
- Journal tier
- Not assigned
Dynamic Modeling Of Spherical Variable-Shape Wave Energy Converters
Mohamed A. Shabara, Ossama Abdelkhalik
incompletemedium confidence- arXiv ID
- 2201.08942
- Category
- Not specified
- Journal tier
- specialist/solid
Hermite-based, One-step, Variational and Galerkin Time Integrators for Mechanical Systems
Harsh Sharma, Mayuresh Patil, Craig Woolsey
correctmedium confidence- arXiv ID
- 2201.07327
- Category
- Not specified
- Journal tier
- specialist/solid
Control of Port-Hamiltonian Differential-Algebraic Systems and Applications
Volker Mehrmann, Benjamin Unger
correctmedium confidence- arXiv ID
- 2201.06590
- Category
- Not specified
- Journal tier
- strong field
A proof of the uniqueness of the limit cycle of a quasi-homogeneous system
Ziwei Zhuang, Changjian Liu
correcthigh confidence- arXiv ID
- 2201.08107
- Category
- Not specified
- Journal tier
- specialist/solid
Uniqueness of Equilibrium States for Lorenz Attractors in Any Dimension
Maria Jose Pacifico, Fan Yang, Jiagang Yang
correcthigh confidence- arXiv ID
- 2201.06622
- Category
- Not specified
- Journal tier
- strong field
Orders of Oscillation Motivated by Sarnak’s Conjecture, Part II
Yunping Jiang
correctmedium confidence- arXiv ID
- 2201.08800
- Category
- math.DS
- Journal tier
- specialist/solid
Belinskaya’s theorem is optimal
Alessandro Carderi, Matthieu Joseph, François Le Maître, Romain Tessera
correctmedium confidence- arXiv ID
- 2201.06662
- Category
- Not specified
- Journal tier
- strong field
Bumpy Metric Theorem in the Sense of Mané for Non-Convex Hamiltonians
Shahriar Aslani, Patrick Bernard
correctmedium confidence- arXiv ID
- 2201.06793
- Category
- math.DS
- Journal tier
- specialist/solid
Effective error estimation for model reduction with inhomogeneous initial conditions
Björn Liljegren-Sailer
correcthigh confidence- arXiv ID
- 2201.06631
- Category
- math.DS
- Journal tier
- specialist/solid
A simple mechanism for stable oscillations in an intermediate complexity Earth System Model
Andrew Keane, Alexandre Pohl, Henk A. Dijkstra, Andy Ridgwell
correctmedium confidence- arXiv ID
- 2201.07883
- Category
- Not specified
- Journal tier
- specialist/solid
ON MERGING OF STOCHASTIC FLOW OF SEMI-MARKOV DYNAMICS
Anindya Goswami, Ravishankar Kapildev Yadav
correcthigh confidence- arXiv ID
- 2201.05859
- Category
- math.DS
- Journal tier
- strong field
Global stability of SIR model with heterogeneous transmission rate modeled by the Preisach operator
Ruofei Guan, Jana Kopfová, Dmitrii Rachinskii
correcthigh confidence- arXiv ID
- 2201.05722
- Category
- Not specified
- Journal tier
- strong field
On Non-Contractible Periodic Orbits and Bounded Deviations
Xiao-Chuan Liu, Fábio Armando Tal
correcthigh confidence- arXiv ID
- 2201.05661
- Category
- Not specified
- Journal tier
- strong field
Perturbing Subshifts of Finite Type
Nick Ramsey
correctmedium confidence- arXiv ID
- 2201.05656
- Category
- Not specified
- Journal tier
- specialist/solid
Dynamics of small particle inertial migration in curved square ducts
Kyung Ha, Brendan Harding, Andrea L. Bertozzi, Yvonne M. Stokes
incompletemedium confidence- arXiv ID
- math.DS/2201.05645
- Category
- math.DS
- Journal tier
- Not assigned
Modelling physiologically structured populations: renewal equations and partial differential equations
Eugenia Franco, Odo Diekmann, Mats Gyllenberg
correctmedium confidence- arXiv ID
- 2201.05323
- Category
- Not specified
- Journal tier
- strong field
A two-strain reaction-diffusion malaria model with seasonality and vector-bias
Huijie Chu, Zhenguo Bai
correctmedium confidence- arXiv ID
- 2201.05559
- Category
- Not specified
- Journal tier
- strong field
Four-Dimensional Zero-Hopf Bifurcation for a Lorenz-Haken System
Sonia Renteria, Pedro Suárez
wrongmedium confidenceCounterexample- arXiv ID
- 2201.04510
- Category
- math.DS
- Journal tier
- specialist/solid
POISSON APPROXIMATION AND WEIBULL ASYMPTOTICS IN THE GEOMETRY OF NUMBERS
Michael Björklund, Alexander Gorodnik
correctmedium confidence- arXiv ID
- 2201.05116
- Category
- Not specified
- Journal tier
- strong field
On planar holomorphic systems
Luiz F. S. Gouveia, Paulo R. da Silva, Gabriel A. Rondón
incompletemedium confidence- arXiv ID
- 2201.04159
- Category
- math.DS
- Journal tier
- specialist/solid
Data-Driven Modeling and Prediction of Non-Linearizable Dynamics via Spectral Submanifolds
Mattia Cenedese, Joar Axås, Bastian Bäuerlein, Kerstin Avila, George Haller
correctmedium confidence- arXiv ID
- 2201.04976
- Category
- Not specified
- Journal tier
- specialist/solid
Semiclassical formulae for Wigner distributions
Sonja Barkhofen, Philipp Schütte, Tobias Weich
correctmedium confidence- arXiv ID
- 2201.04892
- Category
- Not specified
- Journal tier
- specialist/solid
The Observability in Unobservable Systems
Wei Kang, Liang Xu, Hong Zhou
correctmedium confidence- arXiv ID
- 2201.04186
- Category
- Not specified
- Journal tier
- specialist/solid
Transmissibility in Interactive Nanocomposite Diffusion: The Nonlinear Double-Diffusion Model
Amit K Chattopadhyay, Bidisha Kundu, Sujit Kumar Nath, Elias C Aifantis
incompletemedium confidence- arXiv ID
- 2201.04167
- Category
- Not specified
- Journal tier
- specialist/solid
When do two rational functions have locally biholomorphic Julia sets?
Romain Dujardin, Charles Favre, Thomas Gauthier
correcthigh confidence- arXiv ID
- 2201.04116
- Category
- Not specified
- Journal tier
- strong field
Upper bound on the rate of mixing for the Earthquake flow on moduli spaces
Etienne Bonnafoux
correctmedium confidence- arXiv ID
- 2201.03682
- Category
- Not specified
- Journal tier
- note/short/other
ANOTHER PROOF OF BURGUET’S EXISTENCE THEOREM FOR SRB MEASURES OF C∞ SURFACE DIFFEOMORPHISMS
Jérôme Buzzi, Sylvain Crovisier, Omri Sarig
correcthigh confidence- arXiv ID
- 2201.03165
- Category
- math.DS
- Journal tier
- note/short/other
An Improved Mathematical Model of Sepsis: Modeling, Bifurcation Analysis, and Optimal Control (Study for Complex Nonlinear Infectious Disease System)
Yuyang Chen, Kaiming Bi, Chih-Hang J. Wu, David Ben-Arieh, Ashesh Sinha
incompletemedium confidence- arXiv ID
- 2201.02702
- Category
- math.DS
- Journal tier
- specialist/solid
AN INPUT-TO-STATE SAFETY APPROACH TO ANOMALY-RESILIENT PARABOLIC PDES: APPLICATION TO CYBER-PHYSICAL BATTERY MODULES
Tanushree Roy, Ashley Knichel, Satadru Dey
incompletehigh confidence- arXiv ID
- 2201.02239
- Category
- Not specified
- Journal tier
- specialist/solid
Geometrical representation of subshifts for primitive substitutions
Paul Mercat
correctmedium confidence- arXiv ID
- 2201.01268
- Category
- math.DS
- Journal tier
- specialist/solid
Paulsen and Projection Problems for Banach Spaces
K. Mahesh Krishna
uncertainhigh confidence- arXiv ID
- 2201.00991
- Category
- Not specified
- Journal tier
- specialist/solid
Local minimality properties of circular motions in 1/rα potentials and of the figure-eight solution of the 3-body problem
M. Fenucci
correcthigh confidence- arXiv ID
- 2201.01205
- Category
- Not specified
- Journal tier
- specialist/solid
SCATTERING RIGIDITY FOR ANALYTIC METRICS
Yannick Guedes Bonthonneau, Colin Guillarmou, Malo Jezequel
correcthigh confidence- arXiv ID
- 2201.02100
- Category
- Not specified
- Journal tier
- strong field
On the Hilbert Number for Piecewise Linear Vector Fields with Algebraic Discontinuity Set
Douglas D. Novaes
correcthigh confidence- arXiv ID
- 2201.02019
- Category
- math.DS
- Journal tier
- strong field