阿尔贝托·法尔科内;阿尔弗雷多·加罗;Mukhametzhanov,Marat S。;亚罗斯拉夫·谢尔盖耶夫。 基于Simulink的软件解决方案,使用无限计算机方法进行高阶微分。 (英语) Zbl 1510.65004号 申请。数学。计算。 409,文章ID 125606,第15页(2021).MSC公司:65-04 65D25个 90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Falcone}等人,应用。数学。计算。409,文章ID 125606,15页(2021;Zbl 1510.65004) 全文: 内政部
吉哈德·提蒂;于尔根·加洛夫 张量Bernstein形式的矩阵方法。 (英语) Zbl 1429.65125号 申请。数学。计算。 346, 254-271 (2019).MSC公司:65千5 90 C56 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{J.Titi}和\textit{J.Garloff},应用。数学。计算。346254-271(2019年;Zbl 1429.65125) 全文: 内政部 链接
古布鲁诺-沃尔岑洛格尔 物理学和证明理论。 (英语) Zbl 1291.81015号 申请。数学。计算。 219,第1期,45-53(2012).MSC公司:81第05页 2007年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.W.古},应用。数学。计算。219,第1号,45-53(2012;Zbl 1291.81015) 全文: 内政部
傅红光;王莹;赵世忠;王庆贤 构造复杂Dixon矩阵的递归算法。 (英语) Zbl 1202.65065号 申请。数学。计算。 217,第6号,2595-2601(2010).MSC公司:65H10型 65小时04 65楼30 2005年12月 26立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Fu}等人,应用。数学。计算。217,第6号,2595--2601(2010;Zbl 1202.65065) 全文: 内政部
北卡罗来纳州达科斯塔。;F.A.多利亚。;比尔,E。 关于P与NP问题的元数学。 (英语) Zbl 1126.03048号 申请。数学。计算。 189,第2期,1223-1240(2007). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03E35号 03英尺30英寸 2015年第68季度 2002年3月 68-02 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}等人,应用。数学。计算。189,编号2,1223--1240(2007;Zbl 1126.03048) 全文: 内政部
哈比卜,H.M。;E.R.El-Zahar。 一种机械化求解奇异摄动问题的算法。 (英语) Zbl 1114.65340号 申请。数学。计算。 188,第1期,286-302(2007).MSC公司:65升10 34B15号机组 68瓦30 34E15号机组 65升12 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Habib}和\textit{E.R.El-Zahar},应用。数学。计算。188,编号1286-302(2007年;兹bl 1114.65340) 全文: 内政部
北卡罗来纳州达科斯塔。;F.A.多利亚。 关于超计算的一些思考。 (英语) Zbl 1101.68564号 申请。数学。计算。 178,第1期,第83-92页(2006年).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{F.A.Doria},应用。数学。计算。178,编号1,83-92(2006;Zbl 1101.68564) 全文: 内政部
塞尔默布林斯乔尔;欧文·凯莱特;Andrew Shilliday;约书亚·泰勒;范·海文(Bram Van Heuveln);杨英瑞;杰弗里·鲍姆斯;凯尔·罗斯 基于繁忙的海狸问题,哥德尔提出了一个新的关于超计算思维的论点。 (英语) Zbl 1098.03010号 申请。数学。计算。 176,No.2,516-530(2006). 审核人:Albert A.Mullin(麦迪逊) MSC公司:03A05号 03日第10天 2005年第68季度 68T27型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.Bringsjord}等人,应用。数学。计算。176,No.2,516--530(2006;Zbl 1098.03010) 全文: 内政部
赵彩迪 具有线性阻尼和源项的波动方程柯西问题的算法和机械化。 (英语) Zbl 1092.65078号 申请。数学。计算。 173,编号1,1-8(2006). 审核人:安吉拉·汉德洛维奇奥娃(布拉迪斯拉发) MSC公司:65平方米 35升05 68瓦30 65日元 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhao},应用程序。数学。计算。173,编号1,1--8(2006;Zbl 1092.65078) 全文: 内政部
王伟明 求解第二类Volterra积分方程的机械算法。 (英语) Zbl 1088.65121号 申请。数学。计算。 173,第2期,1149-1162(2006).MSC公司:65兰特 45D05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},应用程序。数学。计算。173,第2号,1149--1162(2006;Zbl 1088.65121) 全文: 内政部
王伟明 求解Volterra积分方程的机械算法。 (英语) Zbl 1088.65120号 申请。数学。计算。 172,第2期,1323-1341(2006).MSC公司:65兰特 45D05型 45G10型 45J05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},应用程序。数学。计算。172,No.2,1323--1341(2006;Zbl 1088.65120) 全文: 内政部
赵彩迪 抛物型方程柯西问题的算法与机械化。 (英语) Zbl 1080.65102号 申请。数学。计算。 169,第2期,1038-1044(2005).MSC公司:65米70 35K15型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhao},应用程序。数学。计算。169,第2号,1038--1044(2005;Zbl 1080.65102) 全文: 内政部
王伟明 机械化求解DAE的算法。 (英语) Zbl 1082.65563号 申请。数学。计算。 167,第2期,1350-1372(2005).MSC公司:65升80 34A09号 65日元 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},应用程序。数学。计算。167,第2号,1350--1372(2005;Zbl 1082.65563) 全文: 内政部
赵彩迪 高维波动方程柯西问题的算法公式和机械化。 (英语) Zbl 1080.65101号 申请。数学。计算。 167,第2号,957-963(2005). 审核人:Prabhat Kumar Mahanti(圣约翰) MSC公司:65米70 35升05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhao},应用程序。数学。计算。167,第2号,957--963(2005;Zbl 1080.65101) 全文: 内政部
王伟明;林昌盛 机械化三角函数积分的一种新算法。 (英语) Zbl 1069.65149号 申请。数学。计算。 164,第1期,71-82(2005). 审核人:曼弗雷德·塔什(罗斯托克) MSC公司:65T40型 26号A36 65天32分 42A10号 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}和\textit{C.Lin},应用。数学。计算。164,第1号,第71-82条(2005年;Zbl 1069.65149) 全文: 内政部
王伟明;连新泽 一种新的符号集成算法及其应用。 (英语) Zbl 1076.65022号 申请。数学。计算。 162,第2期,949-968(2005). 审核人:卡特琳娜·达尼诺(都灵) MSC公司:65天30分 68瓦30 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}和\textit{X.Lian},应用。数学。计算。162,第2号,949-968(2005;Zbl 1076.65022) 全文: 内政部
Mohan K.Kadalbajoo。;凯拉什·C·帕蒂达尔。 奇异摄动常微分方程数值解法综述。 (英语) Zbl 1026.65059号 申请。数学。计算。 130,编号2-3,457-510(2002).MSC公司:65升10 65升05 65-02年 34个B05 34A30型 34E15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Kadalbajoo}和\textit{K.C.Patidar},应用。数学。计算。130,编号2--3,457--510(2002;Zbl 1026.65059) 全文: 内政部
保罗·赫尔曼;罗伯特·韦洛夫 自动推理在组合优化形式化模型中的应用。 (英语) Zbl 1032.90035号 申请。数学。计算。 120,编号1-3,175-194(2001).MSC公司:90C27型 65年20月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Helman}和\textit{R.Veroff},应用。数学。计算。120,编号1--3,175--194(2001;Zbl 1032.90035) 全文: 内政部