Hoon Hong（编辑）;耶，奶酪（编辑） 数学软件——ICMS 2014。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。 （英语） 兹比尔1293.65003 计算机科学课堂讲稿8592.柏林：施普林格出版社（ISBN 978-3-662-44198-5/pbk）。xxxii，735页。(2014). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上届大会见[Zbl 1196.68008号].索引文章：乔纳森·博文（Jonathan M.Borwein）。，实验计算和视觉定理，1-8[Zbl 1403.68311号]布赫伯格，布鲁诺，软数学-数学-软，9-15[Zbl 1403.68005号]马克·亚当斯，Flyspecking飞斑，16-20[Zbl 1403.68220号]Youngjoo Chung，Mathematica的符号计算包，用于数学表达式的多功能操作，21-25[Zbl 1403.68364号]伊恩库、米尼亚；Michael Kohlhase；科内留·普罗德斯库，表示、存档和搜索数学知识空间，26-30[Zbl 1403.68280号]帕特里克·伊恩，数学知识管理软件的早期示例，31-35[Zbl 1403.68281号]Michael Kohlhase；米尼亚·伊恩库，语篇级平行标记和灵活形式理论图中的意义采纳，36-40[Zbl 1403.68282号]亚历山大·马列茨基（Alexander Maletzky）；布赫伯格，布鲁诺，定理中二元Buchberger算法的复杂性分析，41-48[Zbl 1403.68228号]沃尔夫冈·温斯特伊格，定理2.0：数学理论探索系统，49-52[Zbl 1403.68229号]亚历山大·博罗维克；亚利桑·恩卡亚（Syryu krü）黑箱群理论的新方法。，53-58 [Zbl 1325.20042号]迪特里希，海科；法辛，保罗；威廉·德·格拉夫。，一个用于实半单李代数计算的GAP包，59-66[Zbl 1304.17001号]埃格里·纳吉，阿提拉；安德鲁·R·弗朗西斯。；沃尔克·格伯哈特，细菌基因组学和计算群论：GAP的BioGAP包，67-74[Zbl 1402.92296号]埃格里·纳吉，阿提拉；詹姆斯·米切尔（James D.Mitchell）。；尼哈尼夫（Nehaniv）、克里斯托弗（Chrystopher L.）。，SgpDec:有限变换半群和置换群的级联（de）合成，75-82[Zbl 1403.20002号]贝蒂娜·艾克，积分算术群的近似生成器。，83-86 [Zbl 1325.20041号]亚历山大·赫尔普克，《小组软件：理论与实践》，87-91[Zbl 1403.20003号]van Hoeij，Mark；雷蒙达斯·维杜纳斯，亏格0 Belyi函数的计算，92-98[Zbl 1402.14004号]安弘·莫莫（Yasuhiro Momose）；靖海县努马塔，关于自由生成小范畴的第一Baues-Warsching上同调的计算，99-105[Zbl 1402.18014号]Bayram，Aysegul；Oztas，Elif Segah；伊尔凡·西普，具有某些应用的非链环上的代码，106-110[Zbl 1402.94098号]韩成玉，关于长度为24到\（mathbb）的2-adic Golay码投影的权重枚举器{Z}（Z）_{2^e}\），111-114[Zbl 1402.94111号]金·乔恩·勒克，长度为32，115-118的二进制极值自对偶码的计算机重建[Zbl 1304.94112号]Lee，Kwankyu李光裕，通用代数几何码解码算法的Magma实现，119-123[Zbl 1304.94120号]Oztas，Elif Segah；Siap，Irfan；巴赫丁·伊尔迪斯，可逆密码及其对DNA的应用，124-128[兹比尔1402.94125]亨利·亚当斯；安德鲁·陶兹（Andrew Tausz）；米凯尔·维杰德莫·约翰逊，Javaplex：持久（co）同源性研究软件包，129-136[Zbl 1402.65186号]乌尔里希·鲍尔；迈克尔·科伯（Michael Kerber）；Reininghaus，Jan；休伯特·瓦格纳，PHAT–持久同源算法工具箱，137-143[Zbl 1402.65187号]艾默生·G·埃斯科拉。；靖国平冈，计算有限类型交换阶梯上的持久性模块，144-151[Zbl 1357.68303号]乔斯维格，迈克尔；Frank H.Lutz。；Mimi Tsuruga公司，球体识别启发式，152-159[Zbl 1402.57020号]马特乌斯·朱达；玛丽安·姆罗泽克，CAPD:：RedHom v2–基于简化算法的同源软件，160-166[Zbl 1402.57021号]玛丽亚·克莱门特；Jean-Daniel Boissonnat；Marc Glisse；玛丽埃特·伊维内克，Gudhi文库：简单复合体和持久同源性，167-174[Zbl 1402.57001号]制动器，Daniel A。；丹尼尔·贝茨（Daniel J.Bates）。；郝文瑞；乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Andrew J.Sommese。；查尔斯·沃姆勒（Charles W.Wampler）。，Bertini_real:一维和二维实代数集软件，175-182[Zbl 1437.14005号]陈天然；Lee，Tsung Lin；李天恩，Hom4PS-3：基于多面体同伦延拓方法的多项式方程组并行数值求解器，183-190[Zbl 1434.65065号]埃里克·小檗，CGAL–学术界和工业界可靠的几何计算，191-197[Zbl 1434.65008号]Cheilaris、Panagiotis；Dey，Sandeep Kumar；玛丽亚·加巴尼；伊万提亚·帕帕佐普鲁，在CGAL中实现段Voronoi图并应用于VLSI模式分析，198-205[Zbl 1434.65009号]Kim，Deok-Soo；赵永松；Kim，Jae-Kwan；Ryu、Joonghyun；Lee，Mokwon；查、杰云；宋昌英，牛！–基于Voronoi图、准三角形和β-络合物的分子几何引擎，206-213[Zbl 1434.65010号]水池森寿，积分环五边形的外半径和面积公式，214-221[Zbl 1434.68613号]格瓦拉、道格拉斯·纳瓦罗；阿德里安·纳瓦罗·阿尔瓦雷斯，计算机辅助几何，222-229[兹比尔1387.68260]苏伟；Paul S.Wang。；蔡川；李丽安，基于触摸操作的动态几何系统：设计与实现，235-239[兹比尔1434.68664]王东明；陈晓宇；安文雅；姜磊；丹·宋，Opengeo:一个开放的几何知识库，240-245[Zbl 1434.68665号]丹尼尔·贝茨（Daniel J.Bates）。；制动器，Daniel A。；乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Andrew J.Sommese。；查尔斯·沃姆勒（Charles W.Wampler）。，关于计算包含无限多奇点的真实曲面的单元分解，246-252[兹伯利1437.14061]埃里克·小檗，稳健高效地计算代数曲线和曲面，253-260[Zbl 1437.14004号]甘志旺；周，孟，用符号方法计算有理曲线在有理参数化曲面上的正交投影，261-268[兹伯利1437.14062]金，凯，同位素\（\varepsilon\）-代数曲线的近似（扩展抽象），269-276[Zbl 1437.14063号]留置权，Jyh-Ming；维克拉姆·夏尔马（Vikram Sharma）；格特·维格特；耶，奶酪，简单曲线的同位素排列：基于细分的精确数值方法，277-282[Zbl 1434.14023号]陈昌波；马克·莫雷诺·马扎，RegularChains库中的实量词消除，283-290[Zbl 1437.14006号]尤金·戈德伯格（Eugene Goldberg）；Manolios，Panagiotis公司，命题逻辑中量词消除软件，291-294[Zbl 1434.03009号]John，Ajith K。；查克拉波蒂，苏普拉特克，线性模块化约束的量词消除，295-302[Zbl 1437.65252号]Korovin、Konstantin；玛格斯·维纳斯，Skolemization模理论，303-306[Zbl 1434.03031号]Lonsing，Florian；埃格利，乌韦，由DepQBF进行增量QBF求解，307-314[Zbl 1434.68547号]维克托·马格伦，NLCertify：形式非线性优化工具，315-320[Zbl 1434.68640号]Katsuyoshi Ohara；Tajima，Shinichi；阿基拉·特瑞，为特征问题在Risa/Asir上开发线性代数包，321-324[Zbl 1434.15003号]朱里岛拉波波特，用于修改贝塞尔函数的数学软件，325-332[Zbl 1434.33001号]Ryu、Joonghyun；Lee，Mokwon；查、杰云；Song，Chanyoung；Kim、Deok-Soo，BetaSCP2：蛋白质侧链最佳预测程序，333-340[Zbl 1434.92005年]马修·斯凯里特，Giuga素性猜想改进下界的计算，341-345[Zbl 1434.11004号]Tajima，Shinichi；Katsuyoshi Ohara；阿基拉·特瑞，Horner矩阵规则的推广和有效计算，346-351[Zbl 1434.68716号]约翰·阿伯特（John Abbott）；安娜·玛丽亚·比加蒂CoCoA有什么新功能？，352-358 [Zbl 1437.13002号]醒醒，约瑟夫；贝拉·帕兰茨；罗伯特·刘易斯，通过Groebner基最大化点云参数估计的似然函数，359-366[Zbl 1437.13048号]醒醒，约瑟夫；贝拉·帕兰茨；罗伯特·刘易斯，格罗布纳大地测量学和地理信息学基础，367-373[Zbl 1437.86008号]布赫伯格，布鲁诺；亚历山大·马列茨基《Theorema的Groebner基地》，374-381[Zbl 1437.13009号]阿米尔·哈希米，理想根的有效计算及其在不变量理论中的应用，382-389[Zbl 1437.13004号]海因茨·克雷德尔，JAS中的通用和并行Groebner基（扩展摘要），390-397[Zbl 1437.13006号]Liu，Y.Jane；约翰·佩迪森，Groebner基方法在非线性力学问题中的应用，398-405[Zbl 1437.13007号]安东尼奥·蒙特斯（Antonio Montes）；迈克尔·维布默，讨论参数多项式系统的软件：Gröbner cover，406-413[Zbl 1434.13002号]Katsusuke Nabeshima；新一田岛，通过代数局部上同调改变排序计算标准基的算法，414-418[Zbl 1437.13008号]Noro，Masayuki；横山和弘，验证Gröbner基准候选，419-424[Zbl 1434.13029号]陈昌波；马克·莫雷诺·马扎，RegularChains库中的柱面代数分解，425-433[Zbl 1437.14007号]陈正红；唐晓仙；夏碧灿，层次综合三角分解，434-441[Zbl 1434.13026号]罗伯特·M·科尔利斯（Robert M.Corless）。；史蒂文·桑顿。，参数矩阵计算包，442-449[Zbl 1434.15002号]英格兰，马修；拉塞尔·布拉德福德（Russell Bradford）；James H.Davenport。；大卫·威尔逊，通过增量三角分解为真稳定不变柱面代数分解选择变量顺序，450-457[Zbl 1350.68294号]英格兰，马修；戴维·威尔逊（David Wilson）；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·达文波特。，使用正则链库通过投影和提升构建柱面代数分解，458-465[Zbl 1437.14008号]阿米尔·哈希米；萨拉·图拉吉，Rosenfeld-Gröbner算法的改进，466-471[Zbl 1434.13001号]阿尔瓦迪，帕里萨；陈昌波；马库斯，斯特芬；马克·莫雷诺（Marc Moreno Maza）；埃里克·斯科特；保罗·弗比克，使用RegularChains库进行代数几何，472-479[Zbl 1437.13003号]夏、彭；尚宝欣；雷娜娜，关于多元Birkhoff有理插值，480-483[兹比尔1437.41003]张扬，计算Ore多项式矩阵的Moore-Penrose逆，484-491[Zbl 1434.15004号]米盖尔·阿巴纳德斯（Miguel A.Abánades）。；弗朗西斯科·博塔纳；安东尼奥·蒙特斯（Antonio Montes）；托马斯·雷西奥，使用Gröbner覆盖进行几何轨迹计算和分类的软件，492-499[Zbl 1437.13001号]弗朗西斯科·博塔纳；托马斯·雷西奥，使用Maple的RegularChains库自动分类平面几何轨迹，500-503[Zbl 1437.13043号]陈昌波；马克·莫雷诺·马扎，通过RealComprehensiveTriangulaze求解参数多项式系统，504-511[Zbl 1437.13047号]藤崎隆彦，基于综合Gröbner系统的QE软件，512-517[Zbl 1434.68704号]伊瓦内、希德诺；Yanami，Hitoshi；阿奈、平子，SyNRAC：求解实代数约束的工具箱，518-522[Zbl 1437.13005号]Katsusuke Nabeshima；新一田岛，使用带参数的局部上同调类计算\（\mu\）-常数变形的Tjurina分层的算法，523-530[Zbl 1437.14011号]长井、亚基拉；井上，Shutaro，布尔Gröbner基和综合布尔Gróbner基底在一般计算机代数系统上的实现方法，531-536[Zbl 1434.13003号]周杰；王定康，确定两个参数多项式系统是否相等的方法，537-544[Zbl 1437.13046号]Fukazawa、Kenji，用KETpic解释波函数随机解释的新方法及其教材，549-553[Zbl 1434.97011号]古比内利，马西米利亚诺；乔里斯·范德霍温（Joris van der Hoeven）；弗朗索瓦州普兰；丹尼斯·劳克斯，GNU TeX\（_{\mathrm{MACS}}\）朝向科学办公套房，562-569[Zbl 1434.68632号]安德烈斯·伊格莱西亚斯；阿基米·加尔维斯，通过生物灵感优化技术表示和可视化自由曲线的计算机软件程序，570-577[Zbl 1434.68606号]安德烈亚·科尔哈斯，数学网络搜索界面和数学家的代沟，586-593[Zbl 1434.68635号]Nomachi、Toshifumi；Koshiba、Toshihiko；顺纪欧池，二元正态分布教学中视觉辅助材料的开发，601-606[Zbl 1434.97016号]欧池、顺治；吉福美美田；Kitahara，Kiyoshi；直纪滨口，利用KETpic为数学教育创建交互式图形，607-613[Zbl 1434.97017号]高藤、Setsuo；直纪滨口；海杜克萨拉芬，使用KETpic生成3D打印机的数学图形数据以及打印模型的教育影响，629-634[Zbl 1434.97018号]苏伟；Paul S.Wang。；李丽安，一个基于触摸的数学表达式编辑器，635-640[兹比尔1434.68633]约翰·阿伯特（John Abbott）；安娜·玛丽亚·比加蒂；克里斯托夫·索格，在CoCoALib和CoCoA 5中集成libnormalize，647-653[Zbl 1434.68698号]Brice Boyer；Jean-Guillaume杜马；帕斯卡·乔治；佩内特，克莱门特；B.David桑德斯，LinBox库中容器和解决方案的设计元素（扩展摘要），654-662[Zbl 1434.68699号]Bruns、Winfried；克里斯托夫·索格，Normaliz的最新进展，663-668[Zbl 1434.52002年]陈昌波；科瓦诺夫，斯维亚托斯拉夫；法南曼苏里；马克·莫雷诺（Marc Moreno Maza）；谢宁；谢玉珍，基本多项式代数子程序，669-676[Zbl 1435.65234号]杜拉茨，简；阿明法朱迪亚；米查尔·科内奇；瓦利德·塔哈，函数区间算术，677-684[Zbl 1435.65071号]帕斯卡·乔治；巴斯蒂安·维亚拉，在有限域上生成优化的稀疏矩阵向量积，685-690[Zbl 1439.65055号]格特·马丁·格雷尔（Gert-Martin Greuel）；沃尔夫拉姆·斯珀伯，swMATH–数学软件信息服务，691-701[Zbl 1434.68656号]滨田达夫，MathLibre：可修改的数学桌面环境，702-705[Zbl 1434.68657号]小山，塔米奥；中山弘；Katsuyoshi Ohara；Sei，Tomonari；高山，Nobuki，完整梯度法的软件包，706-712[Zbl 1435.65013号]奥尔加库普里亚诺娃；克里斯托弗·劳特，Metalibm：数学函数代码生成器，713-717[Zbl 1434.68660号]米勒，诺伯特；马丁·齐格勒，从微积分到无错误算法，718-724[Zbl 1402.65039号]哈克，萨达尔·阿尼苏尔；李欣；法南曼苏里；马克·莫雷诺（Marc Moreno Maza）；潘伟；谢宁，带CUMODP库的有限域上的稠密算法，725-732[Zbl 1402.11143号] 引用于1审查 MSC公司： 65-06 与数值分析有关的会议记录、会议、收藏等 65年xx月 数值算法的计算机方面 68瓦30 符号计算和代数计算 00B25型 杂项特定利益的会议记录 引文：Zbl 1196.68008号 软件：IFSGen4LaTeX公司;数学图书馆;SgpDec公司;Metalibm公司;NL认证;RedHom公司;PHAT公司;古巴国防部;贝尔蒂尼_雷尔;可可;CGAL公司;CoCoALib公司;枫树;SYNRAC公司;正则链;间隙;数学软件;枣灰蝶属 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}（编辑）和\textit{C.Yap}（主编），数学软件——ICMS 2014。第四届国际会议，韩国首尔，2014年8月5-9日。诉讼程序。柏林：施普林格出版社（2014；Zbl 1293.65003） 全文： 内政部