按照惯例,ISSAC 2007的特色是邀请演讲,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前在西安大略大学举行的Symbol-Numeric Computation(SNC)2007和Parallel Symbolic Computation(PASCO)2007。 p>
有98篇论文提交给ISSAC年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:基于神经计算的涉及细胞神经网络的矩阵求逆:黑盒训练概念
机译:H矩阵块的低秩表示的快速多级计算
机译:黑匣子线性代数:扩展Wiedemann对稀疏矩阵前置条件的分析,用于小范围计算
机译:使用有效的块投影更快的反转和其他黑匣子矩阵计算
机译:高效的线性矩阵求解器及其硬件实现,专用于大于大规模电力系统的实时动态仿真
机译:Fast-SNP:一种快速的矩阵预处理算法可有效地进行代谢模型的无环通量优化
机译:使用有效块预测更快速的反演和其他黑盒矩阵计算
机译:使用skewers块更快地计算像素纯度指数