默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Dagstuhl研讨会成果：2003年数值软件与结果验证

>主页 >会议和研讨会 >达格斯图尔

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/2003ns公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/2003ns
勒内·阿尔特,安德烈亚斯·弗洛默,R.Baker Kearfott先生,沃尔夫拉姆·路德:
具有结果验证的数值软件，国际达格斯图尔研讨会，德国达格斯图城堡，2003年1月19日至24日，修订论文。计算机科学课堂讲稿2991,施普林格 2004，十亿3-540-21260-4

语言文字

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Gudenberg03号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Gudenberg03网址
于尔根·沃尔夫·冯·古登贝格:
OOP和区间算术-语言支持和库。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/HofschusterK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/HofschusterK03
沃纳·霍夫斯切斯特,沃尔特·克雷默:
C-XSC 2.0：扩展科学计算的C++库。 15-35

软件系统和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/KearfottNOR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KearfottNOR03
R.Baker Kearfott先生,马库斯·尼赫,大石信一,法比安·里科:
验证计算的库、工具和交互系统四个案例研究。 36-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/GrimmerPR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/GrimmerPR03
马库斯·格里默,克努特·佩特拉斯,Nathalie Revol公司:
多精度区间软件包：比较不同的方法。 64-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/CorlissY03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/CorlissY03
乔治·F·科利斯,于军（Jun Yu）:
区间检验策略在COSY区间和泰勒模型算法中的应用。 91-106

基于区间算法的新型验证技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/KiefferW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KiefferW03
米歇尔·基弗,埃里克·沃尔特:
有界误差环境下合作系统的非线性参数和状态估计。 107-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/WalterBJK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/WorterBJK03
埃里克·沃尔特,伊莎贝尔·布雷姆斯,卢克·杰林,米歇尔·基弗:
保证数值计算作为测试模型可辨识性的计算机代数的替代方案。 124-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/AuerKTT03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/AuerKTT03（网址：https://dblp.org/rec/conf/dagstuhl/AuerKTT03）
叶卡捷琳娜·奥尔,安德烈斯·凯斯凯梅西,马丁·坦德,霍尔格·特拉钦斯基:
多体系统建模中的区间算法。 132-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/BuhlerDL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/BuhlerDL03
卡贾·比勒,伊娃·戴龙,沃尔夫拉姆·路德:
使用有限精度几何进行可靠的距离和交点计算。 160-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/AlefeldM03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/AlefeldM03
戈茨·阿勒菲尔德,Günter Mayer公司:
关于奇异区间系统。 191-197

科学与工程应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/BeelitzBLA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/BelitzBLA03
托马斯·比利茨,克里斯蒂安·比肖夫,布鲁诺·朗,克劳斯·舒尔特·阿尔霍夫:
化学过程分析中非线性系统的结果验证解。 198-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/FaustenH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/FaustenH03
丹妮拉·福斯滕,格哈德·哈林格:
电信交换系统性能的验证性数值分析。 206-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/BrovacH03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/BrovacH03
Stefan Borovac公司,格哈德·海因德:
大地测量学计算问题的结果验证。 226-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Schichl03号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Schichl03网址
赫尔曼·施切尔:
COCONUT项目中的全局优化。 243-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/OussenaHA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/OussenaHA03
巴亚·乌塞纳,阿卜杜勒扎克·亨尼,勒内·阿尔特:
小波理论在早期乳腺癌中的应用。 250-258

新型验证方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Lester03号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Lester03网址
大卫·R·莱斯特:
使用PVS验证精确算法的反三角函数。 259-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/GranvilliersKM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/GranvilliersKM03
劳伦特·格兰维尔（Laurent Granvilliers）,弗拉基克·克雷诺维奇,诺伯特·米勒:
具有结果验证的数值软件的新方法。 274-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/PutotGM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/PutotGM03
西尔维·普托,埃里克·古堡,马蒂厄·马特尔:
基于静态分析的浮点计算验证。 306-313

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。