Towards ψ-extension of Rota calculus in Mizar language*)


    loading  Checking for direct PDF access through Ovid

Abstract

Some cases of extended Umbral calculus provide an underpining for deformed quantum oscillator models.The Umbral calculus has been already formulated in Maple package. We shall present the first stages of the Mizar System usage in formulating and checking the first principal statements of extended Umbral calculus.

    loading  Loading Related Articles