https://doi.org/10.4169/amer.math.monthly.120.06.566 https://www.jstor.org/stable/10.4169/amer.math.monthly.120.06.566 Abstract We construct an example of a monotonic ...
Abstract: Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for ...
Abstract: In this document, we consider a median-based calculus for efficiently representing polynomial functions over distributive lattices. We extend an equational specification of median forms from ...
In this paper, we derive a class of approximations of the 𝑞-digamma function 𝜓𝑞(𝑥). The infinite family I a ( x;q )=log [ x+a ] q + q x logq 1− q x −( 1 2 −a )H( q−1 )logq, can be used as ...
Fractional Calculus is a very popular subject among mathematicians and applied scientists. The nonlocal operators in fractional calculus provide solutions for challenging research topics and problems ...
ABSTRACT: The dynamics of a fractionalized semi-linear scalar differential equation is considered with a Caputo fractional derivative. By using a symbolic operational method, a fractional order ...