福田、科美（编辑）；乔里斯·范德霍温（编辑）；迈克尔·乔斯维格（编辑）；高山，Nobuki（编辑） 数学软件–ICMS 2010。第三届数学软件国际大会，日本神户，2010年9月13日至17日。诉讼程序。 （英语） Zbl 1196.68008号 计算机科学课堂讲稿6327.柏林：施普林格出版社（ISBN 978-3-642-15581-9/pbk）。xvi，第368页。(2010). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1195.68008号).索引文章：托马斯·黑尔斯（Thomas C.Hales）。，计算离散几何，1-3[Zbl 1294.68140号]Masakazu小岛，在大规模半定规划问题中利用结构稀疏性，4-9[Zbl 1295.90041号]库尔特·梅尔霍恩，可靠高效的几何计算，10-11[Zbl 1294.68143号]Eröcal，Burçin；威廉·斯坦因，The Sage项目：统一自由数学软件，创建Magma、Maple、Mathematica和Matlab的可行替代方案，12-27[Zbl 1295.68225号]西尔万·切维拉德；米奥拉乔尔德什；克里斯托夫·劳特，Sollya：数字代码开发环境，28-31[Zbl 1295.65143号]安妮·库伊特；弗兰基·巴克尔贾乌；Stefan Becuwe；乔里斯·范德恩，经验证的特殊功能软件，32-34[Zbl 1295.65023号]亚历山大·本诺特；Chyzak，Frédéric；亚历克西斯·达拉斯；斯特凡·格霍尔德（Stefan Gerhold）；马克·梅扎罗巴；布鲁诺·萨维，数学函数动态字典（DDMF），35-41[Zbl 1295.65022号]保罗·齐默尔曼，使用GNU MPFR进行可靠计算，42-45[Zbl 1295.65148号]穆罕默德·巴拉卡特；西蒙·格尔岑，GAP中光滑球形的单上同调，46-49[Zbl 1294.68150号]贝蒂娜·艾克；霍恩，马克斯，通过Groebner碱计算有限（\（L\）-）呈现群的多环商。，50-53 [Zbl 1198.20029号]苏菲·安布罗斯；斯科特·默里（Scott H.Murray）。；Cheryl E.Praeger。；捷克施耐德黑盒经典群的构造性成员测试。，54至57[Zbl 1198.20039号]雷梅尔·贝伦兹；亚历山大·科诺瓦洛夫；史蒂夫·林顿（Steve Linton）；吕贝克，弗兰克；马克斯·纽霍弗，面向具有GAP的高性能计算代数，58-61[Zbl 1294.68151号]宫本义美，置换群正规化器计算函数的改进。，62-68 [Zbl 1198.20004号]德米特里五世（Dmitrii V.Pasechnik）。；基尼，凯沙夫，用于相干配置计算的GAP包，69-72[Zbl 1294.68163号]约翰·阿伯特（John Abbott）；安娜·比加蒂（Anna M.Bigatti）。，CoCoALib:一个用于交换代数（dots）及其后计算的C++库，73-76[Zbl 1267.13048号]Jean-Guillaume杜马；蒂埃里·戈蒂埃；佩内特，Clément；B.David桑德斯、LinBox创建范围分配、并行构建块和单独编译，77-83[Zbl 1294.68155号]Faugère、Jean-Charles，FGb：计算Gröbner基的库，84-87[Zbl 1294.68156号]威廉·哈特。，《数论快速库：简介》，88-91[Zbl 1273.11177号]丹·哈尔佩林，用固定精度算法进行认证几何计算的受控扰动，92-95[兹比尔1295.65019]梅内拉奥斯·卡拉维拉斯一世。，CGAL中的精确几何和代数计算，96-99[Zbl 1274.65060号]法布里斯·鲁利耶，关于二元多项式系统的求解，100-104[Zbl 1274.65156号]齐格弗里德·M·臀部。，浮点运算准确可靠，105-108[Zbl 1295.65133号]马克·莫里格，通过存储浮点和来延迟dag构造，加快了基于表达式dags的精确决策计算，109-120[兹比尔1295.65020]俞继洪；耶，琪；杜子林；Pion，Sylvain；埃尔维·布伦尼曼，《核心2的设计：几何和代数精确数值计算库》，121-141[Zbl 1295.65147号]杰西·阿拉玛，米扎尔的欧拉多面体公式，144-147[Zbl 1294.68132号]R·D·阿尔森。，建立一个机械化数学证明库：为什么要这样做？做什么感觉？，148 [Zbl 1294.68121号]托马斯·黑尔斯（Thomas C.Hales）。，开普勒猜想的线性程序（扩展抽象），149-151[Zbl 1294.68122号]约翰·哈里森，皮克定理的形式证明（扩展抽象），152-154[Zbl 1294.68123号]约瑟夫·乌尔班（Josef Urban）；库德（Krystof Hoder）；安德烈·沃伦科夫，Mizar数学库上自动定理证明的评估，155-166[Zbl 1294.68128号]蒂姆·霍夫曼，关于平面四边形网格的局部变形，167-169[Zbl 1294.68141号]马蒂亚斯·韦伯，具有规定几何形状的调和曲面的构造，170-173[Zbl 1295.65021号]冯·盖格恩，马丁；麦卡特，基督徒，基于OpenGL的数学图像过滤器库，174-185[兹比尔1294.68147]安东尼奥·穆切里诺（Antonio Mucherino）；利贝蒂（Leo Liberti）；卡莱尔·拉沃尔，MD-jeep:距离几何问题的分支和剪枝算法的实现，186-197[Zbl 1294.68144号]Reininghaus，Jan；Günther，David；英格丽德·霍茨（Ingrid Hotz）；斯特芬·普罗哈斯卡；汉斯·克里斯蒂安·赫格，TADD：使用离散莫尔斯理论进行数据分析的计算框架，198-208[Zbl 1294.68146号]Bruns、Winfried；伊奇姆，博格丹；克里斯托夫·索格，Normaliz简介2.5209-212[Zbl 1294.68152号]托马斯·马克维格，热带几何中的计算机代数方法，213-216[Zbl 1294.68161号]罗西奥·布兰科，一种新的任意特征二项式变量去角化算法，217-220[Zbl 1295.14013号]中山弘；肯塔州西山，一种计算定积分的非齐次微分方程的算法，221-232[Zbl 1294.68162号]马赛尤基·诺罗，计算多项式理想初级分解的新算法，233-244[Zbl 1229.13003号]Tec，Loredana；乔治·雷根斯堡；马库斯·罗森克兰兹；布赫伯格，布鲁诺，在积分-微分代数上参数化的无限重写系统的自动合流证明，245-248[Zbl 1294.68165号]弗拉基米尔·多森科；米凯尔·维杰德莫·约翰逊，Operadic Gröbner bases:一个实现，249-252[Zbl 1294.68154号]约翰·坎农（John Cannon）；唐纳利，史蒂夫；菲克，克劳斯；马克·沃特金斯，Magma–数论工具，253-255[Zbl 1294.68153号]Citro，Craig；亚历山德鲁·吉萨，列举圣人中的伽罗瓦表现，256-259[Zbl 1244.11099号]田中、佐托鲁；小仓直树；Ken Nakamula；松井、铁石；内山茂，NZMATH 1.0，260-269[Zbl 1295.11140号]大卫·阿贾什维利；Michel Baes；菲利普·罗斯塔尔斯基，删除冗余的二次约束，270-281[兹比尔1295.90038]安德斯·内德加德·詹森，横穿对称多面体扇形，282-294[兹比尔1294.68157]托马斯·雷恩（Thomas Rehn）；阿基尔·舒尔曼，用于开发多面体对称性的C++工具，295-298[Zbl 1295.52020号]斯文·威尔多拉耶格（Sven Verdoolaege），isl：多面体模型的整数集库，299-302[Zbl 1294.68166号]利贝蒂（Leo Liberti）；索尼娅·卡菲里；大卫·萨沃里，重新格式化优化软件引擎，303-314[兹比尔1294.68160]哈斯，克里斯蒂安；本杰明·洛伦茨（Benjamin Lorenz）；安德烈亚斯·帕芬霍尔茨，生成光滑晶格多边形，315-328[Zbl 1295.52019年5月]格里戈伊尔·勒塞夫，Mathemagix：面向符号和认证数字计算的大规模编程，329-332[Zbl 1294.68158号]马库斯·尼赫尔，CoStLy C++类库中的复杂包含函数，333-336[Zbl 1295.65146号]娜塔莉·雷沃，标准化区间算术和图书馆中使用的区间算术，337-341[Zbl 1295.65055号]查尔斯·雷瑟森。；李丽云；莫雷诺·马扎（Marc Moreno Maza）；谢玉珍，大多项式的有效计算，342-353[Zbl 1294.68159号]Evgenija D.波波娃。；沃尔特·克雷默，将函数表达式从Mathematica传递到C-XSC，354-365[Zbl 1294.68164号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65-06 与数值分析有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 引文：Zbl 1195.68008号 软件：间隙；TADD公司；米扎尔；CoCoALib公司；马塞马吉克斯；Matlab公司；SageMath公司；MD吉普车；CoStLy公司；岩浆；枫树；打火石；FGb公司；数学软件 PDF格式BibTeX公司 XML格式引用 \textit{K.Fukuda}（编辑）等，数学软件——ICMS 2010。第三届国际数学软件大会，日本神户，2010年9月13-17日。诉讼程序。柏林：施普林格出版社（2010；Zbl 1196.68008） 全文： 内政部