ICMS 2010:日本神户
福田康美 , 乔里斯·范德霍温 , 迈克尔·乔斯维格 , Nobuki Takayama公司 :
数学软件-ICMS 2010,第三届国际数学软件大会,日本神户,2010年9月13日至17日。 诉讼程序。 计算机科学课堂讲稿 6327, 施普林格 2010 ,国际标准图书编号 978-3-642-15581-9
全体会议
托马斯·黑尔斯 :
计算离散几何。 1-3 小岛正男 :
在大规模半定规划问题中挖掘结构稀疏性。 4-9 库尔特·梅尔霍恩 :
可靠高效的几何计算。 10-11 伯塞因·埃尔卡尔(Burçin Eröcal) , 威廉·斯坦 :
圣人项目:统一自由数学软件,创建一个可行的替代Magma、Maple、Mathematica和MATLAB的方案。 12-27
特殊功能计算(受邀)
西尔万·谢维拉德 , 米奥拉·霍尔德斯 , 克里斯托夫·奎林·劳特 :
Sollya:数字代码开发环境。 28-31 安妮·A·M·库伊特 , Franky Backeljauw公司 , 斯特凡·贝库韦 , 乔里斯·范德恩 :
经验证的特殊功能软件。 32-34 亚历山大·贝诺 , Frédéric Chyzak奶酪 , 亚历克西斯·达拉斯 , 斯特凡·格霍尔德 , 马克·梅扎罗巴 , 布鲁诺·萨尔维 :
数学函数动态词典(DDMF)。 35-41 保罗·齐默尔曼 :
使用GNU MPFR进行可靠计算。 42-45
计算群论(特邀)
穆罕默德·巴拉卡特 , 西蒙·格尔岑 :
GAP中光滑Orbifold的单上同调。 46-49 贝蒂娜·艾克 , 最大喇叭 :
利用Groebner基计算有限(L-)表示群的多环商。 50-53 苏菲·安布罗斯 , 斯科特·默里 , 谢丽尔·普拉格 , Csaba Schneider公司 :
黑盒经典群中的构造性成员测试。 54-57
计算群论(贡献)
雷默·贝伦兹 , 亚历山大·科诺瓦洛夫 , 史蒂夫·林顿 , 弗兰克·吕贝克 , Max Neunhöffer公司 :
面向具有GAP的高性能计算代数。 58-61 宫本一美 :
置换群函数计算归一化器的改进。 62-68 德米特里·V·帕塞奇尼克 , 凯沙夫·基尼 :
用于相干配置计算的GAP包。 69-72
计算机代数(特邀)
约翰·阿伯特 , 安娜·玛丽亚·比加蒂 :
CoCoALib:交换代数计算的C++库。。。 以及其他。 73-76 Jean-Guillaume Dumas女士 , 蒂埃里·戈蒂埃 , Clément Pernet公司 , B.大卫·桑德斯 :
LinBox创建范围分配、并行构建块和单独编译。 77-83 Jean-Charles Faugère女士 :
FGb:计算Gröbner Bases的库。 84-87 威廉·B·哈特 :
数论快速图书馆:简介。 88-91
代数和几何计算的精确数值计算(受邀)
丹·哈尔佩林 :
用固定精度算法进行认证几何计算的受控扰动。 92-95 梅内拉奥斯·卡拉维拉斯 :
CGAL中的精确几何和代数计算。 96-99 法布里斯·鲁利耶 :
关于二元多项式的求解系统。 100-104 齐格弗里德·M·朗普 :
浮点运算的精确可靠计算。 105-108
代数和几何计算的精确数值计算(贡献)
马克·莫里格 :
通过存储浮点数和来延迟Dag构造—加快基于表达式Dag的精确决策计算。 109-120 余季浑(Jihun Yu) , 芝麻 , 杜子林 , 西尔万·皮昂 , 埃尔维·布罗尼曼 :
核心2的设计:几何和代数精确数值计算库。 121-141
正式证明(受邀)
马克·亚当斯 :
介绍HOL Zero(扩展摘要)。 142-143 杰西·阿拉玛 :
mizar中的欧拉多面体公式。 144-147 R.D.阿尔森 :
建立机械化数学证明库:为什么要这样做? 以及该怎么做? 148 托马斯·黑尔斯 :
开普勒猜想的线性程序(扩展抽象)。 149-151 约翰·哈里森 :
Pick定理的形式证明-(扩展抽象)。 152-154
正式证明(已提交)
几何和可视化(受邀)
几何和可视化(贡献)
马丁·冯·盖格恩 , 克里斯蒂安·默卡特 :
基于OpenGL的数学图像过滤器库。 174-185 安东尼奥·穆切里诺 , 利奥·利贝蒂 , 卡里尔·拉沃尔 :
MD-jeep:距离几何问题的分支和删减算法的实现。 186-197 简·雷宁豪斯 , 大卫·Günther , 英格丽德·霍茨 , 斯特芬·普罗哈斯卡 , 汉斯·克里斯蒂安·赫格 :
TADD:使用离散莫尔斯理论进行数据分析的计算框架。 198-208
Groebner基础和应用程序(受邀)
Winfried Bruns公司 , 博格丹·伊希姆 , 克里斯托夫·索格 :
Normaliz 2.5简介。 209-212 托马斯·马克维格 :
热带几何中的计算机代数方法。 213-216
Groebner基础和应用程序(贡献)
罗西奥·布兰科 :
一种新的任意特征二项式变化去噪算法。 217-220 中山弘 , 肯塔·西山 :
一种计算定积分非齐次微分方程的算法。 221-232 Noro Masayuki诺罗(Masayuki Noro) :
计算多项式理想初等分解的新算法。 233-244 Loredana Tec公司 , 乔治·雷根斯堡 , 马库斯·罗森克兰兹 , 布鲁诺·巴赫伯格 :
积分微分代数上参数化无穷重写系统的自动合流证明。 245-248 弗拉基米尔·多森科 , 米凯尔·维杰德莫·约翰逊 :
操作Gröbner Bases:一个实现。 249-252
数字理论软件(受邀)
数字理论软件(贡献)
克雷格·雪铁龙 , 亚历山德鲁·吉萨 :
列举Sage中的伽罗瓦表示。 256-259 田中佐郎 , 小仓直树 , 肯·纳卡穆拉 , 松井忠雄 , Shigenori Uchiyama先生 :
新西兰数学1.0。 260-269
优化和多面体计算软件(受邀)
大卫·阿贾什维利 , 米歇尔·贝斯 , 菲利普·罗斯塔尔斯基 :
删除冗余的二次约束。 270-281 安德斯·内德加德·詹森 :
横向对称多面体扇形。 282-294 托马斯·雷恩 , 阿基尔·舒尔曼 :
用于利用多面体对称性的C++工具。 295-298 斯文·威尔多拉吉(Sven Verdoolaege) :
岛屿 :多面体模型的整数集库。 299-302
优化和多面体计算软件(贡献)
可靠计算(邀请)
格雷戈伊尔·勒塞夫 :
Mathemagix:面向符号和认证数字计算的大规模编程。 329-332 马库斯·奈尔 :
CoStLy C++类库中的复杂包含函数。 333-336 Nathalie Revol公司 :
图书馆中使用的标准区间算法和区间算法。 337-341
可靠计算(贡献)
![](https://dblp.org/img/cog.dark.24x24.png)