English
Related papers

Related papers: Approximate Axiomatization for Differentially-Defi…

200 papers

Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…

Logic · Mathematics 2023-05-18 Saeed Salehi

A deep approximation is an approximating function defined by composing more than one layer of simple functions. We study deep approximations of functions of one variable using layers consisting of low-degree polynomials or simple conformal…

Numerical Analysis · Mathematics 2025-04-25 Kingsley Yeon

computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…

Logic in Computer Science · Computer Science 2007-05-23 J. V. Tucker , J. I. Zucker

This paper presents a general study of one-dimensional differentiability for functionals defined on convex domains that are not necessarily open. The local approximation is carried out using affine functionals, as opposed to linear…

Functional Analysis · Mathematics 2025-07-04 Simone Cerreia-Vioglio , Fabio Maccheroni , Massimo Marinacci , Luigi Montrucchio , Lorenzo Stanca

We provide several asymptotic expansions of the prime counting function $\pi(x)$ and related functions. We define an {\it asymptotic continued fraction expansion} of a complex-valued function of a real or complex variable to be a possibly…

Number Theory · Mathematics 2021-08-19 Jesse Elliott

The article is devoted to approximate, global and along curves differentiability of functions over non-archimedean infinite fields with non-trivial valuations. Fields with zero and non-zero characteristics are considered. Spaces of…

Classical Analysis and ODEs · Mathematics 2010-03-16 S. V. Ludkovsky

We give a new proof of a classical theorem on approximation of continuous functions on totally real sets

Complex Variables · Mathematics 2008-05-23 Bo Berndtsson

Provided a special function of one variable and some of its derivatives can be accurately computed over a finite range, a method is presented to build a series of polynomial approximations of the function with a defined relative error over…

Computational Physics · Physics 2007-05-23 C. Semay

The motivation of this paper is the development of an optimisation method for solving optimisation problems appearing in Chebyshev rational and generalised rational approximation problems, where the approximations are constructed as ratios…

Optimization and Control · Mathematics 2020-11-06 R. Díaz Millán , Nadezda Sukhorukova , Julien Ugon

Unlike polynomials, rational functions can represent functions having poles or branch cuts with root-exponential convergence and no Runge phenomenon. Recent developments of the AAA and greedy Thiele algorithms have sparked renewed interest…

Numerical Analysis · Mathematics 2025-12-09 Tobin A. Driscoll

We consider approximation or recovery of functions based on a finite number of function evaluations. This is a well-studied problem in optimal recovery, machine learning, and numerical analysis in general, but many fundamental insights were…

Numerical Analysis · Mathematics 2026-04-07 David Krieg , Mario Ullrich

The theory of abstract convexity, also known as convexity without linearity, is an extension of the classical convex analysis. There are a number of remarkable results, mostly concerning duality, and some numerical methods, however, this…

Optimization and Control · Mathematics 2025-02-20 Reinier Díaz Millán , Nadezda Sukhorukova , Julien Ugon

Purpose of writing this paper is to solve a transcendental function containing a product of a variable and its double exponential by a unique method of approximation. If the value of the said product is given, then its inverse function is…

Numerical Analysis · Mathematics 2025-11-25 Narinder Kumar Wadhawan

A simple and very accurate method to approximate a function with a finite number of discontinuities is presented. This method relies on hyperbolic tangent functions of rational arguments as connecting functions at the discontinuities, each…

Numerical Analysis · Mathematics 2021-07-27 E. Stella , C. L. Ladera , G. Donoso

Two approximations of the integral of a class of sinusoidal composite functions, for which an explicit form does not exist, are derived. Numerical experiments show that the proposed approximations yield an error that does not depend on the…

Numerical Analysis · Mathematics 2024-01-17 Alberto Costa

Deterministic automata have been traditionally studied through the point of view of language equivalence, but another perspective is given by the canonical notion of shortest-distinguishing-word distance quantifying the of states.…

Logic in Computer Science · Computer Science 2024-04-23 Wojciech Różowski

On any metric space, I provide an intrinsic characterization of those complex-valued functions which are uniform limits of Lipschitz functions. There are applications to function theory on complete Riemannian manifolds and, in particular,…

Functional Analysis · Mathematics 2021-05-18 L. A. Coburn

Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some…

Logic · Mathematics 2021-11-30 Saeed Salehi

Generic approximation of entire functions by their Pad\'{e} approximants has been achieved in the past (\cite{3}). In the present article we obtain generic approximation of holomorphic functions on arbitrary open sets by sequences of their…

Complex Variables · Mathematics 2011-06-02 G. Fournodavlos , V. Nestoridis

Extending classical results on polytopal approximation of convex bodies, we derive asymptotic formulas for the weighted approximation of smooth convex functions by piecewise affine convex functions as the number of their facets tends to…

Optimization and Control · Mathematics 2025-10-01 Fernanda M. Baêta