IMACS Applied Computer Algebra Meeting, Albuquerque, NM

IMac应用计算机代数会议，新墨西哥州阿尔伯克基，1995年5月16日至19日。这次会议集中讨论了计算机代数系统(CAS)在工程、应用数学、纯数学和教育中的应用。这是第一次这种类型的国际会议。这次会议特别及时，因为在使用深层计算机代数结果(如Grobner基和量词消去算法)及其推广方面取得了巨大进展，从而在方程、微分方程离散方法的分析和实现、控制理论和许多其他领域产生了重要结果。计算机代数技术的使用在大多数工程和科学领域迅速增长，因此传播最新技术很重要，纪律会议不涉及这一问题。

IMACS Applied Computer Algebra Meeting, Albuquerque, NM, May 16-19, l995. This meeting focused on the applications of computer algebra systems (CAS) in engineering, applied mathematics, pure mathematics, and education. It was the first international meeting of this type. This meeting was particularly timely because of the great strides made in using deep computer algebra results like the Grobner Basis and quantifier- elimination algorithms and their generalizations to produce significant results in equations, in the analysis and implementation of discrete methods for differential equations, to control theory, and to many other areas. The use of computer-algebra techniques is growing rapidly in most if not all engineering and science areas and thus the dissemination of the latest techniques is important and are not covered by disciplinary meetings.