We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces to a triple binomial sum, thereby enabling us to open up the holonomic toolkit, which contains tools such as creative telescoping that can be used to deduce a recurrence satisfied by the sum. While applying these techniques, a host of issues arose that partly needed to be resolved by hand. In other words, no creative telescoping implementation currently exists that can resolve all these issues automatically. Thus, we felt the need to compile the different strategies we tried and the difficulties that we encountered along the way. In particular, we highlight the necessity of the certificate in these computations and how its complexity can greatly influence the computation time.
翻译:我们展示了一整套实际战略,以应对分析通过准蒙特卡洛方法得出的整体估计数据所产生的问题。 这个问题被减为三重二相总和,从而使我们能够打开全金组工具包,该工具包包含一些工具,例如可以用来推断该数字所满足的重现的创造性远程评估工具。在应用这些技术时,出现了一系列需要用手工解决的部分问题。换句话说,目前不存在能够自动解决所有这些问题的创造性的远程评估实施。 因此,我们认为需要汇编我们尝试过的不同战略和我们在过程中遇到的困难。 特别是,我们强调这些计算过程中证书的必要性及其复杂性如何能极大地影响计算时间。