NORMAL FORMS FOR A CLASS OF FORMULAS

被引：0
|
作者：
TENEIKELDER, HMM
WILMONT, JCF
机构：
[1] Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1991年 / 12卷 / 02期
关键词：
D O I：
10.1016/S0747-7171(08)80123-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. © 1991, Academic Press Limited. All rights reserved.
引用
收藏
页码：143 / 160
页数：18
相关论文
共 50 条
  • [1] NORMAL FORMS OF FUZZY FORMULAS AND THEIR MINIMIZATION
    DUMITRESCU, D
    TATAR, D
    FUZZY SETS AND SYSTEMS, 1994, 64 (01) : 113 - 117
  • [2] Representation of logic formulas by normal forms
    Danková, M
    KYBERNETIKA, 2002, 38 (06) : 717 - 728
  • [3] ASYMPTOTIC FORMULAS FOR COEFFICIENTS OF A CLASS OF MODULAR FORMS
    DIRDAL, G
    MATHEMATICA SCANDINAVICA, 1972, 31 (01) : 237 - 247
  • [4] CLASS NUMBER FORMULAS FOR QUATERNARY QUADRATIC-FORMS
    PONOMAREV, P
    ACTA ARITHMETICA, 1981, 39 (01) : 95 - 104
  • [5] A Special Class of Fuzzified Normal Forms
    Salazar Morales, Omar
    Soriano Mendez, Jose Jairo
    BIO-INSPIRED COMPUTING AND APPLICATIONS, 2012, 6840 : 331 - 344
  • [6] CLASS NUMBER FORMULAS FOR QUADRATIC FORMS OVER GF[Q, X]
    CARLITZ, L
    DUKE MATHEMATICAL JOURNAL, 1956, 23 (02) : 225 - 235
  • [7] ON FORMS AND FORMULAS
    FLUSSER, V
    DESIGN ISSUES, 1995, 11 (03) : 55 - 57
  • [8] On the computation of normal forms of ordinary differential equations using recursive formulas
    Hsu, L
    Min, LJ
    Favretto, L
    NOISE AND VIBRATION ENGINEERING, VOLS 1 - 3, PROCEEDINGS, 2001, : 539 - 546
  • [9] Smooth and analytic normal forms: A special class of strict feedforward forms
    Tall, IA
    Respondek, W
    CONTROL AND OBSERVER DESIGN FOR NONLINEAR FINITE AND INFINITE DIMENSIONAL SYSTEMS, 2005, 322 : 147 - 164
  • [10] A class of coupled extended dynamics observability normal forms
    Wang, Li-Fei
    Boutat, Driss
    Liu, Da-Yan
    Liu, Hao-Ran
    2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 829 - 834
12345