Cover Image

The Evolution of Computer-Assisted Proof In Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rychlik, Marek
Format:	Preprint
Published:	2026
Subjects:	Dynamical Systems 65L20, 65P40, 65G20, 68V15 G.1.7; I.2.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the study of frequency control and spectral bias in Wavelet-Based Kolmogorov Arnold networks: A path to physics-informed KANs
by: Meshir, Juan Daniel, et al.
Published: (2025)

Dual-Solver: A Generalized ODE Solver for Diffusion Models with Dual Prediction
by: Park, Soochul, et al.
Published: (2026)

Learning Hamiltonian flows from numerical integrators and examples
by: Fang, Rui, et al.
Published: (2025)

Learning Chaotic Dynamics through Second-Order Geometric Supervision
by: Kang, Shinhoo, et al.
Published: (2026)

A Classical-Quantum Hybrid Architecture for Physics-Informed Neural Networks
by: Lantigua, Said, et al.
Published: (2025)

Enabling Local Neural Operators to perform Equation-Free System-Level Analysis
by: Fabiani, Gianluca, et al.
Published: (2025)

Deceptron: Learned Local Inverses for Fast and Stable Physics Inversion
by: Kachhadiya, Aaditya L.
Published: (2025)

Latent Twins
by: Chung, Matthias, et al.
Published: (2025)

RANDSMAPs: Random-Feature/multi-Scale Neural Decoders with Mass Preservation
by: Patsatzis, Dimitrios G., et al.
Published: (2026)

Gelation in input-driven aggregation
by: Krapivsky, P. L., et al.
Published: (2024)

Finite-Time Convergence Guarantees for Time-Parallel Methods
by: Antonucci, Giancarlo Antonino, et al.
Published: (2026)

Improving Efficiency of Parallel Across the Method Spectral Deferred Corrections
by: Čaklović, Gayatri, et al.
Published: (2024)

FSampler: Training Free Acceleration of Diffusion Sampling via Epsilon Extrapolation
by: Vladimir, Michael A.
Published: (2025)

Adaptive Domain Decomposition Physics-Informed Neural Networks for Traffic State Estimation with Sparse Sensor Data
by: Ka, Eunhan, et al.
Published: (2026)

G-Sim: Generative Simulations with Large Language Models and Gradient-Free Calibration
by: Holt, Samuel, et al.
Published: (2025)

Fractional-Boundary-Regularized Deep Galerkin Method for Variational Inequalities in Mixed Optimal Stopping and Control
by: Zhao, Yun, et al.
Published: (2025)

Adam Improves Muon: Adaptive Moment Estimation with Orthogonalized Momentum
by: Zhang, Minxin, et al.
Published: (2026)

Efficient computation of stationary measures and the Lyapunov Landscape for families random dynamical systems with smooth additive noise
by: Galatolo, Stefano, et al.
Published: (2025)

Learning Nonlinear Finite Element Solution Operators using Multilayer Perceptrons and Energy Minimization
by: Larson, Mats G., et al.
Published: (2024)

Systematic construction of continuous-time neural networks for linear dynamical systems
by: Datar, Chinmay, et al.
Published: (2024)

Strong convergence in the infinite horizon of numerical methods for stochastic delay differential equations
by: Wang, Yudong, et al.
Published: (2025)

Continuum dynamics from quantised interaction rules
by: Junhu, Park, et al.
Published: (2026)

Comparing EPGP Surrogates and Finite Elements Under Degree-of-Freedom Parity
by: Amo, Obed, et al.
Published: (2025)

A Risk-Neutral Neural Operator for Arbitrage-Free SPX-VIX Term Structures
by: Zhang, Jian'an
Published: (2025)

Study of the stability of the fractional Stokes system from nonlinear optics around the zero equlibrium state
by: Ivan, Mihai
Published: (2025)

A Structure-Preserving PML-Domain-Embedding Method for Acoustic Wave Scattering by Moving Objects
by: Gu, Xuelong, et al.
Published: (2026)

Anderson acceleration with approximate calculations: applications to scientific computing
by: Pasini, Massimiliano Lupo, et al.
Published: (2022)

A Flight-Mechanics Solver for Aircraft Inverse Simulations and Application to 3D Mirage-III Maneuver
by: Marzouk, Osama A.
Published: (2024)

KAN-ODEs: Kolmogorov-Arnold Network Ordinary Differential Equations for Learning Dynamical Systems and Hidden Physics
by: Koenig, Benjamin C., et al.
Published: (2024)

Faster Forward Sensitivities: Reduced stochastic hedge ratios from pathwise algorithmic differentiation
by: Fries, Christian P
Published: (2026)

Polyharmonic Spline Packages: Composition, Efficient Procedures for Computation and Differentiation
by: Bakhvalov, Yuriy N.
Published: (2025)

Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence
by: Lessard, Jean-Philippe, et al.
Published: (2024)

Implicit numerical approximation for stochastic delay differential equations with the nonlinear diffusion term in the infinite horizon
by: Wang, Yudong, et al.
Published: (2025)

Gradient Coding with Iterative Block Leverage Score Sampling
by: Charalambides, Neophytos, et al.
Published: (2023)

Autoregressive regularized score-based diffusion models for multi-scenarios fluid flow prediction
by: Genuist, Wilfried, et al.
Published: (2025)

NOVAK: Unified adaptive optimizer for deep neural networks
by: Kavun, Sergii
Published: (2026)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
by: Daněk, Josef, et al.
Published: (2024)

Continuation and bifurcations of periodic orbits and symbolic dynamics in the Swift-Hohenberg equation
by: Czwórnóg, Jakub, et al.
Published: (2024)

Estimation of uncertainties in the density driven flow in fractured porous media using MLMC
by: Logashenko, Dmitry, et al.
Published: (2024)

Fast Gaussian process inference by exact Matérn kernel decomposition
by: Langrené, Nicolas, et al.
Published: (2025)