Combinatorial proofs of formulas for power sums

被引：0
|
作者：
Carl Wagner
机构：
[1] Department of Mathematics,
[2] The University of Tennessee,undefined
[3] Knoxville,undefined
[4] TN 37996-1300,undefined
[5] USA,undefined
来源：
Archiv der Mathematik | 1997年 / 68卷
关键词：
Combinatorial Proof;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We give combinatorial proofs of several formulas for power sums.
引用
收藏
页码：464 / 467
页数：3
相关论文
共 50 条
  • [41] Algebraic proofs over noncommutative formulas
    Tzameret, Iddo
    INFORMATION AND COMPUTATION, 2011, 209 (10) : 1269 - 1292
  • [42] UNIQUENESS OF NORMAL PROOFS OF MINIMAL FORMULAS
    TATSUTA, M
    JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (03) : 789 - 799
  • [43] CHARACTERIZING PROPOSITIONAL PROOFS AS NONCOMMUTATIVE FORMULAS
    Li, Fu
    Tzameret, Iddo
    Wang, Zhengyu
    SIAM JOURNAL ON COMPUTING, 2018, 47 (04) : 1424 - 1462
  • [44] Algebraic Proofs over Noncommutative Formulas
    Tzameret, Iddo
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2010, 6108 : 60 - 71
  • [45] Long Proofs of (Seemingly) Simple Formulas
    Miksa, Mladen
    Nordstrom, Jakob
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 121 - 137
  • [46] Recursive formulas generating power moments of multi-dimensional Kloosterman sums and m-multiple power moments of Kloosterman sums
    Kim, Dae San
    ALGEBRA & DISCRETE MATHEMATICS, 2015, 19 (02): : 213 - 228
  • [47] CLOSED FORMULAS FOR CERTAIN SUMS
    STONG, R
    AMERICAN MATHEMATICAL MONTHLY, 1992, 99 (06): : 578 - 579
  • [48] Sums-of-squares formulas
    Isaksen, Daniel C.
    COMMUNICATING MATHEMATICS, 2009, 479 : 157 - 167
  • [49] COMBINATORIAL PROOFS OF ZECKENDORF FAMILY IDENTITIES
    Gerdemann, Dale
    FIBONACCI QUARTERLY, 2008, 46-47 (03): : 249 - 261
  • [50] Upper Tail Estimates with Combinatorial Proofs
    Hazla, Jan
    Holenstein, Thomas
    32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 392 - 405
12345