Towards -Extension of Rota Calculus in Mizar Language

Author: Gradzka E.

Source: Czechoslovak Journal of Physics, Volume 51, Number 12, December 2001 , pp. 1336-1341(6)

Publisher: Springer

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.

Language: English

Document Type: Regular paper

Affiliations: 1: Institute of Computer Science, Biaystok University, ul. Sosnowa 64, PL-15-887 Biaystok, Poland; ewag@ii.uwb.edu.plystok University, ul. Sosnowa 64, PL-15-887 Biaystok, Poland; ewag@ii.uwb.edu.pl">

Publication date: 2001-12-01

• In this: publication
• By this: publisher
• In this Subject: Physics (General)
• By this author: Gradzka E.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers