×

找到178个文档（结果1-100）

最新的 引文 关联
娜塔莉·雷沃；路易斯·贝内特；卢卡·费兰蒂；谢尔盖·志林

测试区间算术库，包括符合IEEE-1788。 （英语） Zbl 07731633号

Wyrzykowski，Roman（编辑）等人，《并行处理与应用数学》。2022年9月11日至14日，波兰格但斯克，2022年第14届国际会议，PPAM。修改选定的论文。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13827, 428-440 (2023).
MSC公司：65-02 第65年 65G30型
PDF格式BibTeX公司 XML格式引用
\textit｛N.Revol｝等人，Lect。注释计算。科学。13827428-440（2023；Zbl 07731633）
全文： 内政部 arXiv公司 哈尔
安杰尔·卡斯特罗；迭戈科尔多瓦；哈维尔·戈梅斯·塞拉诺

无粘SQG方程的全局光滑解。 （英语） 兹比尔1444.35003

美国数学学会回忆录1292.罗得岛普罗维登斯：美国数学学会（AMS）（ISBN 978-1-4704-4214-9/pbk；978-1-4704-6247-5/ebook）。v、 第89页。(2020).
MSC公司：35-02 35问题35 35B32型 65G30型 76B03型 86A05型 86A10美元
PDF格式BibTeX公司 XML格式引用
\textit{A.Castro}等人，无粘SQG方程的全局光滑解。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 1444.35003）
全文： 内政部 arXiv公司
武藤浩史；大田武史；Katsuhisa小崎；武士太郎

大规模电子态计算中广义实对称特征值问题的后验验证方法。 （英语） Zbl 1439.65046号

J.计算。申请。数学。 376，文章ID 112830，13 p.（2020）.
审核人：乔治·赫伯梅尔（柏林）
MSC公司：2015财年65 65G20个 65Z05个 60年第68季度 68号30 35J10型 74平方米
PDF格式BibTeX公司 XML格式引用
\textit｛T.Hoshi｝等人，J.Comput。申请。数学。376，文章ID 112830，13 p.（2020；Zbl 1439.65046）
全文： 内政部 arXiv公司
佛罗伦萨布莱哈德；阿西亚·马布比；Damien Pous

一种基于证书的方法，用于正式验证近似值。 （英语） Zbl 07649957号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第8条，第19页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Bréhard}等人，LIPIcs——莱布尼茨国际程序。通知。141，第8条，第19页（2019年；Zbl 07649957）
全文： 内政部
埃里维尔顿·G·内波穆塞诺。；墨西哥佩克索托。；萨米尔·马丁斯。；罗德里格斯，小海托·M·；马蒂亚·佩尔克

使用区间算法的动力系统数值模拟中的不一致性。 （英语） Zbl 1476.37093号

国际分叉混沌应用杂志。科学。工程师。 28，第4号，文章ID 1850055，11 p.（2018）.
MSC公司：2005年3月37日 37元50分
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Nepomuceno}等人，《国际分叉混沌应用》。科学。Eng.28，No.4，文章ID 1850055，11 p.（2018；Zbl 1476.37093）
全文： 内政部
何塞·费尔南德斯；波哥大G.-Tóth；朱安娜·雷东多。；Ortigosa，Pilar M。；阿兰扎祖·吉拉，阿隆多

多确定选择规则下的平面单设施竞争选址与设计问题。 （英语） Zbl 1391.90395号

计算。操作。物件。 78, 305-315 (2017).
MSC公司：90B85型 90B80型 90 C59 90立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Fernández}等人，《计算》。操作。第78、305-315号决议（2017年；Zbl 1391.90395）
全文： 内政部 链接
Pacella、Filomena；迈克尔·普卢姆；卢特尔斯，达格玛

无界L形区域上Emden方程的计算机辅助存在性证明。 （英语） Zbl 1367.35080号

Commun公司。康斯坦普。数学。 19，第2号，文章ID 1750005，第21页（2017）.
审核人：亚历山德罗·塞尔维特拉（汉密尔顿）
MSC公司：第35页第61页
PDF格式BibTeX公司 XML格式引用
\textit{F.Pacella}等人，Commun。康斯坦普。数学。19，第2号，文章ID 1750005，21 p.（2017；Zbl 1367.35080）
全文： 内政部 arXiv公司
安德烈亚斯·劳赫；路易斯·森克尔；朱莉娅·克尔斯滕；哈拉尔德·阿斯切曼

使用基于间隔的滑模技术对高温燃料电池系统进行可靠控制。 （英语） Zbl 1397.93046号

IMA数学杂志。控制信息。 33，第2期，457-484（2016）.
MSC公司：93B12号机组 93D21号 93立方厘米 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Rauh}等人，IMA J.数学。控制信息33，No.2，457--484（2016；Zbl 1397.93046）
全文： 内政部
哈罗，阿利克斯；玛尔塔·卡纳代尔；乔迪·路易斯·菲格拉斯；亚历杭德罗·卢克；约塞普·马里亚·蒙德罗

不变流形的参数化方法。从严格的结果到有效的计算。 （英语） Zbl 1372.37002号

应用数学科学195.查姆：施普林格（ISBN 978-3-319-29660-9/hbk；978-3-3169-29662-3/电子书）。十六、267页。(2016).
审核人：罗迪卡·卢卡（Iaşi）
MSC公司：37-02 3700万 37立方厘米 37Jxx号
PDF格式BibTeX公司 XML格式引用
\textit{ali.Haro}等人，不变流形的参数化方法。从严格的结果到有效的计算。查姆：斯普林格（2016；Zbl 1372.37002）
全文： 内政部
安杰尔·卡斯特罗；迭戈科尔多瓦；哈维尔·戈梅斯·塞拉诺；阿尔贝托·马丁·萨莫拉

