×

找到82份文件（结果1-82）

最新的 引文 关联
阿基拉·Imakura;Morikuni，Keiichi先生;秋藤忠雄（Takayasu，Akitoshi）

使用复矩和Rayleigh-Ritz程序验证了广义厄米特特征值问题的特征值和特征向量计算。 （英语） Zbl 1512.65061号

J.计算。申请。数学。 424，文章ID 114994，18 p.（2023）.
MSC公司：2015财年65
PDF格式BibTeX公司 XML格式引用
\textit{A.Imakura}等人，J.Compute。申请。数学。424，文章ID 114994，18 p.（2023；Zbl 1512.65061）
全文： 内政部 arXiv公司
Nakao，Mitsuhiro T。;迈克尔·普卢姆;渡边吉隆

偏微分方程的数值验证方法和计算机辅助证明。 （英语） Zbl 1462.65004号

计算数学中的Springer级数53.新加坡：Springer（ISBN 978-981-13-7668-9/hbk；978-981-3-7669-6/电子书）。xiii，467页。(2019).
审核人：Rózsa Horváth-Bokor（Budakalász）
MSC公司：65-02 35-02 6500万 65新元 65G20个 35J25型 第35页
PDF格式BibTeX公司 XML格式引用
\textit{M.T.Nakao}等人，偏微分方程的数值验证方法和计算机辅助证明。新加坡：施普林格（2019；Zbl 1462.65004）
全文： 内政部
斯特凡·席拉;马丁·威廉

关于具有零重写和精确几何计算的区间方法。 （英语） Zbl 1433.68502号

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日，奥地利维也纳，第七届国际会议，MACIS 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10693, 211-226 (2017).
MSC公司：68单位05 65G20个 65G30型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.Schirra}和\textit{M.Wilhelm}，莱克特。注释计算。科学。10693、211-226（2017；Zbl 1433.68502）
全文： 内政部
马克·莫里格;斯特凡·席拉

使用公共子表达式计算表达式标记时的精确驱动计算：问题和解决方案。 （英语） Zbl 1460.65018号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9582, 451-465 (2016).
MSC公司：65D18天 65G20个 68单位05 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Mörig}和\textit{S.Schirra}，莱克特。注释计算。科学。9582、451--465（2016；Zbl 1460.65018）
全文： 内政部
刘雪峰;冈山，通崎;小西，神道

奇异拉普拉斯算子的高精度特征值界。 （英语） Zbl 1336.65186号

冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。311-323 (2014).
MSC公司：65N25型 第35页 65N30型 65G40型 65克50
PDF格式BibTeX公司 XML格式引用
\textit{X.Liu}等人，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格。311--323（2014；Zbl 1336.65186）
全文： 内政部
阮红蝶;娜塔莉·雷沃

精炼和验证线性系统的解。 （英语） Zbl 1347.65066号

Moreno Maza，Marc（编辑），《2011年符号数字计算国际研讨会论文集》，SNC 2011，美国加利福尼亚州圣何塞，2011年6月7-11日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0515-0）。165-167 (2011).
MSC公司：65层10 65G20个 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.D.Nguyen}和\textit{N.Revol}，摘自：2011年符号数字计算国际研讨会论文集，2011年SNC，美国加利福尼亚州圣何塞，2011年6月7-11日。纽约州纽约市：计算机协会（ACM）。165-167（2011；Zbl 1347.65066）
全文： 内政部 哈尔
贝约恩摇滚乐;玛丽亚娜·科尔伯格;文森特·休夫林

数据分布对并行线性代数子程序的精度和性能的影响。 （英语） Zbl 1323.65131号

Palma，JoséM.Laginha M.（编辑）等人，《计算科学的高性能计算——VECPRA 2010》。第九届国际会议，2010年6月22日至25日，美国加利福尼亚州伯克利。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19327-9/pbk）。计算机科学课堂讲稿6449，394-407（2011）。
MSC公司：2005年5月 65层99 65G20个 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{B.Rocker}等人，Lect。注释计算。科学。6449394--407（2011年；Zbl 1323.65131）
全文： 内政部
乌尔里奇·库利什

计算机算法和有效性。理论、实施和应用。 （英语） Zbl 1149.65034号

德格鲁伊特数学研究33.柏林：de Gruyter（ISBN 978-3-11-020318-9/hbk；978-3-12-020319-6/电子书）。十七、409页。(2008).
审核人：Günter Mayer（罗斯托克）
MSC公司：65G30型 65-02 65G40型 65克50 65D25个 65H10型 65G20个 65层10
PDF格式BibTeX公司 XML格式引用
\textit{U.Kulisch}，计算机算法和有效性。理论、实施和应用。柏林：de Gruyter（2008；Zbl 1149.65034）
全文： 内政部
托马斯·比利茨;克里斯蒂安·比肖夫;布鲁诺·朗;克劳斯·舒尔特·阿尔霍夫

