按照惯例,ISSAC 2007举办特邀报告,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前的西安大略大学举行的2007年符号数字计算(SNC)和2007年并行符号计算(PASCO)。年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:解决大位移等级的结构化线性系统
机译:使用新的秩两次更新求解全行线性系统的ABS型方法
机译:Toeplitz等级小的矩阵,具有Toeplitz系数矩阵的线性方程组不稳定系统解的某些表示形式以及解决此类系统的相关快速算法
机译:用大型位移等级解决脚趾和沃德美德般的线性系统
机译:用于求解非奇异线性系统和计算矩阵秩的随机算法。
机译:具有惯性和静态非线性的保守系统非线性大振幅振荡的解析耦合技术
机译:解决具有大位移等级的Toeplitz型和Vandermonde型线性系统
机译:用低秩更新求解线性系统