Monotonic Derivative is a Python library designed to modify real-life data to ensure that the specified degree derivative of the cubic spline is always monotonically increasing or decreasing. This ...

Abstract: Monotonic preorders are integrated into tableaux using a simultaneous rigid unification calculus. For the case where monotonicity is not considered, a sound, complete and terminating ...

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 ...

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: The results of studies by solving the inverse thermal conductivity problem of the heat capacity of evaporator of the short linear heat pipes (HP’s) with a Laval nozzle-liked vapour channel ...