格菲

GFANSE软件包提供了确定和操作生成函数的工具。你可以通过生成由方程定义的函数来进行计算。例如,给定由多项式系数的线性微分方程定义的两个生成函数,就有一个计算由它们的乘积满足的微分方程的过程。GMASE包中的每个命令都可以使用命令调用序列中的命令名的长形式或短形式来访问。因为GFANSE包的底层实现是一个模块,所以还可以使用表单gFoo::命令来访问包中的命令。有关更多信息,请参见模块成员。


ZBMaX中的参考文献(117篇)1标准条款

显示结果1至20的117。
按年份排序(引文
  1. Pillwein,Veronika:Gillis Reznick Zeilberger有理函数的正性(2019)
  2. Spiegelhofer、卢卡斯、沃尔纳、米迦勒:Tu Deng猜想几乎把握无疑(2019)
  3. 巴纳德,艾米丽;阅读,弥敦:科克塞特-比卡特兰组合数学(2018)
  4. 黄,慧;考尔斯,曼努埃尔:D-有限数(2018)
  5. 巴彻,阿克塞尔;Bodini,奥利维尔;Jacquot,爱丽丝:基于完整方程的二元和一元二元树的有效随机抽样(2017)
  6. Bonichon,尼古拉斯;BukeET-Me楼,Mireille;Dorbec,保罗;Pennarun,克莱尔:关于平面欧拉方向数(2017)
  7. 博斯坦,Alin;莱雷兹,彼埃尔;Salvy,布鲁诺:多重二项式和(2017)
  8. Castiglione,吉斯,Massazza,Paolo:一类具有完整生成函数的语言(2017)
  9. 吉尔恩,Martha Bernal;Corey,丹尼尔;Donten Bury,玛丽亚;Fujeta,Naoki;梅尔兹,梅尔兹:Cox NaGaTa环的Kovksiii基和热带几何(2017)
  10. 奥利弗,Kamilla;普丁格,赫尔穆特:伯努利函数三角函数的求和(2017)
  11. Shalosh B. Ekhad,明佳洋:R.J. Mathar的OEIS中许多推测性重复的自动证明(2017)阿西夫
  12. 博斯坦,Alin;BukeET-Me楼,Mireille;Kaer-S,曼努埃尔;MelcZe,史蒂芬:关于正八面体(2016)的三维格状行进
  13. 博斯坦,Alin;C.ZeZe,纪尧姆;CulZZAU,托马斯;WeIL,Jacques Arthur:平面多项式向量场有理第一积分和达布多项式的有效算法(2016)
  14. Tabbara,R;Owczarek,A. L.;ReCHNITZER,A:一个精确的解决三个相互作用的友好步行在大(2016)
  15. 艾伯特,米迦勒;BukeET-May娄,MiRiel:由平行堆叠和四分之一平面行走两个堆栈排序的排列(2015)
  16. 考尔斯,曼努埃尔;Jaroschek,马希米莲;约翰松,Fredrik:圣人中的矿石多项式(2015)
  17. Koepf,沃尔夫拉姆;Chiadjeu,Etienne Nana:形式傅立叶级数的算法方法(2015)
  18. Shalosh B. Ekhad,N.J.A.斯隆,Doron Zeilberger:一种用于创建奇数规则元胞自动机中的细胞计数快速算法的Meta算法(2015)阿西夫
  19. Kaer-S,曼努埃尔:D-有限闭包性质的界(2014)
  20. Shalosh B. Ekhad,Doron Zeilberger:渐近异常的自动证明(以及更多)关于加泰罗尼亚计数组合家庭的自然统计(2014)阿西夫

进一步的出版物可以在:HTPp//PrSO.En-Lyon?Fr/Bruno.Savyy/?PaGyId=12