Exact bounds on epsilon processes
Logic
2013-04-11 v1
Authors:
Toshiyasu Arai
Abstract
In this paper we show that the lengths of the approximating processes in epsilon substitution method are calculable by ordinal recursions in an optimal way.
Cite
@article{arxiv.1005.2003,
title = {Exact bounds on epsilon processes},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1005.2003},
year = {2013}
}
Related papers
View all related →
Numerical Analysis · Mathematics
Approximate rational arithmetics and arbitrary precision computations
Grigori Litvinov, Anatoli Rodionov, Andrei Chourkin
2025-10-20
Probability · Mathematics
Strong approximation of Bessel processes
Madalina Deaconu, Samuel Herrmann
2021-06-02
Classical Analysis and ODEs · Mathematics
Higher Order Methods for Differential Inclusions
Sanja Gonzalez Zivanovic, Pieter Collins
2012-06-29
Logic in Computer Science · Computer Science
Complexity Bounds for Ordinal-Based Termination
Sylvain Schmitz
2014-09-26
Mathematical Physics · Physics
Method of self-similar factor approximants
V. I. Yukalov, E. P. Yukalova
2009-11-13
Formal Languages and Automata Theory · Computer Science
Enumerating Finitary Processes
B. D. Johnson, J. P. Crutchfield, C. J. Ellison, C. S. McTague
2012-12-18
Dynamical Systems · Mathematics
Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
Ian Tobasco, David Goluskin, Charles R. Doering
2019-04-16
Numerical Analysis · Mathematics
Resolution-optimal exponential and double-exponential transform methods for functions with endpoint singularities
Ben Adcock, Jésus Martín-Vaquero, Mark Richardson
2016-09-06
Probability · Mathematics
Corrected Discrete Approximations for the Conditional and Unconditional Distributions of the Continuous Scan Statistic
Yi-Ching Yao, Daniel Wei-Chung Miao, Xenos Chang-Shuo Lin
2016-02-09
Logic · Mathematics
The Epsilon Calculus and Herbrand Complexity
Georg Moser, Richard Zach
2015-04-21
Numerical Analysis · Mathematics
Computing the unitary best approximant to the exponential function
Tobias Jawecki
2025-04-15
Analysis of PDEs · Mathematics
A note on the Maximum Principle and the Iteration Method for elliptic equations
Jean Cortissoz, Jonatán Torres-Orozco
2021-06-25
Computational Finance · Quantitative Finance
On strong binomial approximation for stochastic processes and applications for financial modelling
Nikolai Dokuchaev
2015-02-09
Logic in Computer Science · Computer Science
Reasoning about Recursive Probabilistic Programs
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016-03-10
Numerical Analysis · Mathematics
Approximation of Functions: Optimal Sampling and Complexity
David Krieg, Mario Ullrich
2026-04-07
Probability · Mathematics
Extremes of random variables observed in renewal times
Bojan Basrak, Drago Špoljarić
2016-08-08
Functional Analysis · Mathematics
Covering numbers for bounded variation functions
Prerona Dutta, Khai T. Nguyen
2018-05-28
Logic · Mathematics
Priority Arguments and Epsilon Substitutions
Henry Towsner
2008-12-19
Machine Learning · Computer Science
Indefinitely Oscillating Martingales
Jan Leike, Marcus Hutter
2014-08-18
Symbolic Computation · Computer Science
Effective Bounds for P-Recursive Sequences
Marc Mezzarobba, Bruno Salvy
2013-06-19
Numerical Analysis · Computer Science
An Approximate, Efficient Solver for LP Rounding
Srikrishna Sridhar, Victor Bittorf, Ji Liu, Ce Zhang +2
2013-11-19
Numerical Analysis · Mathematics
A very accurate method to approximate discontinuous functions with a finite number of discontinuities
E. Stella, C. L. Ladera, G. Donoso
2021-07-27
Data Analysis, Statistics and Probability · Physics
Optimal approximations of power-laws with exponentials
Thierry Bochud, Damien Challet
2008-12-02
Numerical Analysis · Mathematics
Computable upper error bounds for Krylov approximations to matrix exponentials and associated $\varphi$-functions
Tobias Jawecki, Winfried Auzinger, Othmar Koch
2020-02-03
Numerical Analysis · Mathematics
Maximum-norm a posteriori error bounds for an extrapolated Euler/finite element discretisation of parabolic equations
Torsten Linß, Goran Radojev
2022-08-18