Related papers: Introducing the vfunc R package
In this paper, we are going to describe the solutions of the functional equation $$ \varphi\Big(\frac{x+y}{2}\Big)(f(x)+f(y))=\varphi(x)f(x)+\varphi(y)f(y) $$ concerning the unknown functions $\varphi$ and $f$ defined on an open interval.…
Conical functions appear in a large number of applications in physics and engineering. In this paper we describe an extension of our module CONICAL for the computation of conical functions. Specifically, the module includes now a routine…
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynamic slicing was defined for pure higher-order functional…
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…
Let $F$ be the set of functions from an infinite set, $S$, to an ordered ring, $R$. For $f$, $g$, and $h$ in $F$, the assertion $f = g + O(h)$ means that for some constant $C$, $|f(x) - g(x)| \leq C |h(x)|$ for every $x$ in $S$. Let $L$ be…
Let $X_{1},...,X_{n}$ be compact spaces and $X=X_{1}\times ... \times X_{n}.$ Consider the approximation of a function $f\in C(X)$ by sums $g_{1}(x_{1})+... g_{n}(x_{n}),$ where $g_{i}\in C(X_{i}),$ $i=1,...,n.$ In [8], M.Golomb obtained a…
The purpose of the present paper is to solve (under some assumption on the domain) the equation $$ g(x+y)-g(x)-g(y)=xf(y)+yf(x). $$ After determining the general solutions, we will investigate the so--called alien solutions. %More…
Pattern-matching programming is an example of a rule-based programming style developed in functional languages. This programming style is intensively used in dialects of ML but is restricted to algebraic data-types. This restriction limits…
An arithmetic function $f$ is called a $sieve$ $function$ of $range$ $Q$ if its Eratosthenes transform $g=f\ast\mu$ has support in $[1,Q]$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). We continue our study of the…
Aggregation functions are widely used in answer set programming for representing and reasoning on knowledge involving sets of objects collectively. Current implementations simplify the structure of programs in order to optimize the overall…
The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no…
Dafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact, soundness bugs have been found in both tools. This paper…
The R package calculus implements C++ optimized functions for numerical and symbolic calculus, such as the Einstein summing convention, fast computation of the Levi-Civita symbol and generalized Kronecker delta, Taylor series expansion,…
functionalObjects.h allows the C++ programmer performing common mathematical calculations to use a more symbolic syntax rather than an algorithmic syntax. This is not as ambitious as a symbolic manipulation program such as Mathematica; it…
Several applications of slicing require a program to be sliced with respect to more than one slicing criterion. Program specialization, parallelization and cohesion measurement are examples of such applications. These applications can…
Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no support for them. In this paper we propose to add partial…
Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both…
This is an introduction to calculus, and its applications to basic questions from physics. We first discuss the theory of functions $f:\mathbb R\to\mathbb R$, with the notion of continuity, and the construction of the derivative $f'(x)$ and…
iGraphMatch is an R package for finding corresponding vertices between two graphs, also known as graph matching. The package implements three categories of prevalent graph matching algorithms including relaxation-based, percolation-based,…
For a field $\mathbb{F}$, what are all functions $f \colon \mathbb{F} \rightarrow \mathbb{F}$ that satisfy the functional equation $f \left( (x+y)/(x-y) \right) = (f(x) + f(y))/(f(x) - f(y))$ for all $ x \neq y$ in $\mathbb{F}$? We solve…