arXiv audit explorer

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
15 / 778
Page Size
40
Clear filters

Showing 561–600 of 31,095 papers

Navigate
PreviousNext

  • Evans Function, Parity and Nonautonomous Bifurcations

    Christian Pötzsche, Robert Skiba

    correctmedium confidence
    arXiv ID
    2503.07221
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • SODAs: Sparse Optimization for the Discovery of Differential and Algebraic Equations

    Manu Jayadharan, Christina Catlett, Arthur N. Montanari, Niall M. Mangan

    incompletemedium confidence
    arXiv ID
    2503.05993
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Real-Time Structural Deflection Estimation in Hydraulically Actuated Systems Using 3D Flexible Multibody Simulation and DNNs

    Qasim Khadim, Peter Manzl, Emil Kurvinen, Aki Mikkola, Grzegorz Orzechowski, Johannes Gerstmayr

    incompletemedium confidence
    arXiv ID
    2503.07528
    Category
    math.DS
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • CONTROLLABILITY IN A CLASS OF CANCER THERAPY MODELS WITH CO-EVOLVING RESISTANCE

    Frederik J. Thomsen, Johan L. A. Dubbeldam

    correcthigh confidence
    arXiv ID
    2503.07533
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • POINTWISE ERGODIC THEOREMS FOR NON-CONVENTIONAL BILINEAR AVERAGES ALONG (⌊n^c⌋, −⌊n^c⌋)

    Leonidas Daskalakis

    correcthigh confidence
    arXiv ID
    2503.03976
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Irreducible Koopman representations for nonsingular actions on boundaries of rooted trees

    Alexandre I. Danilenko, Artem Dudko

    correctmedium confidenceCounterexample
    arXiv ID
    2503.03894
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Visibility of heteroclinic networks

    Sofia B. S. D. Castro, Claire M. Postlethwaite, Alastair M. Rucklidge

    correctmedium confidence
    arXiv ID
    2503.03440
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • RIGIDITY OF FURSTENBERG ENTROPY UNDER UCP MAPS

    Shuoxing Zhou

    correcthigh confidence
    arXiv ID
    2503.03424
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • ISOGENIES OF MINIMAL CANTOR SYSTEMS: FROM STURMIAN TO DENJOY AND INTERVAL EXCHANGES

    Scott Schmieding, Christopher-Lloyd Simon

    correctmedium confidence
    arXiv ID
    2503.02168
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Quantitative Relaxation Dynamics from Generic Initial Configurations in the Inertial Kuramoto Model

    Hangjun Cho, Jiu-Gang Dong, Seung-Yeal Ha, Seung-Yeon Ryoo

    correctmedium confidence
    arXiv ID
    2503.00720
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Distributionally chaotic C0-semigroups on complex sectors

    Zhen Jiang, Jian Li, Yini Yang

    correctmedium confidence
    arXiv ID
    2503.00891
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Dynamics on Lie groups with applications to attitude estimation

    T. Forrest Kieffer, Michael L. Wall

    correcthigh confidence
    arXiv ID
    2502.19714
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Nonautonomous Dynamical Systems II: Variational Principles

    Zhuo Chen, Jun Jie Miao

    correctmedium confidence
    arXiv ID
    2502.21149
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Morse-Bott Volume Forms

    Luke Volk, Boris Khesin

    correctmedium confidence
    arXiv ID
    2503.00541
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • UNIFORM POSITIVITY OF THE LYAPUNOV EXPONENT FOR C1 MONOTONE POTENTIALS GENERATED BY THE CAT MAP

    Nicholas Chiem

    correctmedium confidence
    arXiv ID
    2502.18628
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • LARGE-TIME ASYMPTOTICS FOR HYPERBOLIC SYSTEMS WITH NON-SYMMETRIC RELAXATION: AN ALGORITHMIC APPROACH

    Timothée Crin-Barat, Lorenzo Liverani, Ling-Yun Shou, Enrique Zuazua

    correcthigh confidence
    arXiv ID
    2503.00236
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • BOUNDING THE LOCAL DIMENSION OF THE CONVOLUTION OF MEASURES

    Kevin G. Hare, Joaquin G. Prandi

    correcthigh confidence
    arXiv ID
    2502.18337
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • A Mathematical Model of the Cell Cycle: Exploring the Impact of Zingerone on Cancer Cell Proliferation

    Roumen Anguelov, Micaela Goddard, Yvette Hlophe, Kganya Letsoalo, June Serem

    incompletemedium confidence
    arXiv ID
    2502.18589
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Differentiating Unstable Diffusion

    Angxiu Ni

    incompletemedium confidence
    arXiv ID
    2503.00718
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • SYNCHRONIZATION IN THE COMPLEXIFIED KURAMOTO MODEL

    Ting-Yang Hsiao, Yun-Feng Lo, Winnie Wang

    correcthigh confidence
    arXiv ID
    2502.20614
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • On Piecewise Affine Reachability with Bellman Operators

    Anton Varonka, Kazuki Watanabe

    correctmedium confidence
    arXiv ID
    2502.19923
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Hopf and double Hopf bifurcations in a delayed lateral vibration model of footbridges induced by pedestrians

    Xuemei Li, Yechi Liu

    correctmedium confidence
    arXiv ID
    2503.02211
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Distributed Nash Equilibrium Seeking for Constrained Aggregative Games over Jointly Connected and Weight-Balanced Switching Networks

    Zhaocong Liu, Jie Huang

    correctmedium confidence
    arXiv ID
    2502.17867
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Dynamical Spectrum of Power-Free Integers in Quadratic Number Fields and Beyond

    Michael Baake, Daniel Luz, Tanja I. Schindler

    correcthigh confidence
    arXiv ID
    2502.17736
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • On balance properties of hypercubic billiard words

    N. Bédaride, V. Berthé, A. Julien

    correctmedium confidence
    arXiv ID
    2502.18211
    Category
    math.DS
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • A predator-prey model with age-structured role reversal

    Luis Carlos Suárez, Maria Cameron, William F. Fagan, Doron Levy

    correctmedium confidence
    arXiv ID
    2502.19748
    Category
    math.DS
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Thermal phototactic bioconvection in an isotropic porous medium heated from above

    S. K. Rajput, M. K. Panda, A. Rathi

    correctmedium confidence
    arXiv ID
    2502.14564
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Mixing properties of a class of nonuniformly expanding maps. Application to Hölderian invariance principles.

    V. Alouin, A. Bigot

    correctmedium confidence
    arXiv ID
    2502.13529
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Density of shapes of periodic tori in the cubic case

    Nguyen-Thi Dang, Nihar Gargava, Jialun Li

    correctmedium confidence
    arXiv ID
    2502.12754
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • The Stability of Pointwise Hyperbolic Systems

    Haiye Guo, Yunhua Zhou

    incompletehigh confidence
    arXiv ID
    2502.16497
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • CUBE STRUCTURES OF THE UNIVERSAL MINIMAL SYSTEM, NILSYSTEMS AND APPLICATIONS

    Axel Álvarez, Sebastián Donoso

    correctmedium confidence
    arXiv ID
    2502.17667
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Dynamics near a class of nonhyperbolic fixed points

    Meihua Jin, Shihao Meng, Yunhua Zhou

    correctmedium confidence
    arXiv ID
    2502.17151
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Extended Cellular Automata

    Pouya Mehdipour, Mostafa Salarinoghabi, Paula Gibrim

    correctmedium confidenceCounterexample
    arXiv ID
    2502.17065
    Category
    math.DS
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Categorical Lyapunov Theory I: Stability of Flows

    Aaron D. Ames, Joe Moeller, Paulo Tabuada

    correctmedium confidence
    arXiv ID
    2502.15276
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • Partially hyperbolic diffeomorphisms with a finite number of measures of maximal entropy

    Juan Carlos Mongez, Maria Jose Pacifico, Mauricio Poletti

    correctmedium confidence
    arXiv ID
    2502.17385
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • On Erlang mixture approximations for differential equations with distributed time delays

    Tobias K. S. Ritschel

    incompletemedium confidence
    arXiv ID
    2502.12984
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

  • Homeomorphism groups of basilica, rabbit and airplane Julia sets

    Bruno Duchesne, Matteo Tarocchi

    correctmedium confidence
    arXiv ID
    2502.07762
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • A Conservative Partially Hyperbolic Dichotomy: Hyperbolicity versus Nonhyperbolic Measures

    Lorenzo J. Díaz, Jiagang Yang, Jinhua Zhang

    correctmedium confidence
    arXiv ID
    2502.12505
    Category
    math.DS
    Journal tier
    strong field
    View audit detailsView on arXiv

  • ANALYSIS OF DRY FRICTION DYNAMICS IN A VIBRO-IMPACT ENERGY HARVESTER

    Christina Athanasouli, Daniil Yurchenko, Rachel Kuske

    correctmedium confidence
    arXiv ID
    2502.12288
    Category
    Not specified
    Journal tier
    strong field
    View audit detailsView on arXiv

  • MOSER’S TWIST THEOREM REVISITED

    Yi Liu, Lin Wang

    correctmedium confidence
    arXiv ID
    2502.10969
    Category
    Not specified
    Journal tier
    specialist/solid
    View audit detailsView on arXiv

Page 15 of 778

PreviousNext