CM CONVERGENCE OF TRIFONOMETRIC INTERPOLANTS

被引：7
|
作者：
BUBE, KP
机构：
来源：
SIAM JOURNAL ON NUMERICAL ANALYSIS | 1978年 / 15卷 / 06期
关键词：
D O I：
10.1137/0715086
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：1258 / 1268
页数：11
相关论文
共 50 条
  • [41] On Interpolants and Variable Assignments
    Jancik, Pavel
    Kofron, Jan
    Rollini, Simone Fulvio
    Sharygina, Natasha
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 123 - 130
  • [42] Decomposing Farkas Interpolants
    Blicha, Martin
    Hyvarinen, Antti E. J.
    Kofron, Jan
    Sharygina, Natasha
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 3 - 20
  • [43] Blended hermite interpolants
    Gfrerrer, A
    Röschel, O
    COMPUTER AIDED GEOMETRIC DESIGN, 2001, 18 (09) : 865 - 873
  • [44] Biorthogonality of the Lagrange interpolants
    Zhedanov, A
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2004, 172 (01) : 1 - 6
  • [45] Classifying Bugs with Interpolants
    Podelski, Andreas
    Schaf, Martin
    Wies, Thomas
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 151 - 168
  • [46] Splitting via Interpolants
    Ermis, Evren
    Hoenicke, Jochen
    Podelski, Andreas
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 186 - 201
  • [47] ALCOHOLICS AND CONVERGENCE THEORY OF GROUP-DYNAMICS - GERMAN - MERKEL,CM
    ANTONS, K
    GRUPPENPSYCHOTHERAPIE UND GRUPPENDYNAMIK, 1978, 13 (2-3) : 287 - 288
  • [48] Reduction of Interpolants for Logic Synthesis
    Backes, John D.
    Riedel, Marc D.
    2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 602 - 609
  • [49] Improving Interpolants for Linear Arithmetic
    Althaus, Ernst
    Beber, Bjoern
    Kupilas, Joschka
    Scholl, Christoph
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 48 - 63
  • [50] Optimal interpolants on Grassmann manifolds
    Erchuan Zhang
    Lyle Noakes
    Mathematics of Control, Signals, and Systems, 2019, 31 : 363 - 383
12345