关于SQG尖锋和（α）补丁的几何性质的备注。 （英语） Zbl 1299.76032号

离散连续。动态。系统。 34，第12期，5045-5059（2014）.
MSC公司：76B47码 第31季度35 65G30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Castro}等人，《离散Contin》。动态。系统。34，第12号，5045--5059（2014；Zbl 1299.76032）
全文： 内政部 arXiv公司
斯特凡·基尔

使用隐式线性区间估计验证了隐式对象的空间细分。 （英语） Zbl 1351.68300号

Boissonnat，Jean-Daniel（编辑）等人，《曲线和曲面》。第七届国际会议，法国阿维尼翁，2010年6月24日至30日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27412-1/pbk）。计算机科学课堂讲稿6920，402-415（2012）。
MSC公司：68单位05 68第05页 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{S.Kiel}，莱克特。注释计算。科学。6920402-415（2012年；兹比尔1351.68300）
全文： 内政部
克莱伯·罗伯托·米拉尼；玛丽亚娜·科尔伯格；路易斯·古斯塔沃·费尔南德斯

在多核架构上用验证计算求解稠密区间线性系统。 （英语） Zbl 1323.65137号

JoséM.Laginha M.Palma（编辑）等人，《计算科学的高性能计算——VECPAR 2010》。第九届国际会议，美国加州伯克利，2010年6月22日至25日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19327-9/pbk）。计算机科学课堂讲稿6449435-448（2011）。
MSC公司：65日元10 65平方英尺 65G20个 65G30型 第65年 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{C.R.Milani}等人，Lect。注释计算。科学。6449、435--448（2011年；Zbl 1323.65137）
全文： 内政部
贝约恩摇滚乐；玛丽亚娜·科尔伯格；文森特·休夫林

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

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

将函数表达式从Mathematica传递到C-XSC。 （英语） 兹比尔1294.68164

Fukuda，Komei（编辑）等人，《数学软件——ICMS 2010》。第三届数学软件国际大会，日本神户，2010年9月13日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15581-9/pbk）。计算机科学课堂讲稿6327354-365（2010）。
MSC公司：68瓦30 65日元
PDF格式BibTeX公司 XML格式引用
\textit{E.D.Popova}和\textit{W.Krämer}，莱克特。注释计算。科学。6327354--365（2010年；Zbl 1294.68164）
全文： 内政部
叶卡捷琳娜·奥尔；沃尔夫拉姆·路德

SmartMOBILE及其在保证机械系统建模和仿真中的应用。 （英语） Zbl 1188.93053号

Filipe，Joaquim（编辑）等人，《控制、自动化和机器人信息学》。2007年5月9日至12日，法国安格斯，控制、自动化和机器人信息学国际会议（INCINO 2007）的论文选集。柏林：施普林格出版社（ISBN 978-3-540-85639-9/pbk）。电气工程课堂讲稿24，139-151（2009）。
MSC公司：93C85号 2005年第70季度 93B40码 93二氧化碳 05年3月34日
PDF格式BibTeX公司 XML格式引用
\textit{E.Auer}和\textit{W.Luther}，莱克特。注释Electr。工程24、139--151（2009；Zbl 1188.93053）
全文： 内政部
乔治·柯利斯（George F.Corliss）。；R.Baker Kearfott先生；内迪亚尔科夫；约翰·普莱斯。；斯宾塞·史密斯

间隔子程序库任务。 （英语） Zbl 1165.65407号

Hertling，Peter（ed.）等人，实数算法的可靠实现：理论与实践。2006年1月8日至13日，德国达格斯图尔城堡国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-85520-0/pbk）。《计算机科学讲义》5045，28-43（2008）。
MSC公司：65岁99岁 65G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.F.Corliss}等人，Lect。注释计算。科学。5045、28-43（2008年；Zbl 1165.65407）
全文： 内政部 链接
巴特·库比卡（Bartłomiej Jacek）；Krzysztof马林诺夫斯基

将符号重写和分量牛顿法相结合的区间全局优化算法应用于一类排队系统的控制。 （英语） Zbl 1077.65063号

Reliab公司。计算。 11，第5号，393-411（2005）.
MSC公司：65千5 90立方 90元53 90C57型 90 C90 65G30型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{B.J.Kubica}和\textit{K.Malinowski}，Reliab。计算。11，第5号，393--411（2005；Zbl 1077.65063）
全文： 内政部
丹尼尔·特雷琴斯基（Daniela Traczinski）；沃尔夫拉姆·路德；哈逗留，格哈德

具有半马尔可夫工作负载的服务器的多项式因子分解：已验证解决方案技术的性能和数值方面。 （英语） Zbl 1075.65068号

斯托克。模型 21，编号2-3，643-668（2005）.
审核人：斯韦托斯拉夫·马尔科夫（索非亚）
MSC公司：65G30型 65G20个 65小时05 60 K15 2005年12月
PDF格式BibTeX公司 XML格式引用
\textit{D.Traczinski}等人，斯托克。型号21，编号2--3，643--668（2005；Zbl 1075.65068）
全文： 内政部
沃尔特·克雷默；Evgenija D.波波娃。

关于线性方程组的可靠外闭包和内闭包的计算。（Zur Berechnung von verlässlichen Außen-und Inneineinschlieãungen bei parameterabhängigen linearen Gleichungssystemen） （德语） Zbl 1354.65073号

PAMM，程序。申请。数学。机械。 4, 670-671 (2004).
MSC公司：2015财年65
PDF格式BibTeX公司 XML格式引用
\textit{W.Krämer}和\textit{E.D.Popova}，PAMM，Proc。申请。数学。机械。4670-671（2004年；兹bl 1354.65073）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件