按照惯例,ISSAC 2007的特色是邀请演讲,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前在西安大略大学举行的Symbol-Numeric Computation(SNC)2007和Parallel Symbolic Computation(PASCO)2007。 p>
有98篇论文提交给ISSAC年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:同型扰动方法在常微分方程中解决线性和非线性系统的应用及三个顺序三分之一
机译:一种求解线性分数积分微分方程和多变量阶分形差分方程的新方法
机译:基于NAOP的通用鲁棒方法用细胞神经网络求解非线性常微分方程和偏微分方程。
机译:在二阶方程方面求解三阶线性微分方程
机译:用小阶方程求解4阶齐次线性微分方程。
机译:用于加速对照对传感系统并行/多核平台的非线性常微分方程的贡献
机译:涉及奇异和布拉特型方程的线性和非线性二阶微分方程的新光谱第二种Chebyshev小波算法
机译:求解线性常微分方程的分段解析扰动级数法。 2.径向schroedinger方程