Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
复制标题
2007年符号与代数计算国际研讨会论文集
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Dongming Wang
中科院分区：
文献类型：
--
作者：
Dongming Wang
2007年符号与代数计算国际研讨会（ISSAC）是该名称年度系列中的第20次会议。该系列的早期会议以SYMSAC、SYMSAM、EUROCAL和EUROCAM的缩写名称举行，可追溯到1966年在华盛顿举行的由ACM主办的第一次会议。今年的会议将于7月29日至8月1日在加拿大滑铁卢举行，这是ISSAC名称成立前的最后一次会议。会议致力于计算机代数的研究，包括以下内容
数学家。代数、符号和符号数字算法。简化，函数操作，方程，求和，积分，ODE/PDE，线性代数，数论，群论和几何计算。
计算机科学符号计算的理论与实践问题。系统、问题解决环境、用户界面、软件、库、并行/分布式计算和编程语言，用于符号计算、分析、基准测试、计算机代数算法的复杂性、自动微分、代码生成、数学数据结构和交换协议。
应用.以基本或新颖的方式使用代数，符号或符号-数值计算的问题处理。工程、经济和金融、物理和生物科学、计算机科学、逻辑、数学、统计、教育。
.
按照惯例，ISSAC 2007以邀请演讲、贡献论文、海报、教程和软件演示为特色。这些会议记录包含了贡献的论文和教程的摘要。海报摘要将出现在SIGSAM公告的未来问题，现在题为计算机代数中的ACM通信。还有几个与会议相关的卫星活动。特别是我们提到符号-数值计算（SNC）2007和并行符号计算（PASCO）2007，都是在西安大略大学举行的ISSAC 2007之前。
今年有98篇论文提交给ISSAC。项目委员会经过仔细评估，包括每份提交的两份或更多的裁判报告（平均近3.5份），选择了出现在这些程序中的50篇论文。我们衷心感谢程序委员会成员和裁判的全面和重要的工作，他们的名字出现在下面的页面，并感谢所有的作者和讲师的贡献。
The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2007 is the 20th meeting in the annual series of that name. Earlier meetings in the series were held variously under the abbreviated names SYMSAC, SYMSAM, EUROCAL and EUROCAM, tracing back to the first meeting, sponsored by ACM, in Washington, DC, in 1966. This year the meeting returns to Waterloo, Canada -- the site of the last meeting prior to the establishment of the ISSAC name -- from July 29th through August 1st. The meeting is devoted to research in computer algebra, covering the following
Algorithmic Mathematics. Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group-theoretic and geometric computing.
Computer Science. Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel/distributed computing and programming languages for symbolic computation, analysis, benchmarking, complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols.
Applications. Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education.
.
As is customary, ISSAC 2007 features invited talks, contributed papers, posters, tutorials, and software demos. These proceedings contain the contributed papers and abstracts of the tutorials. Poster abstracts will appear in a future issue of the SIGSAM Bulletin now entitled ACM Communications in Computer Algebra. There are also several satellite events associated with the conference. In particular we mention Symbolic-Numeric Computation (SNC) 2007 and Parallel Symbolic Computation (PASCO) 2007, both held at the University of Western Ontario just prior to ISSAC 2007.
There were 98 papers submitted to ISSAC this year. The program committee selected the 50 papers appearing in these proceedings after careful evaluation including two or more referee reports (nearly 3.5 on average) per submission. We gratefully acknowledge the thorough and important work of the program committee members and referees, whose names appear on the following pages, and thank all the authors and lecturers for their contributions.