化学过程分析中非线性系统的结果验证解。 （英语） Zbl 1126.65314号

Alt，René（编辑）等人，《数值软件与结果验证》。国际达格斯图尔研讨会，达格斯图城堡，德国，2003年1月19日至24日。修订论文。柏林：施普林格出版社（ISBN 3-540-2126-4/pbk）。计算机科学课堂讲稿2991198-205（2004）。
MSC公司：65H10型 65G20个 65日元 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Beelitz}等人，莱克特。注释计算。科学。2991198--205（2004年；Zbl 1126.65314）
全文： 内政部
齐格弗里德·M·臀部。

大型线性和非线性系统的验证解。 （英语） Zbl 0943.65039号

Bulgak，Haydar（编辑）等人，科学计算中的错误控制和自适应性。《北约ASI会议记录》，土耳其安塔利亚，1998年8月9日至21日。多德雷赫特：Kluwer学术出版社。北约ASI系列。，序列号。C、 数学。物理。科学。536, 279-298 (1999).
MSC公司：65平方英尺 65H10型 65G20个
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Rump}，北约ASI Ser。，序列号。C、 数学。物理。科学。536279--298（1999年；Zbl 0943.65039）
乌尔里克·斯托克

验证了气体动力学重复迭代奇异积分的计算。（验证Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik） （德语） 兹伯利0889.65019

卡尔斯鲁厄（Karlsruhe）：卡尔斯鲁赫大学（Univ.Karlsrughe），法库尔特·马塞马提克（Fakultät Mathematik），134 S.（1995）。
MSC公司：65天32分 2005年5月 65G30型 82C40型
PDF格式BibTeX公司 XML格式引用
\textit{U.Storck}，Verifizierte Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik。卡尔斯鲁厄：卡尔斯鲁赫大学，法库尔塔·马塞马提克（1995；Zbl 0889.65019）
W.Krämer。

稀疏矩阵特征值问题的验证解。 （英语） Zbl 0773.65023号

计算与应用数学，I.算法与理论，选自。版次Pap。IMACS第13届世界大会。，都柏林/爱尔兰。1991, 277-287 (1992).
审核人：A.L.安德鲁（本杜拉）
MSC公司：2015财年65 65G30型 65层50
PDF格式BibTeX公司 XML格式引用
\textit{W.Krämer}，in：计算与应用数学，I.算法与理论。1991年7月在爱尔兰都柏林举行的国际医学科学协会第十三届世界大会的论文选集和修订稿。诉讼程序。阿姆斯特丹等地：荷兰北部。277--287（1992年；Zbl 0773.65023）
乌韦·克鲁格

验证Einschließung von Eigenwerten und Eigenräumen reeller symmetricscher Matrizen und ihre Anwendung auf die kontrolliert Berechnung dreidimensionaler Helmert transformationen。（验证了实对称矩阵的特征值和特征空间的包含及其在三维Helmert变换的受控计算中的应用）。 （德语） Zbl 0707.65023号

伍珀塔尔：GHS伍珀塔，Diss。93 S.（1990）。
MSC公司：2015财年65 65G30型 86A30型
PDF格式BibTeX公司 XML格式引用
\textit｛U.Klug｝、Verifizierte Einschließung von Eigenwerten和Eigenräumen reeller对称矩阵矩阵和Anwendung auf die kontrollerte Berechnung dreididimensionaler Helmert transformationen。（验证了实对称矩阵的特征值和特征空间的包含及其在三维Helmert变换的受控计算中的应用）。伍珀塔尔：GHS伍珀塔（1990；Zbl 0707.65023）
Stefan Geörg

验证复多项式零点包含的两种方法。 （英语） Zbl 0784.65043号

Christian Ullrich（编辑），《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔：J.C.Baltzer AG，IMACS Ann.Comput。申请。数学。7, 229-244 (1990).
MSC公司：65小时05 65埃05 65G30型 30立方厘米 2005年12月
PDF格式BibTeX公司 XML格式引用
\textit{S.Geörg}，IMACS Ann.计算。申请。数学。7、229--244（1990年；Zbl 0784.65043）
美国克鲁格。

验证了实对称矩阵的特征值和特征向量的包含。 （英语） Zbl 0784.65027号

Christian Ullrich（编辑），《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔：J.C.Baltzer AG，IMACS Ann.Comput。申请。数学。7, 111-125 (1990).
MSC公司：2015财年65 65G30型
PDF格式BibTeX公司 XML格式引用
\textit{U.Klug}，IMACS Ann.计算。申请。数学。7111--125（1990年；Zbl 0784.65027）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件