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
- 76 / 778
- Page Size
- 40
Root-max Problems, Hybrid Expansion-Contraction, and Quadratically Convergent Optimization of Passive Systems
Tim Mitchell, Paul Van Dooren
correctmedium confidence- arXiv ID
- 2109.00974
- Category
- math.DS
- Journal tier
- strong field
Optimal Control applied to SIRD model of COVID 19
Amira Bouhali, Walid Ben Aribi, Slimane Ben Miled, Amira Kebir
correctmedium confidence- arXiv ID
- 2109.01457
- Category
- Not specified
- Journal tier
- specialist/solid
Entropy of Lyapunov Maximizing Measures of GL(2,R) Typical Cocycles
Reza Mohammadpour
incompletehigh confidence- arXiv ID
- 2109.00469
- Category
- math.DS
- Journal tier
- specialist/solid
LINEARIZATION OF COMPLEX HYPERBOLIC DULAC GERMS
D. Peran, M. Resman, J.-P. Rolin, T. Servi
correctmedium confidence- arXiv ID
- 2109.00284
- Category
- Not specified
- Journal tier
- specialist/solid
On the dynamics of a heavy symmetric ball that rolls without sliding on a uniformly rotating surface of revolution
Marco Dalla Via, Francesco Fassò, Nicola Sansonetto
correctmedium confidence- arXiv ID
- 2109.00236
- Category
- Not specified
- Journal tier
- strong field
Pythagorean Triples in the Fibonacci Model Set
Sarah Marklund, Evangeline Tweddle
incompletemedium confidence- arXiv ID
- 2109.03440
- Category
- Not specified
- Journal tier
- specialist/solid
Perturbation theory for fractional evolution equations in a Banach space
Arzu Ahmadova, Ismail T. Huseynov, Nazim I. Mahmudov
correctmedium confidence- arXiv ID
- 2108.13188
- Category
- Not specified
- Journal tier
- strong field
There are no structural stable Axiom A 3-diffeomorphisms with dynamics “one-dimensional surfaced attractor-repeller”
O. Pochinka
correctmedium confidence- arXiv ID
- 2108.12996
- Category
- math.DS
- Journal tier
- specialist/solid
Local large deviations for periodic infinite horizon Lorentz gases
Ian Melbourne, Françoise Pène, Dalia Terhesiu
correctmedium confidence- arXiv ID
- 2108.13748
- Category
- math.DS
- Journal tier
- strong field
THE SPECTRUM OF PERIOD-DOUBLING HAMILTONIAN
Qinghui Liu, Yanhui Qu, Xiao Yao
correctmedium confidence- arXiv ID
- 2108.13257
- Category
- Not specified
- Journal tier
- strong field
Cross-ratio dynamics and the dimer cluster integrable system
Niklas Affolter, Terrence George, Sanjay Ramassamy
correctmedium confidence- arXiv ID
- 2108.12692
- Category
- Not specified
- Journal tier
- strong field
INVARIANT PROBABILITY MEASURES FROM PSEUDOHOLOMORPHIC CURVES II: PSEUDOHOLOMORPHIC CURVE CONSTRUCTIONS
Rohil Prasad
correctmedium confidence- arXiv ID
- 2109.00106
- Category
- Not specified
- Journal tier
- specialist/solid
Infinite Compositions and Complex Dynamics; Generalizing Schröder and Abel Functions
James David Nixon
incompletehigh confidence- arXiv ID
- 2108.13519
- Category
- math.DS
- Journal tier
- note/short/other
GFINNs: GENERIC Formalism Informed Neural Networks for Deterministic and Stochastic Dynamical Systems
Zhen Zhang, Yeonjong Shin, George Em Karniadakis
incompletehigh confidence- arXiv ID
- 2109.00092
- Category
- Not specified
- Journal tier
- specialist/solid
Generically Nilpotent Cellular Automata
Ilkka Törmä
correctmedium confidence- arXiv ID
- 2108.12925
- Category
- Not specified
- Journal tier
- strong field
Combinatorial vs. Classical Dynamics: Recurrence
Marian Mrozek, Roman Srzednicki, Justin Thorpe, Thomas Wanner
correctmedium confidence- arXiv ID
- 2108.13978
- Category
- Not specified
- Journal tier
- strong field
Bifurcation of closed orbits from equilibria of Newtonian systems with Coriolis forces
Anna Gołȩbiewska, Ernesto Pérez-Chavela, Sławomir Rybicki, Antonio J. Ureña
correctmedium confidenceCounterexample- arXiv ID
- 2108.13312
- Category
- math.DS
- Journal tier
- strong field
Convolutional Autoencoders for Reduced-Order Modeling
Sreeram Venkat, Ralph C. Smith, Carl T. Kelley
correctmedium confidence- arXiv ID
- 2108.12453
- Category
- Not specified
- Journal tier
- specialist/solid
A Nested Multi-Scale Model for COVID-19 Viral Infection
Bishal Chhetri, D. K. K. Vamsi, Carani B Sanjeevi
incompletemedium confidence- arXiv ID
- 2108.12150
- Category
- Not specified
- Journal tier
- specialist/solid
COLLECTIVE DYNAMICS OF LOHE TYPE AGGREGATION MODELS
Seung-Yeal Ha, Dohyun Kim
correctmedium confidence- arXiv ID
- 2108.10473
- Category
- math.DS
- Journal tier
- specialist/solid
A vector-valued almost sure invariance principle for random expanding on average cocycles
D. Dragičević, Y. Hafouta, J. Sedro
correctmedium confidence- arXiv ID
- 2108.08714
- Category
- math.DS
- Journal tier
- strong field
NEW Q-NEWTON’S METHOD MEETS BACKTRACKING LINE SEARCH: GOOD CONVERGENCE GUARANTEE, SADDLE POINTS AVOIDANCE, QUADRATIC RATE OF CONVERGENCE, AND EASY IMPLEMENTATION
Tuyen Trung Truong
correcthigh confidence- arXiv ID
- 2108.10249
- Category
- math.DS
- Journal tier
- strong field
A traveling wave bifurcation analysis of turbulent pipe flow
Maximilian Engel, Christian Kuehn, Björn de Rijk
correctmedium confidence- arXiv ID
- 2108.09990
- Category
- Not specified
- Journal tier
- strong field
A Textbook Case of Pentagram Rigidity
Richard Evan Schwartz
correcthigh confidence- arXiv ID
- 2108.07604
- Category
- math.DS
- Journal tier
- specialist/solid
Renormalized Wolfram model exhibiting non-relativistic quantum behavior
José Manuel Rodríguez Caballero
incompletemedium confidence- arXiv ID
- 2108.08300
- Category
- math.DS
- Journal tier
- note/short/other
Reachability of Nonlinear Systems with Unknown Dynamics
Taha Shafa, Melkior Ornik
correctmedium confidence- arXiv ID
- 2108.11045
- Category
- Not specified
- Journal tier
- specialist/solid
Hyperbolic models for transitive topological Anosov flows in dimension three
Mario Shannon
correcthigh confidence- arXiv ID
- 2108.12000
- Category
- Not specified
- Journal tier
- strong field
SPECTRAL THEORY OF SPIN SUBSTITUTIONS
Natalie Priebe Frank, Neil Mañibo
correctmedium confidence- arXiv ID
- 2108.08642
- Category
- Not specified
- Journal tier
- strong field
Periodic solutions of a semilinear variable coefficient wave equation under asymptotic nonresonance conditions
Hui Wei, Shuguan Ji
correctmedium confidence- arXiv ID
- 2108.09482
- Category
- Not specified
- Journal tier
- specialist/solid
Some Notions of (Open) Dynamical System on Polynomial Interfaces
Toby St. Clere Smithe
correctmedium confidence- arXiv ID
- 2108.11137
- Category
- Not specified
- Journal tier
- specialist/solid
Passivity-based control for haptic teleoperation of a legged manipulator in presence of time-delays
Mattia Risiglione, Jean-Pierre Sleiman, Maria Vittoria Minniti, Burak Çizmeci, Douwe Dresscher, Marco Hutter
incompletemedium confidence- arXiv ID
- 2108.07658
- Category
- Not specified
- Journal tier
- specialist/solid
COMPARISON OF LIMIT SETS FOR THE ACTION OF KLEINIAN GROUPS IN CPn
Alejandro Ucan-Puc, Jose Seade
correctmedium confidence- arXiv ID
- 2108.09791
- Category
- math.DS
- Journal tier
- specialist/solid
A rolled-off passivity theorem
Thomas Chaffey
correctmedium confidence- arXiv ID
- 2108.07634
- Category
- Not specified
- Journal tier
- strong field
On the pitchfork bifurcation for the Chafee-Infante equation with additive noise
Alex Blumenthal, Maximilian Engel, Alexandra Neamţu
correcthigh confidence- arXiv ID
- 2108.11073
- Category
- Not specified
- Journal tier
- specialist/solid
FROM LOOM SPACES TO VEERING TRIANGULATIONS
Saul Schleimer, Henry Segerman
correctmedium confidence- arXiv ID
- 2108.10264
- Category
- math.DS
- Journal tier
- strong field
INTERSECTION SPACES AND MULTIPLE TRANSVERSE RECURRENCE
Michael Björklund, Tobias Hartnick, Yakov Karasik
correctmedium confidence- arXiv ID
- 2108.09064
- Category
- math.DS
- Journal tier
- strong field
Measuring chaos in the Lorenz and Rössler models: Fidelity tests for reservoir computing.
James Scully, Alexander Neiman, Andrey Shilnikov
incompletehigh confidence- arXiv ID
- 2108.10691
- Category
- Not specified
- Journal tier
- specialist/solid
ON THE DENSENESS OF SOME SPARSE HOROCYCLES
Cheng Zheng
correcthigh confidence- arXiv ID
- 2108.08567
- Category
- math.DS
- Journal tier
- specialist/solid
Exact solutions and bounds for network SIR and SEIR models using a rooted-tree approximation
C. L. Hall, B. A. Siebert
correctmedium confidence- arXiv ID
- 2108.07128
- Category
- Not specified
- Journal tier
- strong field
Slow-fast dynamics of strongly coupled adaptive frequency oscillators
Ludovic Righetti, Jonas Buchli, Auke J. Ijspeert
correctmedium confidence- arXiv ID
- 2108.07423
- Category
- math.DS
- Journal tier
- specialist/solid