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

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	143-160
Number of pages	18
Journal	Journal of Symbolic Computation
Volume	12
Issue number	2
DOIs	https://doi.org/10.1016/S0747-7171(08)80123-X
Publication status	Published - 1991

Access to Document

10.1016/S0747-7171(08)80123-X

Cite this

@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

Abstract

Access to Document

Fingerprint

Cite this