按照惯例,ISSAC 2007举办特邀报告,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前的西安大略大学举行的2007年符号数字计算(SNC)和2007年并行符号计算(PASCO)。年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:零维三角系统中实根的完全数值隔离
机译:零维多项式系统实根隔离的基于位置的通用方法
机译:具有线性单变量表示的零维多项式系统的根隔离
机译:零维三角系统中真正的零的完整数值隔离
机译:来自零维度动态系统的At-algbras
机译:零维纳米材料在生物传感中的应用
机译:零维三角系统中实根的完全数值隔离