×

找到8个文档（结果1-8）

最新的 引文 关联
西尔维·博尔多；米奥拉乔尔德斯；Jean-Michel穆勒；瓦伦蒂娜·波佩斯库

浮点展开重整化算法的形式化验证。 （英语） Zbl 1483.68479号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10499，98-113（2017）。
MSC公司：68伏15 65G99型 6504年
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，Lect。票据计算。科学。10499，98-113（2017；Zbl 1483.68479）
全文： 内政部 哈尔
齐格弗里德·迈克尔（Siegfried Michael），臀部

测试台上的浮点运算。如何计算验证的数值解？（Gleitkommaarithmetik auf dem Prüfstand.Wie werden verifiziert（e）numerische Lösungen berechnet？） （德语） Zbl 1372.65140号

贾里斯贝尔。Dtsch公司。数学-版本。 118，第3号，179-226（2016）.
MSC公司：65G20个 65G30型 6504年
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Rump}，Jahresber。Dtsch公司。数学-118版，第3号，179--226（2016；Zbl 1372.65140）
全文： 内政部
米奥拉乔尔德斯；Jean-Michel穆勒；瓦伦蒂娜·波佩斯库；沃里克·塔克

CAMPARY:CUDA多精度算术库和应用程序。 （英语） Zbl 1435.65012号

Greuel，Gert Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9725, 232-240 (2016).
MSC公司：65-04年 65日元10
PDF格式BibTeX公司 XML格式引用
\textit{M.Joldes}等人，Lect。票据计算。科学。9725232-240（2016年；Zbl 1435.65012）
全文： 内政部 哈尔
乔里斯·范德霍温

Mathemagix类型系统概述。 （英语） Zbl 1352.68306号

冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。397-425（2014年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.van der Hoeven}，摘自：计算机数学。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。397-425（2014年；兹比尔1352.68306）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件