按照惯例,ISSAC 2007的特色是邀请演讲,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前在西安大略大学举行的Symbol-Numeric Computation(SNC)2007和Parallel Symbolic Computation(PASCO)2007。 p>
有98篇论文提交给ISSAC年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:具有有理函数系数的线性微分系统的超不可约形式
机译:解线性和非线性常微分方程组的微分变换方法
机译:求解偏微分方程线性和非线性系统的微分变换方法
机译:通过MOSER减少计算通过MOSER减速方程的超级IRREECUE形式的线性微分方程系统
机译:运动中的数学:微分分析器上的微分方程线性系统。
机译:用于加速对照对传感系统并行/多核平台的非线性常微分方程的贡献
机译:具有有理函数系数的线性微分系统的超不可约形式
机译:用拉普拉斯变换-V函数方程的数值解:线性微分方程的不匹配系统