Normal forms for a class of formulas

H.M.M. Eikelder, ten; J.C.F. Wilmont

doi:10.1016/S0747-7171(08)80123-X

Normal forms for a class of formulas

H.M.M. Eikelder, ten, J.C.F. Wilmont

Algorithms

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Samenvatting

We consider a class of formulas which consist of real functions a1,…,aN, their derivatives, and zero or more occurrences of an integration operator I. Formulas of this type arise in some part of mathematical physics. Due to integration by parts, various formulas have the same meaning for all (suitable) functions a1,…,aN. Anormal form and a normalization algorithm are given.

Originele taal-2	Engels
Pagina's (van-tot)	143-160
Aantal pagina's	18
Tijdschrift	Journal of Symbolic Computation
Volume	12
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1016/S0747-7171(08)80123-X
Status	Gepubliceerd - 1991

Toegang tot document

10.1016/S0747-7171(08)80123-X

Citeer dit

@article{c6fecac7258845d0bababffe671edd9d,

title = "Normal forms for a class of formulas",

abstract = "We consider a class of formulas which consist of real functions a1,…,aN, their derivatives, and zero or more occurrences of an integration operator I. Formulas of this type arise in some part of mathematical physics. Due to integration by parts, various formulas have the same meaning for all (suitable) functions a1,…,aN. Anormal form and a normalization algorithm are given.",

author = "{Eikelder, ten}, H.M.M. and J.C.F. Wilmont",

year = "1991",

doi = "10.1016/S0747-7171(08)80123-X",

language = "English",

volume = "12",

pages = "143--160",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press Inc.",

number = "2",

}

TY - JOUR

T1 - Normal forms for a class of formulas

AU - Eikelder, ten, H.M.M.

AU - Wilmont, J.C.F.

PY - 1991

Y1 - 1991

N2 - We consider a class of formulas which consist of real functions a1,…,aN, their derivatives, and zero or more occurrences of an integration operator I. Formulas of this type arise in some part of mathematical physics. Due to integration by parts, various formulas have the same meaning for all (suitable) functions a1,…,aN. Anormal form and a normalization algorithm are given.

AB - We consider a class of formulas which consist of real functions a1,…,aN, their derivatives, and zero or more occurrences of an integration operator I. Formulas of this type arise in some part of mathematical physics. Due to integration by parts, various formulas have the same meaning for all (suitable) functions a1,…,aN. Anormal form and a normalization algorithm are given.

U2 - 10.1016/S0747-7171(08)80123-X

DO - 10.1016/S0747-7171(08)80123-X

M3 - Article

SN - 0747-7171

VL - 12

SP - 143

EP - 160

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 2

ER -

Normal forms for a class of formulas

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit