Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions

Bibliographic Details
Main Authors: Li Bo, Zhuang Yanping, Xie Bing, Wang Pan
Format: Article
Language:English
Published: Sciendo 2009-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-009-0002-1