卡斯滕·施奈德
人员信息
其他同名人员
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元32年] 埃文斯·多·奥坎西 , 卡斯滕·施耐德 :
差分环中嵌套深度较高的超几何积的表示。 J.塞姆。 计算。 120 : 102220 ( 2024 ) [i52] 彼得·鲍尔 , 卡斯滕·施耐德 :
超几何双和的创造性伸缩。 CoRR公司 abs/2401.16314 ( 2024 ) 2023 [公元31年] 约翰内斯·布吕姆林 , 马可·萨拉涅斯 , 卡斯滕·施耐德 :
费曼积分中的超几何结构。 安。数学。 Artif公司。 智力。 91 ( 5 ) : 591-649年 ( 2023 ) 【j30】 约翰内斯·布吕姆林 , 尼古拉·法迪夫 , 卡斯滕·施耐德 :
用符号方法计算嵌套二项式和的梅林表示和渐近性:RICA包。 ACM通信。 计算。 代数 57 ( 2 ) : 31-34 ( 2023 ) [第12条] 卡斯滕·施耐德 :
在R∏∑-扩展中改进了伸缩算法,以减少分母✱的次数。 ISSAC公司 2023 : 498-507 [i51] 卡斯滕·施耐德 :
在R∏∑扩展中改进了伸缩算法,以降低分母的度数。 CoRR公司 abs/2302.03563 ( 2023 ) 【i50】 约翰内斯·布吕姆林 , 尼古拉·法迪夫 , 卡斯滕·施耐德 :
以符号方式计算嵌套二项式和的Mellin表示和渐近性:RICA包。 CoRR公司 abs/2308.06042 ( 2023 ) 2022 [i49] 约翰内斯·布吕姆林 , 卡斯滕·施耐德 :
《SAGEX散射振幅评论》,第4章:多峰费曼积分。 CoRR公司 abs/2203.13015 ( 2022 ) [i48] 约翰内斯·布吕姆林 , 马可·萨拉涅斯 , 卡斯滕·施耐德 :
费曼积分的计算机代数和超几何结构。 CoRR公司 abs/2207.08524 ( 2022 ) [i47] 库斯塔夫·巴内杰 , 彼得·鲍尔 , 克里斯蒂安·西尔维乌·拉杜 , 卡斯滕·施耐德 :
配分函数渐近展开的误差界。 CoRR公司 abs/2209.07887 ( 2022 ) 2021 [公元29年] 谢尔盖·阿布拉莫夫 , 布隆斯坦 , 马尔科·佩特科夫塞克 , 卡斯滕·施耐德 :
∏∑中线性常差分方程的有理解和超几何解 ⁎ -字段扩展。 J.塞姆。 计算。 107 : 23-66 ( 2021 ) [公元28年] 卡斯滕·施耐德 :
失踪乘客问题:一个由计算机代数解决的激励挑战。 数学。 计算。 科学。 15 ( 4 ) : 577-588 ( 2021 ) [第11条] 雅各布·阿林格 , 卡斯滕·施耐德 :
用幂等表示求解环中系数的线性差分方程。 ISSAC公司 2021 : 27日至34日 [电子1] 卡斯滕·施奈德 , 米尔恰·马林 , 维奥雷尔·内格鲁 , 丹妮拉·扎哈里 :
2021年12月7日至10日,第23届科学计算符号和数字算法国际研讨会,SYNASC 2021,罗马尼亚蒂米索拉。 电气与电子工程师协会 2021 ,国际标准图书编号 978-1-6654-0650-5 [目录] [i46] 卡斯滕·施耐德 :
符号和的术语代数、标准表示和差环理论。 CoRR公司 abs/2102.01471 ( 2021 ) [i45] 雅各布·阿林格 , 卡斯滕·施耐德 :
用幂等元表示求解环中系数的线性差分方程。 CoRR公司 abs/2102.03307 ( 2021 ) [i44] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 卡斯滕·施耐德 :
由二次型导出的字母上的迭代积分。 CoRR公司 腹肌/2103.08330 ( 2021 ) [i43] 约翰内斯·布吕姆林 , 马可·萨拉涅斯 , 卡斯滕·施耐德 :
费曼积分中的超几何结构。 CoRR公司 abs/2111.15501 ( 2021 ) 2020 [公元27年] 卡斯滕·施耐德 :
单套积的极小表示和代数关系。 程序。 计算。 柔和。 46 ( 2 ) : 133-161 ( 2020 ) [i42] 卡斯滕·施耐德 :
失踪乘客问题:一个由计算机代数解决的激励挑战。 CoRR公司 abs/2003.01921 ( 2020 ) [i41] 卡斯滕·施耐德 , 瓦迪姆·祖迪林 :
ζ(4)的案例研究。 CoRR公司 腹肌/2004.08158 ( 2020 ) [i40] 谢尔盖·阿布拉莫夫 , 布隆斯坦 , 马尔科·佩特科夫塞克 , 卡斯滕·施耐德 :
关于$∏\mathbf∑^*$域扩张中线性常差分方程的有理解和超几何解。 CoRR公司 abs/2005.04944 ( 2020 ) [i39] 埃文斯·多·奥坎西 , 卡斯滕·施耐德 :
差分环中嵌套深度较高的超几何积的表示。 CoRR公司 abs/2011.08775 ( 2020 )
2010 – 2019
2019 [公元26年] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 标记圆形 , 卡斯滕·施耐德 :
权重w=8的调和多对数的数值实现。 计算。 物理学。 Commun公司。 240 : 189-201 ( 2019 ) [i38] 卡斯滕·施耐德 :
单嵌套乘积的最小表示和代数关系。 CoRR公司 abs/1911.04837 ( 2019 ) [i37] 约翰内斯·布吕姆林 , 彼得·马夸德 , 卡斯滕·施耐德 :
从线性微分方程耦合系统计算大力矩的精密机械。 CoRR公司 abs/1912.04390 ( 2019 ) 2018 [公元25年] 约翰内斯·米德克 , 卡斯滕·施耐德 :
研究一阶线性递归系统超几何解的直接求法。 ACM通信。 计算。 代数 52 ( 三 ) : 89-91 ( 2018 ) [公元36年] 约翰内斯·布吕姆林 , 卡斯滕·施耐德 :
费曼积分和相关多值的计算机代数工具。 CoRR公司 abs/1809.06168 ( 2018 ) [i35] 彼得·鲍尔 , 卡斯滕·施耐德 :
未指定序列的符号求和理论。 CoRR公司 腹肌/1809.06578 ( 2018 ) 2017 [公元24年] 卡斯滕·施耐德 , 罗宾·苏尔兹格鲁伯 :
Novelli-Pak-Stoyanovskii算法复杂性的渐近精确结果。 电子。 J.库姆。 24 ( 2 ) : 2 ( 2017 ) [公元23年] 卡斯滕·施耐德 :
求和理论Ⅱ:R∏∑的刻划 ⁎ -扩展和算法方面。 J.塞姆。 计算。 80 : 616-664 ( 2017 ) [i34] 约翰内斯·布吕姆林 , 卡斯滕·施耐德 :
量子场论中计算单尺度过程的任意大矩方法。 CoRR公司 abs/1701.04614 ( 2017 ) [i33] 约翰内斯·米德克 , 卡斯滕·施耐德 :
使用$∏∑$-扩张的递归方程组的分母界。 CoRR公司 腹肌/1705.00280 ( 2017 ) [i32] 埃文斯·多·奥坎西 , 卡斯滕·施耐德 :
在差分环中表示($q$-)超几何积和混合版本。 CoRR公司 abs/1705.01368 ( 2017 ) [i31] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 马克·范·霍伊 , 埃尔达尔·伊马莫格鲁 , 克莱门斯·拉布 , 克里斯蒂安·西尔维乌·拉杜 , 卡斯滕·施耐德 :
费曼图的迭代椭圆积分和超几何积分。 CoRR公司 腹肌/1706.01299 ( 2017 ) [i30] 约翰内斯·布吕姆林 , 标记圆形 , 卡斯滕·施耐德 :
粒子物理中的精细全息求和算法。 CoRR公司 abs/1706.03677 ( 2017 ) 2016 [公元22年] 埃文斯·多·奥坎西 , 卡斯滕·施耐德 :
差环中超几何积的表示。 ACM通信。 计算。 代数 50 ( 4 ) : 161-163 ( 2016 ) [公元21年] 约翰内斯·米德克 , 卡斯滕·施耐德 :
高阶线性递归方程组的分母界。 ACM通信。 计算。 代数 50 ( 4 ) : 185-187 ( 2016 ) [公元20年] 雅各布·阿林格 , 阿诺德·贝林 , 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 安德烈亚斯·冯·曼特乌费尔 , 卡斯滕·施耐德 :
用计算机代数计算大规模算子矩阵元的三回路梯形拓扑和V拓扑。 计算。 物理学。 Commun公司。 202 : 33至112 ( 2016 ) [公元19年] 卡斯滕·施耐德 :
符号求和的差环理论。 J.塞姆。 计算。 72 : 82-127 ( 2016 ) [第10条] 卡斯滕·施耐德 :
差环中的符号求和及其应用。 ISSAC公司 2016 : 9月12日 [i29] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 卡斯滕·施奈德 :
求解微分方程和差分方程耦合系统的工具箱。 CoRR公司 abs/1601.01856 ( 2016 ) [第28条] 卡斯滕·施耐德 :
求和理论Ⅱ:R∏∑的刻划 * -扩展和算法方面。 CoRR公司 abs/1603.04285 ( 2016 ) [i27] 卡斯滕·施耐德 , 罗宾·苏尔兹格鲁伯 :
Novelli-Pak-Stoyanovskii算法复杂性的渐近精确结果。 CoRR公司 abs/1606.07597 ( 2016 ) [i26] 克里斯蒂安·克拉蒂海尔 , 卡斯滕·施耐德 :
涉及绝对值的二项式双和的计算。 CoRR公司 abs/1607.05314 ( 2016 ) [i25] 雅各布·阿林格 , 阿恩德·贝林 , 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 卡斯滕·施耐德 :
用幂级数求解耦合微分方程组的算法。 CoRR公司 abs/1608.05376 ( 2016 ) 2015 [第2页] 卡斯滕·施耐德 :
差分场精细参数化望远镜的快速算法。 计算机代数与多项式 2015 : 157-191 【i24】 雅各布·阿林格 , 阿恩德·贝林 , 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 安德烈亚斯·冯·曼特乌费尔 , 卡斯滕·施耐德 :
用计算机代数计算大规模算子矩阵元的三环梯和V拓扑。 CoRR公司 abs/1509.08324 ( 2015 ) [i23] 雅各布·阿林格 , 卡斯滕·施耐德 :
(分圆)调和和的代数独立性。 CoRR公司 abs/1510.03692 ( 2015 ) 2014 【c9】 卡斯滕·施耐德 :
流线差分环理论:不定嵌套和、交替符号和参数化伸缩问题。 SYNASC公司 2014 : 26-33 [i22] 约翰内斯·布吕姆林 , 阿比利奥·德·弗雷塔斯 , 卡斯滕·施耐德 :
求解微分方程和差分方程耦合系统的最新符号求和方法。 CoRR公司 abs/1407.2537 ( 2014 ) 【i21】 雅各布·阿林格 , 约翰内斯·布吕姆林 , 克莱门斯·G·拉布 , 卡斯滕·施耐德 :
大规模费曼图的嵌套(逆)二项式和和新的迭代积分。 CoRR公司 abs/1407.4721 ( 2014 ) [i20] 卡斯滕·施耐德 :
符号求和的差环理论。 CoRR公司 abs/1408.2776 ( 2014 ) [i19] 卡斯滕·施耐德 :
流线型差分环理论:不定嵌套和、交替符号和参数化伸缩问题。 CoRR公司 abs/1412.2782 ( 2014 ) 2013 [i18] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 卡斯滕·施耐德 :
广义调和和与多对数的分析与算法。 CoRR公司 abs/1302.0378 ( 2013 ) [i17] 卡斯滕·施耐德 :
简化差分字段中的多个和。 CoRR公司 abs/1304.4134 ( 2013 ) [i16] 斯特凡·格霍尔德 , 曼努埃尔·考尔斯 , 克里斯托夫·库彻恩 , 彼得·鲍尔 , 卡斯滕·施耐德 , 伯克哈德·齐默尔曼 :
分数阶贝塞尔函数某些恒等式的计算机辅助证明。 CoRR公司 abs/1305.4818 ( 2013 ) 【i15】 卡斯滕·施耐德 :
差分场精细参数化望远镜的快速算法。 CoRR公司 abs/1307.7887 ( 2013 ) [第14条] 卡斯滕·施耐德 :
量子场论中循环积分的现代求和方法:软件包Sigma,EvaluateMultiSums和SumProduction。 CoRR公司 abs/1310.0160 ( 2013 ) 2012 [公元18年] 约翰内斯·布吕姆林 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 , 弗拉维亚·斯坦 :
费曼积分的符号求和方法。 J.塞姆。 计算。 47 ( 10 ) : 1267-1289 ( 2012 ) [i13] 约翰内斯·布吕姆林 , 亚历山大·哈塞尔胡恩 , 卡斯滕·施耐德 :
大规模问题的多方案评估。 CoRR公司 abs/1202.4303 ( 2012 ) [i12] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 标记圆形 , 卡斯滕·施耐德 :
费曼积分展开的高级计算机代数算法。 CoRR公司 abs/1210.1685 ( 2012 ) 2011 [公元17年] 赫尔穆特·普罗丁格 , 卡斯滕·施奈德 , 斯蒂芬·瓦格纳 :
不公平的排列。 Eur.J.库姆。 32 ( 8 ) : 1282-1298 ( 2011 ) 【c8】 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
多元线性差分方程的改进分母定界算法。 ISSAC公司 2011 : 201-208 [i11] 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
多元线性差分方程的一种改进分母边界算法。 CoRR公司 abs/1101.2803 ( 2011 ) [i10] 雅各布·阿林格 , 约翰内斯·布吕姆林 , 卡斯滕·施奈德 :
分圆多项式生成的调和和和对数。 CoRR公司 abs/1105.6063 ( 2011 ) 2010 [公元16年] 卡斯滕·施奈德 :
符号求和的结构定理。 申请。 代数工程通讯。 计算。 21 ( 1 ) : 1-32 ( 2010 ) [公元15年] 约翰内斯·布吕姆林 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 , 弗拉维亚·斯坦 :
费曼积分的符号求和方法。 ACM通信。 计算。 代数 44 ( 3/4 ) : 95-96 ( 2010 ) 【c7】 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
偏线性差分方程的分母界。 ISSAC公司 2010 : 211-218 【c6】 卡斯滕·施耐德 :
面向Eclipse本体框架:集成OWL和Eclipse建模框架。 TWOMDE@工具 2010 [第九章] 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
偏线性差分方程的偏分母界。 CoRR公司 abs/1005.0602 ( 2010 ) [i8] 约翰内斯·布吕姆林 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 , 弗拉维亚·斯坦 :
费曼积分的符号求和方法。 CoRR公司 abs/1011.2656 ( 2010 )
2000 – 2009
2009 [公元14年] 约翰内斯·布吕姆林 , 曼努埃尔·考尔斯 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 :
确定O的闭合形式 S公司 三 )利用计算机代数从Mellin矩得到反常维数和Wilson系数。 计算。 物理学。 Commun公司。 180 ( 11 ) : 2143-2165 ( 2009 ) [j13] 罗伯特·奥斯本 , 卡斯滕·施耐德 :
高斯超几何级数和超同余。 数学。 计算。 78 ( 265 ) : 275-292 ( 2009 ) [第1页] 彼得·鲍尔 , 布鲁诺·巴赫伯格 , 莉娜·卡塔舍娃 , 曼努埃尔·考尔斯 , 卡斯滕·施耐德 , 弗朗茨·温克勒 :
符号计算中的算法。 哈根伯格研究 2009 : 5-62 [i7] 约翰内斯·布吕姆林 , 曼努埃尔·考尔斯 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 :
用计算机代数的方法从Mellin矩确定$O(a_s^3)$反常维数和Wilson系数的闭合形式。 CoRR公司 腹肌/0902.4091 ( 2009 ) [i6] 约翰内斯·布吕姆林 , 曼努埃尔·考尔斯 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 :
从动量到量子色动力学中的函数。 CoRR公司 abs/0902.4095 ( 2009 ) [i5] 卡斯滕·施耐德 :
寻找最佳嵌套和表示的符号求和方法。 CoRR公司 abs/0904.2323 ( 2009 ) 2008 [公元12年] 卡斯滕·施耐德 :
不同字段中的多重求和(仅抽象)。 ACM通信。 计算。 代数 42 ( 1-2 ) : 19 ( 2008 ) [公元11年] 曼努埃尔·考尔斯 , 卡斯滕·施奈德 :
一些斯特林数恒等式的自动证明。 电子。 J.库姆。 15 ( 1 ) ( 2008 ) [公元10年] 卡斯滕·施耐德 :
符号求和的精细差分场理论。 J.塞姆。 计算。 43 ( 9 ) : 611-644 ( 2008 ) [i4] 卡斯滕·施耐德 :
符号求和的精细差分场理论。 CoRR公司 腹肌/0808.2543 ( 2008 ) [i3] 卡斯滕·施耐德 :
参数化伸缩证明了和的代数独立性。 CoRR公司 abs/0808.2596 ( 2008 ) 2007 [公元9年] 卡斯滕·施耐德 :
阿佩里的双倍总和确实是一帆风顺。 电子。 J.库姆。 14 ( 1 ) ( 2007 ) [j8] 罗宾·佩曼特尔 , 卡斯滕·施耐德 :
0.999…何时等于1? 美国数学。 周一。 114 ( 4 ) : 344-350 ( 2007 ) 【c5】 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
带有根式表达式的符号求和。 ISSAC公司 2007 : 219-226 [i2] I.比伦鲍姆 , 约翰内斯·布吕姆林 , 塞巴斯蒂安·克莱因 , 卡斯滕·施耐德 :
大规模高阶计算中的差分方程。 CoRR公司 腹肌/0077.4659 ( 2007 ) 2006 [j7] A.贝奇洛维奇 , 彼得·保罗 , 维罗妮卡·皮尔文 , 阿克塞尔·里塞 , 卡斯滕·施耐德 , 约阿希姆·舍伯尔 :
高阶有限元的超几何求和算法。 计算 78 ( 三 ) : 235至249 ( 2006 ) [j6] 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
具有未指定和的不确定和。 谨慎。 数学。 306 ( 17 ) : 2073-2083 ( 2006 ) 【c4】 卡斯滕·施耐德 , 格哈德·阿明格 :
时间序列中结构成分提取和预测的因子分析。 GfKl公司 2006 : 273-280 【c3】 曼努埃尔·考尔斯 , 卡斯滕·施奈德 :
符号求和中未指定序列的应用。 ISSAC公司 2006 : 177-183 2005 [j5] 卡斯滕·施耐德 :
Pi-Sigma域中参数化线性差分方程多项式解的次数界限。 申请。 代数工程通讯。 计算。 16 ( 1 ) : 1-32 ( 2005 ) 【j4】 乔治·E·安德鲁斯 , 彼得·鲍尔 , 卡斯滕·施耐德 :
平面分区六:斯坦布里奇的TSPP定理。 高级申请。 数学。 34 ( 4 ) : 709-739 ( 2005 ) [j3] 卡斯滕·施奈德 :
一种新的Sigma多汇总方法。 高级申请。 数学。 34 ( 4 ) : 740-767 ( 2005 ) 【c2】 卡斯滕·施奈德 :
为不定嵌套和和乘积表达式找到最小深度的伸缩器。 ISSAC公司 2005 : 285-292 [i1] 卡斯滕·施耐德 :
关于“0.999…何时等于1?”的一些注释。 数学、算法、证明 2005 2004 [注2] 卡斯滕·施耐德 :
求和软件包Sigma:基本原理和菱形贴片应用。 谨慎。 数学。 西奥。 计算。 科学。 6 ( 2 ) : 365-386 ( 2004 ) 【c1】 卡斯滕·施耐德 :
带有单嵌套和扩展的符号求和。 ISSAC公司 2004 : 282-289 2003 [j1] 彼得·鲍尔 , 卡斯滕·施耐德 :
一个新的调和数恒等式族的计算机证明。 高级申请。 数学。 31 ( 2 ) : 359-378 ( 2003 )
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)