<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the definitions of the orthogonal polynomial and norm function, and some of their important properties [19].</p><p>MML identifier: INTEGRA9, version: 7.11.01 4.117.1046</p></abstract>

In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the definitions of the orthogonal polynomial and norm function, and some of their important properties [19].MML identifier: INTEGRA9, version: 7.11.01 4.117.1046

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

Qingdao University of Science and Technology, China

Formalized Mathematics

In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the...

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

Data publikacji: 20 mar 2009

Zakres stron: 11 - 21

DOI: https://doi.org/10.2478/v10037-009-0002-1

This content is open access.