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 条
  • [31] DRUPing for Interpolants
    Gurfinkel, Arie
    Vizel, Yakir
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 99 - 106
  • [32] ON SMOOTHEST INTERPOLANTS
    PINKUS, A
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 1988, 19 (06) : 1431 - 1441
  • [33] Exploring Interpolants
    Rummer, Philipp
    Subotic, Pavle
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 69 - 76
  • [34] Nested Interpolants
    Heizmann, Matthias
    Hoenicke, Jochen
    Podelski, Andreas
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 471 - 482
  • [35] Nested Interpolants
    Heizmann, Matthias
    Hoenicke, Jochen
    Podelski, Andreas
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 471 - 482
  • [36] Rewriting Interpolants
    Lynch, Christopher
    Tang, Yuefeng
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 212 : 163 - 176
  • [37] Spatial Interpolants
    Albargouthi, Aws
    Berdine, Josh
    Cook, Byron
    Kincaid, Zachary
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 634 - 660
  • [38] Lazy abstraction with interpolants
    McMillan, Kenneth L.
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 123 - 136
  • [39] Effectively Propositional Interpolants
    Drews, Samuel
    Albarghouthi, Aws
    COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II, 2016, 9780 : 210 - 229
  • [40] Note on Rational Interpolants
    Tan Jieqing (Hefei University of Technology)
    工科数学, 1993, (03) : 59 - 64
12345