Computer simplification of formulas in linear systems theory

被引：0
|
作者：
Univ of California, San Diego, United States [1 ]
机构：
来源：
IEEE Trans Autom Control | / 3卷 / 302-314期
关键词：
Number:; -; Acronym:; NSF; Sponsor: National Science Foundation; AFOSR; Sponsor: Air Force Office of Scientific Research;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Computer simplification of formulas in linear systems theory
    Helton, JW
    Stankus, M
    Wavrik, JJ
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (03) : 302 - 314
  • [2] SIMPLIFICATION OF LINEAR SYSTEMS
    HSIA, TC
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1972, AC17 (03) : 372 - &
  • [3] SIMPLIFICATION OF LARGE LINEAR SYSTEMS
    DAVISON, EJ
    CONTROL, 1968, 12 (119): : 418 - &
  • [4] SIMPLIFICATION OF LINEAR-SYSTEMS
    REGGIANI, MG
    MARCHETTI, FE
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1975, AC20 (01) : 180 - 181
  • [5] SIMPLIFICATION OF LINEAR-SYSTEMS
    CHIDAMBARA, MR
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1973, AC18 (01) : 76 - 77
  • [6] SIMPLIFICATION OF LINEAR-SYSTEMS - REPLY
    HSIA, TC
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1973, AC18 (01) : 77 - 78
  • [7] SIMPLIFICATION OF LINEAR DYNAMIC-MODELS FOR COMPUTER CONTROL
    FRANCIS, ND
    APPLIED MATHEMATICAL MODELLING, 1980, 4 (06) : 477 - 478
  • [8] Simplification of Cylindrical Algebraic Formulas
    Chen, Changbo
    Maza, Marc Moreno
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING (CASC 2015), 2015, 9301 : 119 - 134
  • [9] SIMPLIFICATION OF LINEAR-SYSTEMS - AUTHORS REPLY
    HSIA, TC
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1975, AC20 (01) : 181 - 181
  • [10] Computer aided systems for target language teaching simplification
    Kushnir, Yuri
    Sviridova, Tatyana
    Marikutsa, Ulyana
    Sasenyuk, Yulia
    Zakaulov, Alexander
    2007 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON THE EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS, 2007, : 577 - 579
12345