×
詹姆斯·达文波特。（编辑）;曼纽尔·考尔斯（编辑）;拉班，乔治（编辑）;约瑟夫·乌尔班（编辑）

数学软件——ICMS 2018。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。 （英语） Zbl 1391.68004号

计算机科学课堂讲稿10931.查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。xix，第508页。(2018).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1342.68017号]。
索引文章：
马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜，用TAME推断安全的Maude程序，1-10[Zbl 1395.68080号]
埃文·奥斯汀（Evan Austin）；斯科特·巴特森（Scott Batson）；彼得·库里（Peter Curry）；布莱恩·威廉姆斯，为计算机辅助密码学找到中间地带，11-18[Zbl 1398.94096号]
卢卡斯·巴瑟利米；德拉拉姆·卡罗巴伊；雷诺，盖纳；Šunić，佐兰，二元置换多项式反演的二次时间算法，19-27[Zbl 1398.11155号]
丹·贝茨（Dan Bates）；制动，丹妮尔；马特·尼默格，Paramotopy：并行参数同伦，28-35[Zbl 1396.65179号]
贝尔奇奇，卡加；贾诺什·维达利，DiscreteZOO：面向离散对象的指纹数据库，36-44[Zbl 1395.68108号]
玛丽亚·贝索诺夫；格里戈里耶夫，迪马；弗拉基米尔·什皮林，无条件安全公钥加密框架（可能存在解密错误），45-54[Zbl 1398.94099号]
安东·贝蒂，使用Orbiter对有限域上的立方曲面进行分类，55-61[Zbl 1395.14016号]
安东·贝滕，计算群轨道的速度有多快？，62-70 [Zbl 1395.05192号]
阿卜杜拉·阿齐米；安东·贝滕（Anton Betten）；乔杜里，萨吉布·罗伊，BLT集的彩虹团搜索算法，71-79[Zbl 1395.05121号]
泰勒·布莱塞维茨，计算牛顿多边形的数值软件，80-88[Zbl 1397.65341号]
Caravantes，Jorge；劳雷亚诺·冈萨雷斯-维加，关于椭球体的干涉问题：实验和应用，89-97[Zbl 1395.68294号]
Ceria、Michela；莫拉、特奥；安德里亚·维斯康蒂，无平方分隔多项式的有效计算，98-104[Zbl 1395.68344号]
陈天然，libtropicon：计算通用热带超曲面交点的可扩展库，105-112[Zbl 1396.14004号]
程金珊；温俊毅；张文建，绘制平面隐式曲线及其应用，113-122[Zbl 1395.68298号]
哈根·克莱帕里；沃尔夫冈·达利茨、软件产品、软件版本、软件存档和swMATH，123-127[Zbl 1395.68323号]
埃马努伊尔·克里斯托福；Angelos Mantzaflaris公司；伯纳德·穆兰（Bernard Mourrain）；朱利安·温茨，Axl，半代数形状的几何建模器，128-136[Zbl 1396.65028号]
乔瓦尼·迪·克雷森佐；德拉拉姆·卡罗巴伊；科德贾耶娃，马特鲁巴；弗拉基米尔·什皮林，对单个恶意服务器的高效安全委派：非阿贝尔组上的幂运算，137-146[Zbl 1398.94110号]
董毅和，基于NLP的数学学科分类检测，147-155[Zbl 1395.68230号]
董毅和，NLP与数学文本的大规模信息检索，156-164[Zbl 1395.68324号]
英格兰，马修，数学软件的机器学习，165-174[兹比尔1395.68231]
法默，威廉·M。，一种新型的数学证明，175-181[Zbl 1395.68257号]
Ethan Petersen；Youngs，Nora；Ryan Kruse；丹麦宫田；加西亚，丽贝卡；路易斯·戴维·加西亚·普恩特《圣马赫的神经理想》，182-190年[Zbl 1395.68351号]
阿米尔·哈希米；Dehghani Darmian，Mahdi；马尔齐·巴克霍达尔，参数多项式理想的通用Gröbner基，191-199[Zbl 1395.13027号]
乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；阿维纳什·库尔卡尼；Sertöz，Emre C。；萨曼莎·谢尔曼。，证明预测的真实性，200-208[Zbl 1396.14053号]
Horáckek，Jan；马丁·克鲁泽，3BA：带SAT扩展的边界基解算器，209-217[Zbl 1395.68345号]
霍兰、凯尔西；德拉拉姆·卡罗巴伊，隐藏子群问题和后量子群加密，218-226[Zbl 1395.94287号]
波拉·哈恩德尔；丽贝卡·沃尔德克，轨道图问题，227-234[Zbl 1401.20007号]
雷米·伊姆巴赫；Victor Y.Pan。；耶，芝士，近最优复根聚类算法的实现，235-244[Zbl 1398.65095号]
雅库布夫，Jan；塞萨里·卡利西克，面向基于叠加的自动推理的统一排序，245-254[Zbl 1395.68248号]
弗雷德里克·约翰逊，任意精度球算术中的数值积分，255-263[Zbl 1397.65342号]
乔斯维格（Michael Joswig）；拉斯·卡斯特纳，循环多边形三角剖分数的新计数，264-271[Zbl 1395.05001号]
康启文；鲁里科·吉田，使用Metropolis-Hastings算法估算热带主成分，272-279[Zbl 1395.62141号]
Kang，Sohee；马可·波兰恩（Marco Pollanen）；达穆拉斯，索蒂里奥斯；布鲁斯·卡特，数学课堂合作者（MC2）：课堂民主化技术，280-288[Zbl 1395.97003号]
Daniel S.Katz。；Chue Hong，尼尔·P·。，《理论与实践中的软件引用》，289-296[Zbl 1395.01083号]
Kim，Seyeon；马可·波兰恩（Marco Pollanen）；迈克尔·雷诺兹（Michael G.Reynolds）。；韦斯利·伯尔。《识别数学符号和符号中的错误：对软件设计的影响》，297-304[Zbl 1395.68325号]
罗伯特·刘易斯。，图像分析：通过多项式系统识别物体，305-309[Zbl 1395.68269号]
罗伯特·刘易斯。、结果、隐式参数化和曲面交点，310-318[Zbl 1395.68346号]
罗伯特·刘易斯；贝拉·帕兰茨；醒醒，约瑟夫，通过Gröbner基拟合球体，319-327[Zbl 1395.68347号]
安东·莱金，Macaulay中的同伦延拓2，328-334[Zbl 1395.13028号]
丹尼尔·利希布劳，使用数值Gröbner基求解多项式系统，335-342[Zbl 1395.13029号]
阿列克谢·利西萨。，Andrews-Curtis猜想，项重写和一阶证明，343-351[Zbl 1395.68250号]
马查多·马丁斯，曼努埃尔；马库斯·普菲弗，Francy–GAP的交互式离散数学框架，352-358[Zbl 1395.68348号]
迈克尔·莫纳根（Michael Monagan）；巴里斯调谐器，稀疏多元Hensel提升：高性能设计与实现，359-368[Zbl 1395.68349号]
凯西·B·穆利根。；James H.Davenport。；英格兰，马修，TheoryGuru：将量词消去技术应用于经济学的Mathematica软件包，369-378[Zbl 1395.68350号]
野田佳彦；Masataka Kaneko，CindyJS生成的数学内容在平板电脑上的协作使用，379-388[Zbl 1395.68326号]
饶永生；关浩；陈汝贤；左、余；王莹，基于互联网的新型动态数学系统，389-396[Zbl 1395.97004号]
制动器，Danielle A。；乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Margaret H.里根。，polyTop：计算光滑真实曲面拓扑的软件，397-404[Zbl 1396.14002号]
罗德里格斯，Jose Israel，求解似然方程以计算欧拉障碍函数，405-413[Zbl 1395.14003号]
埃里克·罗兰,整数序列：使用\（k \）-正则序列进行计算的包，414-421[Zbl 1398.11161号]
康拉德·桑德森；瑞安·科廷，C++中的一个用户友好的混合稀疏矩阵类，422-430[Zbl 1397.65343号]
Shirai，Shizuka；福井、铁雄；吉多米，肯塔罗；川崎，三井；中原、高弘；中村康树；Kato，Katsuya；田口，Tetsuya，用于在数学电子学习系统中编写教材的智能编辑器，431-437[兹比尔1396.97030]
比安卡·索斯诺夫斯基，Cayley散列函数的最新发展，438-447[兹比尔1398.94165]
沃尔夫拉姆·斯珀伯，数学研究数据、软件、模型和基于公开的方法，448-457[Zbl 1395.68327号]
Paul Breiding；蒂姆，萨沙，HomotopyContinuation.jl:Julia中同伦延续的包，458-465[Zbl 1396.14003号]
费尔南多·瓦莱·恩里奎兹；克里斯托弗·布朗（Christopher W.Brown）。，中的多项式约束和未饱和核塔斯基, 466-474 [Zbl 1395.68353号]
亚历山大·伍德（Alexander Wood）；弗拉基米尔·什皮林；Kayvan Najarian；阿里·莫斯塔沙里；德拉拉姆·卡罗巴伊，用于私有分类的私有密钥全同态加密，475-481[Zbl 1395.68115号]
杨静；Yap，Chee K。，关于对称多项式和D-plus，482-491[Zbl 1396.13027号]
吉多米，肯塔罗，使用CAS随机分配生成大量的多选或STACK型问题，492-497[Zbl 1396.97002号]
曾忠刚，求解线性和非线性方程组的直观界面，498-506[Zbl 1397.65344号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
65-06 与数值分析有关的会议记录、会议、收藏等
65年xx月 数值算法的计算机方面
第68页第15页 定理证明（演绎、解析等）（MSC2010）
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）
68瓦30 符号计算和代数计算
00B25型 杂项特定利益的会议记录

引文：

Zbl 1342.68017号

软件：

SageMath软件;麦考利2;寄生虫学;整数序列;利托品;Polytop公司;提奥里古鲁;同伦延续;离散ZOO;轨道飞行器;弗朗西;阿克塞尔;美国汽车制造商协会;3BA公司
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}（编辑）等人，数学软件——ICMS 2018。第六届国际会议，美国印第安纳州南本德，2018年7月24-27日。诉讼程序。查姆：施普林格（2018；Zbl 1391.68004）
全文： 内政部