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
- 42 / 778
- Page Size
- 40
SYMPLECTIC BILLIARDS FOR PAIRS OF POLYGONS
Peter Albers, Fabian Lander, Jannik M. Westermann
correctmedium confidence- arXiv ID
- 2402.12244
- Category
- math.DS
- Journal tier
- strong field
Moduli of Continuity in Metric Models and Extension of Liveability Indices.
Roger Arnau, J. M. Calabuig, Álvaro González, Enrique A. Sánchez Pérez
incompletehigh confidence- arXiv ID
- 2402.12009
- Category
- Not specified
- Journal tier
- specialist/solid
POSITIVE TOPOLOGICAL ENTROPY OF TONELLI LAGRANGIAN FLOWS
Gonzalo Contreras, José Antônio G. Miranda, Luiz Gustavo Perona
correctmedium confidence- arXiv ID
- 2402.11416
- Category
- math.DS
- Journal tier
- strong field
Global stability and optimal control in a dengue model with fractional order transmission and recovery process
Tahajuddin Sk, Kaushik Bal, Santosh Biswas, Tridip Sardar
incompletemedium confidence- arXiv ID
- 2402.11974
- Category
- Not specified
- Journal tier
- specialist/solid
A Proof of the Persistence of Anti-integrable States for Three-Dimensional Quadratic Diffeomorphisms
Yi-Chiuan Chen
correctmedium confidence- arXiv ID
- 2402.10536
- Category
- Not specified
- Journal tier
- strong field
AMENABLE GROUP ACTIONS ON Lp LATTICES
Antonio M. Scielzo
correctmedium confidence- arXiv ID
- 2402.10112
- Category
- math.DS
- Journal tier
- strong field
C1 PESIN (UN)STABLE MANIFOLD WITHOUT DOMINATION
Yongluo Cao, Zeya Mi, Rui Zou
correcthigh confidence- arXiv ID
- 2402.11263
- Category
- Not specified
- Journal tier
- strong field
Stability of Asymptotic Waves in the Fisher–Stefan Equation
T. T. H. Bui, P. V Heijster, R. Marangell
correctmedium confidence- arXiv ID
- 2402.10361
- Category
- Not specified
- Journal tier
- specialist/solid
On Gibbs measures for almost additive sequences associated to some relative pressure functions
Yuki Yayama
correctmedium confidence- arXiv ID
- 2402.10199
- Category
- Not specified
- Journal tier
- specialist/solid
On O(p)×O(q)-invariant constant mean curvature hypersurfaces with singularity
Hilário Alencar, Ronaldo Garcia, Gregório Silva Neto
correctmedium confidence- arXiv ID
- 2402.09616
- Category
- Not specified
- Journal tier
- strong field
The impact of load placement on grid resonances during grid restoration
Adolfo Anta, Diego Cifelli
correctmedium confidence- arXiv ID
- 2402.09294
- Category
- Not specified
- Journal tier
- specialist/solid
Multi-Hierarchical Surrogate Learning for Structural Dynamical Crash Simulations Using Graph Convolutional Neural Networks
Jonas Kneifl, Jörg Fehr, Steven L. Brunton, J. Nathan Kutz
incompletemedium confidence- arXiv ID
- 2402.09234
- Category
- Not specified
- Journal tier
- specialist/solid
THE MUMFORD DYNAMICAL SYSTEM AND HYPERELLIPTIC KLEINIAN FUNCTIONS
Victor Buchstaber
correctmedium confidence- arXiv ID
- 2402.09218
- Category
- Not specified
- Journal tier
- strong field
Diffeomorphic Measure Matching with Kernels for Generative Modeling
Biraj Pandey, Bamdad Hosseini, Pau Batlle, Houman Owhadi
correcthigh confidence- arXiv ID
- 2402.08077
- Category
- Not specified
- Journal tier
- strong field
Score-Based Physics-Informed Neural Networks for High-Dimensional Fokker-Planck Equations
Zheyuan Hu, Zhongqiang Zhang, George Em Karniadakis, Kenji Kawaguchi
correctmedium confidence- arXiv ID
- 2402.07465
- Category
- Not specified
- Journal tier
- specialist/solid
Interacting Particle Systems on Networks: joint inference of the network and the interaction kernel
Quanjun Lang, Xiong Wang, Fei Lu, Mauro Maggioni
correcthigh confidence- arXiv ID
- 2402.08412
- Category
- Not specified
- Journal tier
- strong field
An integral renewal equation approach to behavioural epidemic models with information index
Bruno Buonomo, Eleonora Messina, Claudia Panico, Antonia Vecchio
correctmedium confidence- arXiv ID
- 2402.08618
- Category
- math.DS
- Journal tier
- specialist/solid
Time-Delayed Game Strategy Analysis Among Japan, Other Nations, and the International Atomic Energy Agency in the Context of Fukushima Nuclear Wastewater Discharge Decision
Mingyang Li, Han Pengsihua, Fujiao Meng, Zejun Wang, Weian Liu
incompletemedium confidence- arXiv ID
- 2402.07227
- Category
- Not specified
- Journal tier
- specialist/solid
Transfer Operators from Batches of Unpaired Points via Entropic Transport Kernels
Florian Beier, Hancheng Bi, Clément Sarrazin, Bernhard Schmitzer, Gabriele Steidl
correctmedium confidence- arXiv ID
- 2402.08425
- Category
- math.DS
- Journal tier
- strong field
A REMARK ON ”A NON-SINGULAR DYNAMICAL SYSTEM WITHOUT MAXIMAL ERGODIC INEQUALITY” BY E. H. EL ABDALAOUI
Idris Assani
uncertainhigh confidenceCounterexample- arXiv ID
- 2402.08970
- Category
- Not specified
- Journal tier
- specialist/solid
ZERO-SHOT IMPUTATION WITH FOUNDATION INFERENCE MODELS FOR DYNAMICAL SYSTEMS
Patrick Seifner, Kostadin Cvejoski, Antonia Körner, Ramsés J. Sánchez
incompletemedium confidence- arXiv ID
- 2402.07594
- Category
- math.DS
- Journal tier
- strong field
Optimal control of collective electrotaxis in epithelial monolayers
Simon F. Martina-Perez, Isaac B. Breinyn, Daniel J. Cohen, Ruth E. Baker
incompletemedium confidence- arXiv ID
- 2402.08700
- Category
- math.DS
- Journal tier
- strong field
A mathematical model for fibrous dysplasia: The role of the flow of mutant cells
Mariia Soloviova, Juan Carlos Beltran Vargas, Luis Fernandez de Castro, Juan Belmonte-Beitia, Víctor M. Pérez-García, Magdalena Caballero
incompletemedium confidence- arXiv ID
- 2402.07724
- Category
- math.DS
- Journal tier
- specialist/solid
Quasineutral multistability in an epidemiological-like model for defective-helper betacoronavirus infection in cell cultures
Juan C. Muñoz-Sánchez, J. Tomás Lázaro, Julia Hillung, María J. Olmo-Uceda, Josep Sardanyés, Santiago F. Elena
correctmedium confidence- arXiv ID
- 2402.08620
- Category
- Not specified
- Journal tier
- strong field
Combination Therapy for Chronic Hepatitis B Using Capsid Recycling Inhibitor
Rupchand Sutradhar, D C Dalal
correctmedium confidence- arXiv ID
- 2402.07701
- Category
- Not specified
- Journal tier
- specialist/solid
Source-sink dynamics in a two-patch SI epidemic model with life stages and no recovery from infection
Jimmy Calvo-Monge, Jorge Arroyo-Esquivel, Alyssa Gehman, Fabio Sanchez
correctmedium confidence- arXiv ID
- 2402.06779
- Category
- Not specified
- Journal tier
- specialist/solid
HITCHIN SYSTEMS: SOME RECENT ADVANCES
O. K. Sheinman, Bin Wang
correctmedium confidence- arXiv ID
- 2402.08385
- Category
- Not specified
- Journal tier
- strong field
Forecasting with Pairwise Gaussian Markov Models
Marc Escudier, Ikram Abdelkefi, Clément Fernandes, Wojciech Pieczynski
correctmedium confidence- arXiv ID
- 2402.07532
- Category
- Not specified
- Journal tier
- specialist/solid
To Symbolic Dynamics Through The Thue–Morse Sequence
Diyath Pannipitiya
incompletemedium confidence- arXiv ID
- 2402.07015
- Category
- math.DS
- Journal tier
- note/short/other
PyDMD: A Python package for robust dynamic mode decomposition
Sara M. Ichinaga, Francesco Andreuzzi, Nicola Demo, Marco Tezzele, Karl Lapo, Gianluigi Rozza, Steven L. Brunton, J. Nathan Kutz
correctmedium confidence- arXiv ID
- 2402.07463
- Category
- math.DS
- Journal tier
- specialist/solid
How to split a tera-polynomial
Nicolae Mihalache, François Vigneron
correctmedium confidence- arXiv ID
- 2402.06083
- Category
- Not specified
- Journal tier
- strong field
Limit theorems for a strongly irreducible product of independent random matrices under optimal moment assumptions
Axel Péneau
correctmedium confidence- arXiv ID
- 2402.05751
- Category
- Not specified
- Journal tier
- strong field
CONNECTEDNESS OF LEVEL SETS FOR NON-DEGENERATE INTEGRABLE SYSTEMS THAT EXTEND COMPLEXITY ONE TORUS ACTIONS
Daniele Sepe, Susan Tolman
correctmedium confidence- arXiv ID
- 2402.05814
- Category
- math.DS
- Journal tier
- strong field
Surrogate modeling and control of medical digital twins
Luis L. Fonseca, Lucas Böttcher, Borna Mehrad, Reinhard C. Laubenbacher
incompletemedium confidence- arXiv ID
- 2402.05750
- Category
- math.DS
- Journal tier
- specialist/solid
A Physics-Informed Auto-Learning Framework for Developing Stochastic Conceptual Models for ENSO Diversity
Yinling Zhang, Nan Chen, Jérôme Vialard, Xianghui Fang
correctmedium confidence- arXiv ID
- 2402.04585
- Category
- Not specified
- Journal tier
- strong field
INTERVAL MAPS WITH DENSE PERIODICITY
Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy
incompletemedium confidence- arXiv ID
- 2402.05638
- Category
- Not specified
- Journal tier
- strong field
Using nodal coordinates as variables for the dimensional synthesis of mechanisms
V. García-Marina, I. Fernández de Bustos, G. Urkullu, M. Abasolo
correctmedium confidence- arXiv ID
- 2402.05676
- Category
- Not specified
- Journal tier
- specialist/solid
Optimum dimensional synthesis of planar mechanisms with geometric constraints
V. García-Marina, I. Fernández de Bustos, G. Urkullu, R. Ansola
incompletemedium confidence- arXiv ID
- 2402.05684
- Category
- Not specified
- Journal tier
- specialist/solid
The bifurcation structure within robust chaos for two-dimensional piecewise-linear maps.
I. Ghosh, R.I. McLachlan, D.J.W. Simpson
correctmedium confidence- arXiv ID
- 2402.05393
- Category
- Not specified
- Journal tier
- strong field
Stability under dwell time constraints: Discretization revisited
Thomas Mejstrik, Vladimir Yu. Protasov
correcthigh confidence- arXiv ID
- 2402.04795
- Category
- Not specified
- Journal tier
- strong field