按照惯例,ISSAC 2007举办特邀报告,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前的西安大略大学举行的2007年符号数字计算(SNC)和2007年并行符号计算(PASCO)。年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:魔方的二十二步就足够了
机译:魔方® sup>只需二十十二步
机译:激励措施:Rubik的零售商立方体:保持频繁的变化对于交易至关重要
机译:二十六次移动足以让Rubik的立方体
机译:Robot Rubik的立方体解决:连续操纵的预接感感
机译:厌氧菌的鉴定和抗菌药敏试验:鲁比克的临床微生物学多维数据集?
机译:对于魔方而言,二十六步就足够了