ISSAC 2007:加拿大安大略省滑铁卢
王东明 :
符号和代数计算,国际研讨会,ISSAC 2007,加拿大安大略省滑铁卢,2007年7月28日至8月1日,会议记录。 ACM公司 2007 ,国际标准图书编号 978-1-59593-743-8
投稿论文
穆雷·A·巴卡图 , Eckhard Pflügel公司 :
通过moser约简计算线性微分方程组的超可约形式:一种新方法。 1-8 达里奥·安德烈亚·比尼 , 保拉·博伊托 :
基于结构化矩阵的gcd多项式方法:分析和比较。 9-16 马可·博德拉托 , 阿尔贝托·扎诺尼 :
整数和多项式乘法:实现最佳toom-cook矩阵。 17-24 阿林·博斯坦 , Frédéric Chyzak奶酪 , 布鲁诺·萨维 , 格雷戈伊尔·勒塞夫 , 埃里克·肖斯特 :
代数函数的微分方程。 25-32 阿林·博斯坦 , 克劳德·皮埃尔·珍妮罗德 , 埃里克·肖斯特 :
求解具有大位移秩的toeplitz型和vandermonde型线性系统。 33-40 默里·R·布雷姆纳 , 迈克尔·汉考克 , 云峰飘 :
形式语言生物运算产生的多项式代数上的非结合结构:计算机代数在非结合系统中的应用。 41-48 阿兰·布莱托 , 吕克·吉利伯特 :
笼问题的G-图:一个新的上界。 49-53 克里斯托弗·布朗 , 詹姆斯·达文波特 :
量词消除和柱面代数分解的复杂性。 54-60 彼得·布尔吉塞 , 彼得·谢卜勒 :
计算代数几何中的微分形式。 61-68 劳伦特·巴塞 , 马克·多姆 :
通过线性合成隐式化代数曲面的双齐次参数化。 69-76 雅克·卡雷特 :
分段定义函数的标准形式。 77-84 霍华德·程 , 纪尧姆·汉洛 , 伊曼纽尔·托美 , 保罗·齐默尔曼 , 尤金·V·齐马 :
一些超几何常数的时空效率评估。 85-91 金山成 , 小山高 , 芝麻坑 :
零维三角系统实零点的完全数值隔离。 92-99 塞雷娜·西卡 , 威廉·德格拉夫 :
非关联gröbner基,有限列环和engel条件。 100-107 罗伯特·M·科尔利斯 , 达维特·阿塞法 :
带maple的Jeffery-hamel流:cas中椭圆函数积分的案例研究。 108-115 罗伯特·M·科尔利斯 , 慧鼎 , 大卫·J·杰弗里 :
解决方案 秒 经验( 秒 ) = 一 并不总是兰伯特 w个 的功能 一 . 116-121 埃琳娜·迪米特洛娃 , 阿卜杜勒·萨拉姆·贾拉 , Reinhard C.Laubenbacher公司 , 布兰迪林·斯蒂格勒 :
生化网络建模的Gröbner fan方法。 122-126 迪米特里奥斯·迪奥奇诺 , Ioannis Z.埃米利斯 , Elias P.Tsigaridas公司 :
关于实解二元系统的复杂性。 127-134 劳夫·德里迪 , 米歇尔·佩蒂特 :
基于cartan等效方法的新型常微分方程求解器。 135-142 韦恩·埃贝里 , 马克·吉斯布雷希特 , 帕斯卡·乔治 , 阿恩·斯托约翰恩 , 吉尔斯·维拉德 :
使用高效块投影进行更快的反演和其他黑盒矩阵计算。 143-150 阿诺·艾根威利 , 迈克尔·科伯 , 尼古拉·沃尔珀特 :
实代数平面曲线的快速精确几何分析。 151-158 穆罕默德·埃尔卡迪 , 安德烈·加利戈 :
具有两个分离变量的三多项式系统。 159-166 皮尔里克·高德利 , 亚历山大·克鲁帕 , 保罗·齐默尔曼 :
基于gmp的schönhage-strassen大整数乘法算法的实现。 167-174 卢卡·杰米尼亚尼 :
多项式寻根的结构化矩阵方法。 175-180 蒂莫·汉克 :
循环代数的同构问题及其应用。 181-186 赛义德·穆罕默德·马赫迪·贾瓦迪 , 迈克尔·莫纳根 :
代数函数域上多项式的稀疏模GCD算法。 187-194 杰里米·约翰逊 , 徐旭 :
生成对称DFT和等变FFT算法。 195-202 埃里希·卡尔托芬 , 杨正峰 :
稀疏有理函数的精确插值和近似插值。 203-210 菅野雅明 , 横山和弘 , 阿奈Hirokazu , 原信治 :
在控制中使用参数多项式谱分解的根之和进行参数优化。 211-218 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
带有根式表达式的符号求和。 219-226 Pramook Khungurn公司 , Sekigawa广岛 , 白山清(Kiyoshi Shirayanagi) :
实多项式GCD QR分解算法的最小收敛精度。 227-234 丹尼尔·昆克尔 , 吉恩·库珀曼 :
对于魔方来说,二十六个动作就足够了。 235-242 久田洋介 , Masayuki Noro公司 :
使用模块化动态评估计算离散综合Gröbner基。 243-250 亚历山大·莱文 :
Gröbner基关于几个项序和多元维多项式。 251-260 李洪波 :
符号几何计算的秘诀:长几何积、BREEFS和Clifford因式分解。 261-268 辛莉(Xin Li) , 马克·莫雷诺·马扎 , 埃里克·肖斯特 :
三角集的快速算法:从理论到实践。 269-276 约翰·P·梅 , 大卫·桑德尔斯 , 镇东湾 :
高效的矩阵秩计算及其在强正则图研究中的应用。 277-284 P.米哈伊莱斯库 , 弗朗索瓦·莫林 , 埃里克·肖斯特 :
使用阿贝尔提升计算Schoof-Elkies-Atkin算法中的特征值。 285-292 宫本一美 :
由传递置换群计算一些乘齐次超模式。 293-298 Katsusuke Nabeshima公司 :
计算综合Gröbner系统的算法的加速。 299-306 Clément Pernet公司 , 阿恩·斯托约翰恩 :
特征多项式的快速算法。 307-314 埃里克·罗宾逊 , 尤尔根·米勒 , 吉恩·库珀曼 :
一种基于磁盘的并行实现,用于直接压缩大型置换模块。 315-322 詹姆斯·鲁福 :
Drinfel’d Lagrangian Grassmannian的矫直定律。 323-330 Sekigawa广岛 :
关于实区间多项式的实因子。 331-338 维克拉姆·夏尔马 :
使用连续分数的实际根隔离的复杂性。 339-346 雅各布·N·史密斯 , 加布里埃尔·多斯·里斯 , 贾科·贾尔维 :
公理中的算法微分。 347-354 马克·范·霍伊 :
用二阶方程求解三阶线性微分方程。 355-360 吉尔斯·维拉德 :
QR因子R和格点基约化的证明。 361-368 约阿希姆·冯·祖尔·盖森 :
计算可约和奇异二元多项式。 369-376 吴文元 , 格雷格·里德 :
PDE隐式riquier基的符号数字计算。 377-386
教程
大卫·A·考克斯 :
Gröbner基地:最近发展的样本。 387-388 F.施瓦茨 :
线性微分方程的Loewy分解。 389-390 吉尔斯·维拉德 :
精确线性代数及其相关问题的一些最新进展。 391-392