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
- 39 / 778
- Page Size
- 40
The transcritical Bogdanov Takens bifurcation with boundary due to the risk perception on a recruitment epidemiological model
Jocelyn A. Castro-Echeverría, Fernando Verduzco, Jorge X. Velasco-Hernández
incompletemedium confidence- arXiv ID
- 2403.14147
- Category
- math.DS
- Journal tier
- specialist/solid
A DIRECT PROOF OF THE EXISTENCE OF MME FOR FINITE HORIZON SINAI BILLIARDS
Jérôme Carrand
correctmedium confidence- arXiv ID
- 2403.13626
- Category
- Not specified
- Journal tier
- strong field
Modal Analysis of Spatiotemporal Data via Multivariate Gaussian Process Regression
Jiwoo Song, Daning Huang
correctmedium confidence- arXiv ID
- 2403.13118
- Category
- Not specified
- Journal tier
- strong field
Group Extensions for Random Shifts of Finite Type
Kexiang Yang, Ercai Chen, Zijie Lin, Xiaoyao Zhou
correctmedium confidence- arXiv ID
- 2403.13483
- Category
- Not specified
- Journal tier
- specialist/solid
Data-Driven Reduced-Order Unknown-Input Observers
Giorgia Disarò, Maria Elena Valcher
correctmedium confidence- arXiv ID
- 2403.13471
- Category
- Not specified
- Journal tier
- strong field
Analysis of a class of Kolmogorov systems
G. Moza, C. Lazureanu, F. Munteanu, C. Sterbeti, A. Florea
correctmedium confidence- arXiv ID
- 2403.13364
- Category
- Not specified
- Journal tier
- specialist/solid
Syntropy in complex systems: A complement to Shannon’s Entropy
Santiago Mendez-Moreno
wrongmedium confidence- arXiv ID
- 2403.13022
- Category
- math.DS
- Journal tier
- note/short/other
LOCAL SPECTRAL ESTIMATES AND QUANTITATIVE WEAK MIXING FOR SUBSTITUTION Z-ACTIONS
Alexander I. Bufetov, Juan Marshall-Maldonado, Boris Solomyak
correctmedium confidence- arXiv ID
- 2403.12657
- Category
- Not specified
- Journal tier
- strong field
Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties
Xun Shen, Ye Wang, Kazumune Hashimoto, Yuhu Wu, Sebastien Gros
correctmedium confidence- arXiv ID
- 2403.12379
- Category
- Not specified
- Journal tier
- specialist/solid
SIMPLIFICATIONS OF LAX PAIRS FOR DIFFERENTIAL-DIFFERENCE EQUATIONS BY GAUGE TRANSFORMATIONS AND (DOUBLY) MODIFIED INTEGRABLE EQUATIONS
Sergei Igonin
correctmedium confidence- arXiv ID
- 2403.12022
- Category
- math.DS
- Journal tier
- specialist/solid
Stochastic compartment model with mortality and its application to epidemic spreading in complex networks
Téo Granger, Thomas M. Michelitsch, Michael Bestehorn, Alejandro P. Riascos, Bernard A. Collet
correctmedium confidence- arXiv ID
- 2403.11774
- Category
- Not specified
- Journal tier
- specialist/solid
SRB MEASURES FOR PARTIALLY HYPERBOLIC SYSTEMS WITH ONE-DIMENSIONAL CENTER SUBBUNDLES.
David Burguet
correcthigh confidence- arXiv ID
- 2403.11654
- Category
- Not specified
- Journal tier
- specialist/solid
On using Machine Learning Algorithms for Motorcycle Collision Detection
Philipp Rodegast, Steffen Maier, Jonas Kneifl, Jörg Fehr
correcthigh confidence- arXiv ID
- 2403.09491
- Category
- Not specified
- Journal tier
- specialist/solid
Interpolatory model reduction of dynamical systems with root mean squared error
Sean Reiter, Steffen W. R. Werner
correctmedium confidence- arXiv ID
- 2403.08894
- Category
- math.DS
- Journal tier
- specialist/solid
Global rigidity of smooth Z⋉λR-actions on T^2
Changguang Dong, Yi Shi
correctmedium confidence- arXiv ID
- 2403.10060
- Category
- Not specified
- Journal tier
- strong field
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave
correctmedium confidence- arXiv ID
- 2403.10450
- Category
- math.DS
- Journal tier
- specialist/solid
Action Functional as an Early Warning Indicator in the Space of Probability Measures via Schrödinger Bridge
Peng Zhang, Ting Gao, Jin Guo, Jinqiao Duan
incompletemedium confidence- arXiv ID
- 2403.10405
- Category
- Not specified
- Journal tier
- specialist/solid
SINDy-RL: Interpretable and Efficient Model-Based Reinforcement Learning
Nicholas Zolman, Christian Lagemann, Urban Fasel, J. Nathan Kutz, Steven L. Brunton
incompletemedium confidence- arXiv ID
- 2403.09110
- Category
- Not specified
- Journal tier
- strong field
Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
Antoine Poulin
correctmedium confidence- arXiv ID
- 2403.11326
- Category
- math.DS
- Journal tier
- specialist/solid
Rate Distortion Dimension of Random Brody Curves
Masaki Tsukamoto
correcthigh confidence- arXiv ID
- 2403.11442
- Category
- Not specified
- Journal tier
- strong field
A Physics-Informed Neural Network Method for the Approximation of Slow Invariant Manifolds for the General Class of Stiff Systems of ODEs
Dimitrios G. Patsatzis, Lucia Russo, Constantinos Siettos
correcthigh confidence- arXiv ID
- 2403.11591
- Category
- Not specified
- Journal tier
- specialist/solid
Generative Modelling of Stochastic Rotating Shallow Water Noise
Alexander Lobbe, Dan Crisan, Oana Lang
incompletemedium confidence- arXiv ID
- 2403.10578
- Category
- math.DS
- Journal tier
- specialist/solid
Decidability of the Isomorphism Problem Between Multidimensional Substitutive Subshifts
Christopher Cabezas, Julien Leroy
correctmedium confidence- arXiv ID
- 2403.11357
- Category
- Not specified
- Journal tier
- strong field
Existence and uniqueness for the solutions of non-autonomous stochastic differential algebraic equations with locally Lipschitz coefficients
Oana Silvia Serea, Antoine Tambue, Guy Tsafack
correctmedium confidence- arXiv ID
- 2403.09778
- Category
- math.DS
- Journal tier
- specialist/solid
Trust AI Regulation? Discerning users are vital to build trust and effective AI regulation
Zainab Alalawi, Paolo Bova, Theodor Cimpeanu, Alessandro Di Stefano, Manh Hong Duong, Elias Fernández Domingos, The Anh Han, Marcus Krellner, Bianca Ogbo, Simon T. Powers, Filippo Zimmaro
correctmedium confidence- arXiv ID
- 2403.09510
- Category
- Not specified
- Journal tier
- specialist/solid
Toward Adaptive Cooperation: Model-Based Shared Control Using LQ-Differential Games
Balint Varga
incompletemedium confidence- arXiv ID
- 2403.11146
- Category
- Not specified
- Journal tier
- specialist/solid
Koopman Regularization
Ido Cohen
correctmedium confidence- arXiv ID
- 2403.11302
- Category
- Not specified
- Journal tier
- specialist/solid
FROM HABITAT DECLINE TO COLLAPSE: A SPATIALLY EXPLICIT APPROACH CONNECTING HABITAT DEGRADATION TO DESTRUCTION
Yurij Salmaniw, Zhongwei Shen, Hao Wang
correctmedium confidence- arXiv ID
- 2403.11200
- Category
- Not specified
- Journal tier
- strong field
QUANTITATIVE REDUCIBILITY OF Ck QUASI-PERIODIC COCYCLES
Ao Cai, Huihui Lv, Zhiguo Wang
correctmedium confidence- arXiv ID
- 2403.09132
- Category
- math.DS
- Journal tier
- specialist/solid
Memoryless concretization relation
Julien Calbert, Sébastien Mattenet, Antoine Girard, Raphaël M. Jungers
incompletehigh confidence- arXiv ID
- 2403.09556
- Category
- math.DS
- Journal tier
- strong field
On the dynamical Mordell–Lang conjecture in positive characteristic
Junyi Xie, She Yang
correctmedium confidence- arXiv ID
- 2403.09181
- Category
- math.DS
- Journal tier
- strong field
Fire Spread Modeling using Probabilistic Cellular Automata
Rohit Ghosh, Jishnu Adhikary, Rezki Chemlal
incompletemedium confidence- arXiv ID
- 2403.08817
- Category
- Not specified
- Journal tier
- note/short/other
INTERSECTION OF A MORAN TYPE SIERPINSKI CARPET AND A LINE WITH RATIONAL SLOPE
Simin Bao
correctmedium confidence- arXiv ID
- 2403.08415
- Category
- Not specified
- Journal tier
- specialist/solid
Poisson suspensions without roots
Valery V. Ryzhikov
correctmedium confidence- arXiv ID
- 2403.08747
- Category
- Not specified
- Journal tier
- specialist/solid
SURFACES AND OTHER PEANO CONTINUA WITH NO GENERIC CHAINS
Gianluca Basso, Alessandro Codenotti, Andrea Vaccaro
correctmedium confidence- arXiv ID
- 2403.08667
- Category
- math.DS
- Journal tier
- strong field
WEAK COLLOCATION REGRESSION FOR INFERRING STOCHASTIC DYNAMICS WITH LÉVY NOISE
Liya Guo, Liwei Lu, Zhijun Zeng, Pipi Hu, Yi Zhu
correcthigh confidence- arXiv ID
- 2403.08292
- Category
- Not specified
- Journal tier
- strong field
CONVERGENCE OF ADAM FOR LIPSCHITZ OBJECTIVE FUNCTIONS
Juan Ferrera, Javier Gómez Gil
correctmedium confidence- arXiv ID
- 2403.08470
- Category
- Not specified
- Journal tier
- specialist/solid
A Computational Method for H2-optimal Estimator and State Feedback Controller Synthesis for PDEs
Sachin Shivakumar, Matthew M. Peet
correctmedium confidence- arXiv ID
- 2403.08052
- Category
- Not specified
- Journal tier
- specialist/solid
SUPERVISED TIME SERIES CLASSIFICATION FOR ANOMALY DETECTION IN SUBSEA ENGINEERING
Ergys Çokaj, Halvor Snersrud Gustad, Andrea Leone, Per Thomas Moe, Lasse Moldestad
incompletemedium confidence- arXiv ID
- 2403.08013
- Category
- Not specified
- Journal tier
- specialist/solid
The frequency problem of the three gap theorem
Huixing Zhang
correctmedium confidence- arXiv ID
- 2403.07674
- Category
- Not specified
- Journal tier
- specialist/solid