科齐里亚斯（Ilias S.Kotsireas）。（编辑）；齐格弗里德·M·臀部。（编辑）；是的，Chee K。（编辑） 计算机和信息科学的数学方面。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。 （英语） Zbl 1334.68018号 计算机科学课堂讲稿9582.查姆：施普林格（ISBN 978-3-319-32858-4/pbk；978-3-3169-32859-1/电子书）。第二十三章，第628页。(2016). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：杨科·伯姆；沃尔夫拉姆·戴克（Wolfram Decker）；西蒙·凯彻（Simon Keicher）；任、岳，开发开源计算机代数系统的当前挑战，3-24[Zbl 1460.14135号]克劳德·皮埃尔·珍妮罗德，利用浮点运算中的结构，25-34[Zbl 1460.65050号]李洪波，用高级不变代数进行符号几何推理，35-49[Zbl 1460.51009号]罗特，君特，三维和四维点集的一致性测试。结果和技术，50-59[Zbl 1460.68124号]安德烈亚斯·拜尔（Andreas Beyer）；刘禹；休伯特·马拉；苏珊娜·克罗姆克尔，通过随机凸边仿射特征对外表面零件进行网格缩减，63-77[Zbl 1460.68125号]雷米·伊姆巴赫；纪尧姆·莫罗兹；马克·普吉，光滑空间曲线投影奇点的数值隔离和认证，78-92[Zbl 1460.14130号]西多罗夫，S.P。，线性（k）-单调性保持算法及其近似性质，93-106[Zbl 1460.41010号]制动器，Daniel A。；丹尼尔·贝茨（Daniel J.Bates）。；瓦赫坦·普卡拉泽；安东尼·马西耶夫斯基（Anthony A.Maciejewski）。，协作机器人的工作空间多样性和容错性，109-123[Zbl 1464.70006号]制动器，Daniel A。；乔纳森·霍恩斯坦（Jonathan D.Hauenstein）。；Andrew J.Sommese。，数值局部不可约分解，124-129[Zbl 1460.14131号]彼得·Bürgisser；科恩，凯瑟琳；皮埃尔·莱雷斯；伯恩德·斯图尔姆费尔斯，计算Chow变化的二次空间曲线，130-136[Zbl 1460.14132号]诺亚·S·达利奥。；乔纳森·霍恩斯坦。，对算术Gorenstein性质的一般简化投影方案进行数值测试，137-142[Zbl 1460.14106号]佩特库塔斯，关于数域上显式同构问题的一些结果，143-148[Zbl 1464.11111号]彼得·Günther；沃尔克·克鲁梅尔，在基于累加器的智能卡体系结构上实现密码配对，151-165[Zbl 1464.94059号]约翰·博尔默（Johannes Blömer）；雅各布·胡恩克；尼尔斯·Löken，具有分布式可追溯性的短群签名，166-180[Zbl 1406.94026号]亲吻，阿涅斯；朱利安·克雷默；安克·苏贝尔，关于CLEFIA微分故障分析的最优性，181-196[Zbl 1464.94037号]木下武彦；渡边，吉田；Nakao，Mitsuhiro T。多边形域上泊松方程的（H^3）和（H^4）正则性，199-201[Zbl 1460.35107号]冈山，通崎，用sinc方法修正数值迭代积分的显式误差界，202-217[Zbl 1460.65024号]Takayasu、Akitoshi；沟口，Makoto；库博、高崎；小西，神道，使用演化算子验证半线性抛物方程解的计算，218-223[Zbl 1460.35216号]名古屋山中；冈山、通崎；小西，神道，在半无限区间上使用双指数公式验证实际伽马函数的误差界，224-228[Zbl 1460.65020号]藤崎隆彦；岩内，秀直；佐藤、优介，改进CGS-QE算法，231-235[兹比尔1460.13051]Munehiro小林；伊瓦内、希德诺；松崎、Takuya；阿奈、平子，非Renex公式实量词消除的有效子公式阶，236-251[Zbl 1460.68086号]Katsusuke Nabeshima；新一田岛，通过Gröbner基求解收敛幂级数环中的扩展理想隶属度问题，252-267[兹比尔1460.13052]弗兰克·奎登菲尔德。；克里斯托弗·沃尔夫，对Trivium的高级代数攻击，268-282[Zbl 1464.94048号]萨尔瓦多阿罗妮卡；阿莱西奥·兰吉乌（Alessio Langiu）；弗朗西斯卡·马尔齐；萨尔瓦多马佐拉；菲利波偏头痛；朱利奥·纳齐科内，压缩大数据：当收敛到熵的速度很重要时，285-289[Zbl 1460.68036号]杰奎琳·戴金。；米尔卡·米勒；莱恩，乔《时间推理的趋势：约束、图和偏序集》，290-304[Zbl 1460.68100号]约阿希姆·吉森；劳厄，Sören；Jens K.米勒。，从压缩支持向量机重建稀疏解，305-319[Zbl 1460.68084号]Tomasz Kociumaka；雅库布·拉多舍夫斯基；巴特·奥米耶·维希·涅夫斯基，阿贝尔弦论问题的次二次时间算法，320-334[Zbl 1460.68136号]詹姆斯·弗雷塔格（James Freitag）；李伟，简单微分场扩展和有效界，343-357[兹比尔1464.12008]古斯塔夫森，理查德；奥马尔·莱昂·桑切斯，微分场扩张存在的新界，358-361[Zbl 1352.12003年]亚历山大·莱文，逆差分域扩张中间域的维数多项式，362-376[Zbl 1464.12011年]格勒布·波古丁，微分代数中的“多项式移位”技巧，377-379[Zbl 1464.12010年]安文雅；陈晓宇；王东明，使用从图表中检索的特征搜索几何定理，383-397[Zbl 1460.68129号]瓦德（Waad）Bouaguel；埃姆纳·穆埃利；加齐·贝尔·穆夫蒂，使用生物数据冗余特征进行实例特征选择的新方法，398-405[Zbl 1460.68083号]拉杜·汉巴桑；迈克尔·科尔哈斯，分面搜索数学，406-420[Zbl 1460.68130号]Shirai，Shizuka；福井，铁雄，将线性字符串转换为输入法数学公式的预测算法评估，421-425[Zbl 1460.68091号]乔斯维格（Michael Joswig）；乔治·罗霍（Georg Loho）；本杰明·洛伦茨（Benjamin Lorenz）；本杰明·施罗德，Puiseux分数域上的线性规划和凸壳，429-445[Zbl 1460.90106号]马克·莫里格，平面凸壳计算中鲁棒性问题的另一个课堂示例，446-450[Zbl 1462.65028号]马克·莫里格（Marc Morrig）；斯特凡·席拉，《使用公共子表达式评估表达式标记时的精确驱动计算：问题和解决方案》，451-465[Zbl 1460.65018号]奥利维埃·伯内兹（Olivier Bournez）；丹尼尔·格拉萨（Daniel S.Graça）。；阿默里·波利，无界域上多项式微分方程的严格数值计算，469-473[兹比尔1460.65088]Franz Brauße；科洛维纳、玛格丽塔；诺伯特·米勒，在精确实数运算中使用泰勒模型，474-488[Zbl 1460.65049号]弗雷，雨果；马丁·齐格勒，关于\（mathcal{C}[0；1]\）上正线性泛函的计算复杂性，489-504[Zbl 1460.03015号]施罗德，马提亚斯；弗洛里安·斯坦伯格（Florian Steinberg）；马丁·齐格勒，实函数的平均情形位复杂性理论，505-519[Zbl 1460.03016号]乔里斯·范德霍温，证明动力系统的轨迹，520-532[Zbl 1460.37078号]马可·兰格，一种新的基于矩阵分裂的二次分配问题松弛方法，535-549[Zbl 1460.90102号]多米尼克·莫内；尼宁，约旦；贝诺伊·克莱门特，（H_\infty）问题的全局优化：在结构约束下鲁棒控制综合中的应用，550-554[Zbl 1460.93032号]约旦尼宁，基于承包商编程的全局优化：IBEX库概述，555-559[Zbl 1460.65080号]巴盖什·帕蒂尔。，多元多项式MINLP约束全局优化的Bernstein分枝剪枝算法，560-575[Zbl 1460.90116号]卡洛斯·阿梅恩多拉；德顿，马蒂亚斯；伯恩德·斯图尔姆费尔斯，高斯混合的最大似然估计是超越的，579-590[Zbl 1460.62081号]巴特拉、普拉珊，关于一些根基的质量，591-595[Zbl 1460.26014号]Jean-Guillaume杜马；多米尼克·杜瓦尔；埃基奇、伯拉克；Damien Pous；珍妮·克劳德·雷纳德，相对Hilbert-Post异常完整性，596-610[Zbl 1460.68024号]鲁文沃尔特；库巴特，托尔；沃尔夫冈库奇林，汽车配置的最佳覆盖范围，611-626[Zbl 1460.90081号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65-06 与数值分析有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Kotsireas}（ed.）等人，《计算机和信息科学的数学方面》。2015年11月11-13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格（2016；Zbl 1334.68018） 全文： 内政部