安娜·玛丽亚·比加蒂（编辑）；雅克·卡雷特（编辑）；詹姆斯·H·达文波特。（编辑）；迈克尔·乔斯维格（编辑）；蒂莫·德·沃尔夫（编辑） 数学软件——ICMS 2020。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。 （英语） Zbl 1496.68012号 计算机科学课堂讲稿12097.查姆：施普林格（ISBN 978-3-030-52199-8/pbk；978-3-0030-52200-1/电子书）。xxiii，494页。(2020). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1391.68004号].索引文章：Horigome，Noriyuki；阿基拉·特瑞；Masahiko Mikawa，使用Gröbner基的机器人反向运动学计算的设计和实现，3-13[Zbl 1503.68313号]阿克沙·奈尔；詹姆斯·达文波特（James Davenport）；格雷戈里·桑卡兰CAD中的窗帘：为什么会有问题，我们如何解决？，17-26 [Zbl 1503.68314号]陈昌波，保Chordality增量三角分解及其实现，27-36[Zbl 1503.68309号]弗朗西丝卡·比安奇，\（\mathbb{Q}（\sqrt{-3}）\）-Mordell曲线上的积分点，39-50[Zbl 1503.11087号]李夏新；罗德里格斯，Jose Israel；王伯通，计算仿射变种欧拉特征的数值方法，51-60[Zbl 1503.65112号]乔纳森·豪恩斯坦。；Margaret H.里根。，使用伪值集计算和微分多项式，61-69[兹比尔1503.65111]Matsubara-Heo，Saiei-Jaeyong；高山，Nobuki，超几何积分的Pfaffian系统和上同调交数的算法，73-84[Zbl 1503.33014号]Elsenhans，Andreas-Stephan；约格·扬内尔，代数曲面计算，87-93[Zbl 1506.14049号]Ricky E.Farr。；塞巴斯蒂安·保利；菲利普·赛达克，计算黎曼-泽塔函数的分数导数，94-101[Zbl 1503.11117号]塞尔吉奥·西恰，朝向本原群的有效正规化子，105-114[Zbl 1503.20001号]亚历山大·博罗维克；亚利桑·恩卡亚（Syryu krü）、同态加密和一些黑盒攻击，115-124[Zbl 1503.94026号]托拜厄斯·莫伊德，结合代数的幂零商和Baumslag-Solitar群的增商，125-130[Zbl 1512.16043号]贝蒂娜·艾克；迈克尔·沃恩·李，GAP包LiePRing，131-140[Zbl 1504.17001号]安东·贝滕（Anton Betten）；塔伦·穆克提尼尼，对对称凸多面体的简单剖分进行分类，143-152[Zbl 1503.52003年]巴特·德·布吕恩，广义四边形超椭圆的分类结果，153-161[Zbl 1503.51001号]托帕洛娃，斯维特拉纳；斯特拉·泽勒佐娃，射影空间的同构与平行不变量，162-172[Zbl 1503.51002号]Stefka Bouyuklieva；伊利亚·布尤克利耶夫，通过扩展其残差对线性码进行分类，173-180[Zbl 1503.94054号]伊利亚·布尤克利耶夫、程序发电在软件包中Qext新版, 181-189 [Zbl 1503.94006号]Bruns、Winfried，正规代数多面体，193-201[Zbl 1503.52004号]乔斯维格（Michael Joswig）；保罗·瓦特，真正的热带超脸多晶的, 202-211 [Zbl 1506.14002号]查尔基斯，阿波斯托洛斯；埃米利斯，Ioannis Z。；Fisikopoulos，维萨里昂，通过冷却凸体的新退火计划对带状图进行实际体积估算，212-221[Zbl 1503.52005年]安东尼奥·马奇亚；艾米·威比，马考利的松懈理想2，222-231[Zbl 1503.52006年]卡斯特纳，拉尔斯；玛尔塔·帕尼祖特，超平面排列多晶的, 232-240 [Zbl 1506.14003号]玛丽安·阿基安（Marianne Akian）；泽维尔·阿拉米根；马林·博伊特（Marin Boyet）；圣埃芬·高伯特，求解正子系统的凸规划方法，241-250[Zbl 1503.90091号]安德烈·鲍尔（Andrej Bauer）；菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。；佩特科维奇（Anja Petković），《仙女座2》中一般类型理论的等式检验，253-259[Zbl 1503.68287号]米罗斯拉夫·奥沙克，GeoLogic–欧几里德几何图形交互式定理证明器，263-271[兹比尔1503.68294]傅耀顺；于文生，闭区间上连续函数性质的形式化，272-280[兹比尔1503.68298]陈昌波；朱章鹏；池浩宇，人工神经网络圆柱代数分解的变量排序选择，281-291[兹比尔1503.68310]克里斯托弗·布朗（Christopher W.Brown）。；格伦·克里斯托弗·戴维斯，将机器学习应用于求解实多项式约束的启发式，292-301[Zbl 1503.68307号]Dorian Florescu；英格兰，马修，一个基于机器学习的软件管道，用于选择多项式输入算法的变量顺序，302-311[Zbl 1503.68311号]弗雷德里克·约翰逊，FunGrim:用于特殊函数的符号库，315-323[Zbl 1503.68303号]Mila Runnerth；马库斯·斯托克；索伦·奥尔，作为开放研究知识图用例的运筹学文献，327-334[Zbl 1503.68300号]安德烈·格雷纳-佩特；莫里茨·舒博茨（Moritz Schubotz）；Akiko Aizawa；吉普，贝拉，《使演示数学可计算：提出将LaTeX转换为计算机代数系统的上下文敏感方法》，335-341[Zbl 1503.68299号]亚历山大·勃兰特；罗伯特·H·C·莫尔。；玛扎，马克·莫雷诺，在计算机代数库的设计中使用C++模板，342-352[Zbl 1503.68306号]丹尼斯·托拜厄斯·哈尔巴赫，多语言维基百科项目中包含的数学世界知识，353-361[Zbl 1503.68302号]罗伯托·迪·科斯莫，使用Software Heritage存档和引用源代码，362-373[Zbl 1503.68301号]马雷克·卡卢巴；本杰明·洛伦茨（Benjamin Lorenz）；蒂姆，萨莎，Polymake.jl：一个新的接口多晶的, 377-385 [Zbl 1504.14003号]奥利维埃·布伊略特，二维zeta值的相图，393-405[Zbl 1503.11115号]彼得·本纳（Peter Benner）；Steffen W.R.沃纳。，MORLAB–MATLAB和Octave中的模型降阶框架，432-441[Zbl 1503.93010号]乔治·格拉塞格（Georg Grasegger）；简·勒格斯克，FlexRiLoG–用于图形运动的SageMath软件包，442-450[Zbl 1503.05002号]约翰·阿伯特，在\（\mathbb{Z}[x]\）中证明不可约性，462-472[兹比尔1503.13017]乔里斯·范德霍温（Joris van der Hoeven）；迈克尔·莫纳根，实现切线Graeff求根方法，482-492[Zbl 1503.65097号] MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 65-06 与数值分析有关的会议记录、会议、收藏等 65年xx月 数值算法的计算机方面 68伏xx 数学研究和实践的计算机科学支持 68瓦30 符号计算和代数计算 00B25型 杂项特定利益的会议记录 引文：Zbl 1391.68004号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Bigatti}（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13-16日。诉讼程序。查姆：施普林格（2020；Zbl 1496.68012） 全文： 内政部