马库斯·尼赫 0001
人员信息
附属: 德国卡尔斯鲁厄理工学院
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2010 【c3】 马库斯·尼赫 :
CoStLy C++类库中的复杂包含函数。 集成电路管理系统 2010 : 333-336
2000 – 2009
2008 【c2】 沃纳·霍夫斯切斯特 , 沃尔特·克雷默 , 马库斯·尼赫 :
C-XSC和密切相关的软件包。 当前硬件体系结构中的数值验证 2008 : 68-102 [i2] 沃纳·霍夫斯切斯特 , 沃尔特·克雷默 , 马库斯·尼赫 :
C-XSC和密切相关的软件包。 当前硬件体系结构中的数值验证 2008 [i1] 马库斯·尼赫 :
CoStLy C++类库。 当前硬件体系结构中的数值验证 2008 2007 [公元9年] 马库斯·尼赫 :
使用大步骤验证了线性n阶ODE的集成。 申请。 数学。 计算。 186 ( 1 ) : 879-890 ( 2007 ) [j8] 马库斯·尼赫 :
关于广义超几何函数的和的注记。 申请。 数学。 计算。 187 ( 2 ) : 1527-1534 ( 2007 ) [j7] 马库斯·尼赫 , 肯尼思·杰克逊 , 内迪亚科·内迪亚科夫 :
基于泰勒模型的常微分方程集成。 SIAM J.数字。 分析。 45 ( 1 ) : 236-262 ( 2007 ) [j6] 马库斯·尼赫 :
复杂的标准函数及其在CoStLy库中的实现。 ACM事务处理。 数学。 柔和。 33 ( 1 ) : 2 ( 2007 ) 2004 [j5] 马库斯·尼赫 :
曲线的复杂平均值形式。 数字。 算法 37 ( 1-4 ) : 337-343 ( 2004 ) 2003 【j4】 英戈·埃布尔 , 马库斯·尼赫 :
ACETAF:用于计算分析函数泰勒系数的有效边界的软件包。 ACM事务处理。 数学。 柔和。 29 ( 三 ) : 263-286 ( 2003 ) 【c1】 R.Baker Kearfott先生 , 马库斯·尼赫 , Shin’ichi Oishi先生 , 法比安·里科 :
验证计算的库、工具和交互系统四个案例研究。 带结果验证的数值软件 2003 : 36-63 2001 [j3] 马库斯·尼赫 :
复杂分析函数的平均值形式。 计算 67 ( 三 ) : 255-268 ( 2001 ) [第1页] 马库斯·尼赫 :
线性n阶常微分方程Taylor方法局部误差的几何级数界。 符号代数方法和验证方法 2001 : 183-193
1990 – 1999
1998 [注2] 马库斯·尼赫 :
阻抗反Sturm-Liouville问题的封闭解。 J.大学。 计算。 科学。 4 ( 2 ) : 178-192 ( 1998 ) 1994 [j1] 马库斯·尼赫 :
有限数据下Sturm-Liouville反问题的封闭解。 计算 53 ( 3-4 ) : 379-395 ( 1994 )
![](https://dblp.org/img/cog.dark.24x24.png)