Explicit formula for the fundamental class of functions (z, Z̃, Φ) introduced by J. Jorgenson and S. Lang, is given a new form valid for a more general fudge factor Φ. This is done for a larger class ...

Hersh recently showed that the Faulhaber polynomials, related to sums of consecutive powers, can be expressed as even or odd polynomials in the variable offset by one-half. In this article, we use ...

In the classical approaches of model checking (explicit and symbolic), the tools encode the state space, as well as the transition relation between the states. This way, when the predecessor of a ...