6.MACIS 2015:德国柏林
伊利亚斯·科齐里亚斯 , 齐格弗里德·M·朗普 , Chee K.Yap先生 :
计算机和信息科学的数学方面——第六届国际会议,2015年11月11日至13日,德国柏林,MACIS,修订论文集。 计算机科学课堂讲稿 9582, 施普林格 2016 ,国际标准图书编号 978-3-319-32858-4
受邀论文
扬科·伯姆 , Wolfram Decker公司 , 西蒙·凯彻 , 岳仁 :
开发开源计算机代数系统的当前挑战。 3-24 克劳德·皮埃尔·让内罗德 :
利用浮点运算的结构。 25-34 李洪波 :
用高级不变代数进行符号几何推理。 35-49 Günter Rote公司 :
三维和四维点集的一致性测试.结果和技术。 50-59
曲线和曲面
安德烈亚斯·拜尔 , 于柳 , 休伯特·马拉 , 苏珊·克伦克尔 :
通过随机凸边仿射特征对外表面零件进行网格简化。 63-77 雷米·伊姆巴赫 , 纪尧姆·莫罗兹 , 马克·波杰 :
光滑空间曲线投影奇点的数值隔离和认证。 78-92 谢尔盖·西多罗夫 :
线性k-单调保持算法及其逼近性质。 93-106
应用代数几何
丹尼尔·A·制动器 , 丹尼尔·贝茨 , 瓦赫坦·普卡拉泽 , 安东尼·马西耶夫斯基 :
协作机器人的工作空间多样性和容错性。 109-123 丹尼尔·A·制动器 , 乔纳森·德·豪恩斯坦 , 安德鲁·桑梅斯 :
数值局部不可约分解。 124-129 彼得·布尔吉塞 , 凯思琳·科恩 , 皮埃尔·莱雷斯 , 伯恩德·斯图尔姆费尔斯 :
计算二次空间曲线的Chow多样性。 130-136 诺亚·S·达利奥 , 乔纳森·德·豪恩斯坦 :
算术Gorenstein性质的广义简化投影格式的数值测试。 137-142 佩特库塔斯 :
关于数域上显同构问题的一些结果。 143-148
密码学
彼得·古特 , 沃尔克·克鲁梅尔 :
在基于累加器的智能卡体系结构上实现密码配对。 151-165 约翰内斯·布尔默(Johannes Blömer) , 雅各布·朱恩克 , 尼尔斯·洛肯 :
具有分布式可追溯性的短组签名。 166-180 阿格内斯之吻 , 朱利安·克雷默 , 安克·斯图贝尔 :
CLEFIA差动故障分析的最优性。 181-196
验证的数值计算
木下武彦 , 渡边吉隆 , 中尾光弘(Mitsuhiro T.Nakao) :
H(H) 三 和H 4 多边形域上泊松方程的正则性。 199-201 冈山通崎 :
用Sinc方法修正数值迭代积分的显式误差界。 202-217 Akitoshi Takayasu公司 , 水口真本 , Takayuki Kubo公司 , Shin’ichi Oishi先生 :
使用演化算子验证半线性抛物方程解的计算。 218-223 山中直哉 , 冈山通崎 , Shin’ichi Oishi先生 :
在半无限区间上使用双指数公式验证实Gamma函数的误差界。 224-228
多项式系统求解
藤崎良彦 , 伊瓦内 , 佐藤义介 :
改进CGS-QE算法。 231-235 小林文弘 , 伊瓦内 , 松崎拓哉 , 阿奈Hirokazu :
非正则公式实量词消除的有效子公式阶。 236-251 Katsusuke Nabeshima公司 , 田岛信一 :
利用Gröbner基求解收敛幂级数环中的扩展理想成员问题。 252-267年 弗兰克·马·奎登菲尔德 , 克里斯托弗·沃尔夫 :
Trivium的高级代数攻击。 268-282
管理海量数据
萨尔瓦托尔·阿罗妮卡 , 阿莱西奥·兰吉乌 , 弗朗西丝卡·马尔齐 , 萨尔瓦托尔·马佐拉 , 菲利波偏头痛 , 朱利奥·纳齐科内 :
压缩大数据:当收敛到熵的速度很重要时。 285至289 杰奎琳·戴金 , 米尔卡·米勒 , 乔·瑞恩 :
时间推理的趋势:约束、图和姿势。 290-304 约阿希姆·吉森 , 塞伦·劳厄 , 延斯·穆勒 :
从压缩支持向量机重建稀疏解。 305-319 托马斯·科祖马卡 , 雅库布·拉多舍夫斯基 , 巴特洛米耶·维斯涅夫斯基 :
阿贝尔弦论问题的亚二次时间算法。 320-334 Velislava Stoykova公司 :
使用统计搜索发现政治词汇的语义关系——来自保加利亚-Slovak EUROPARL 7语料库的证据。 335-339
微分方程和差分方程的计算理论
詹姆斯·弗雷塔格 , 魏丽 :
简单微分场扩展和有效界。 343-357 理查德·古斯塔夫森 , 奥马尔·莱昂·桑切斯 :
微分场扩张存在性的一个新界。 358-361 亚历山大·莱文 :
逆差分域扩展的中间域的维数多项式。 362-376 格勒布·波古丁 :
微分代数中的“多项式移位”技巧。 377-379
数据和知识探索
文雅安 , 陈晓宇(Xiaoyu Chen) , 王东明 :
使用从图中检索的特征搜索几何定理。 383-397 瓦德·布瓦格尔 , 埃姆娜·穆埃利 , 加齐·贝尔·穆夫蒂 :
基于生物数据冗余特征的实例特征选择新方法。 398-405 拉杜·汉巴桑 , 迈克尔·科尔哈斯 :
分面搜索数学。 406-420 Shizuka Shirai先生 , 福井忠雄 :
将线性字符串转换为输入法数学公式的预测算法的评估。 421-425
几何计算中的算法工程
迈克尔·乔斯维格 , 乔治·洛霍 , 本杰明·洛伦茨 , 本杰明·施罗德 :
Puiseux分数域上的线性规划和凸壳。 429-445 马克·莫里格 :
平面凸壳计算中鲁棒性问题的另一个课堂例子。 446-450 马克·莫里格 , 斯特凡·席拉 :
表达式评估中的精确驱动计算——带公共子表达式的Dags:问题与解决方案。 451-465
实际复杂性: 理论与实践
奥利维尔·伯内斯 , 丹尼尔·席尔瓦·格拉萨 , 阿默里·波利 :
无界域上多项式微分方程的严格数值计算。 469-473 Franz Brauße公司 , 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 , 诺伯特·米勒 :
在精确实数算法中使用泰勒模型。 474-488 雨果·弗雷 , 马丁·齐格勒 :
关于正线性泛函的计算复杂性 C类 [0;1]. 489-504 马蒂亚斯·施罗德 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
实函数的平均情形位复杂理论。 505-519 乔里斯·范德霍温 :
证明动力系统的轨迹。 520-532
全局优化
马尔科·兰格 :
二次指派问题的一种新的基于矩阵分裂的松弛方法。 535-549 多米尼克·莫内 , 乔丹·尼宁 , 贝诺伊·克莱门特 :
H的全局优化 ∞ 问题:应用于结构约束下的鲁棒控制综合。 550至554 乔丹·尼宁 :
基于承包商编程的全局优化:IBEX库概述。 555-559 巴盖什·V·帕蒂尔 :
多元多项式MINLP约束全局优化的Bernstein Branch-and-Prune算法。 560-575
大会
卡洛斯·阿梅恩多拉 , 马蒂亚斯·德顿 , 伯恩德·斯图尔姆费尔斯 :
高斯混合的最大似然估计是先验的。 579-590 Prashant Batra公司 :
关于某些根边界的性质。 591-595 Jean-Guillaume Dumas女士 , 多米尼克·杜瓦尔 , 伯拉克·埃基奇 , 达米安·普斯 , Jean-Claude雷诺 :
例外情况的相对Hilbert-Post完整性。 596-610 鲁文·沃尔特 , 托尔·库巴特 , 沃尔夫冈·库奇林 :
汽车配置的最佳覆盖范围。 611-626