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.
Similar content being viewed by others
References
S.M. Roman and G.-C. Rota: Adv. Math.27 (1978) 95.
G.-C. Rota and R. Mullin:On the foundations of combinatorial theory, III. Theory of Binomial Enumeration in “Graph Theory and Its Applications”, Academic Press, New York, 1970, p. 167.
A.K. Kwaśniewski: Rep. Math. Phys.48 (2001) 304.
S.G. Kurbanov and V.M. Maximov: Dokl. Akad. Nauk Uz. SSR4 (1986) 8.
G. Markowsky: J. Math. Anal. Appl.63 (1978) 145.
P. Rudnicki and A. Trybulec: J. Automated Reasoning23 (1999) 197.
S. Jaśkowski:On the rules of supposition in formal logic, Studia Logica, Warsaw University, 1934.
A. Trybulec: Formalized Math.1 (1990) 9.
E. Gr⇂dzka: The Algebra of Polynomials (in press); http://mizar.org/JFM/Vo113/polyalg1.html.
A. Trybulec: Formalized Math.1 (1990) 291.
E. Kusak, W. Leończuk, and M. Muzalewski: Formalized Math.1 (1990) 335.
M. Muzalewski: Formalized Math.2 (1991) 3.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Grądzka, E. Towardsψ-extension of rota calculus in mizar language. Czech J Phys 51, 1336–1341 (2001). https://doi.org/10.1023/A:1013374120709
Received:
Issue Date:
DOI: https://doi.org/10.1023/A:1013374120709