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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
