AISC 2006
8th International Conference on
Beihang University, Beijing, China     September 20-22, 2006


Accepted Papers

  1. Labeled @-Calculus: Formalism for Time-Concerned Human Factors by Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, and Masayuki Shio
  2. Enhanced Theorem Reuse by Partial Theory Inclusions by Immanuel Normann
  3. Extension of First-Order Theories into Trees by Khalil Djelloul and Thi-Bich-Hanh Dao
  4. The Confluence Problem for Flat TRSs by Ichiro Mitsuhashi, Michio Oyamaguchi, and Florent Jacquemard
  5. Some Properties of Triangular Sets and Improvement upon Algorithm CharSer by Yong-Bin Li
  6. A New Definition for Passivity and Its Relation to Coherence by Moritz Minzlaff and Jacques Calmet
  7. A Full System of Invariants for Third-Order Linear Partial Differential Operators by Ekaterina Shemyakova
  8. An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial by Songxin Liang and David J. Jeffrey
  9. Quantifier Elimination for Quartics by Lu Yang and Bican Xia
  10. On the Mixed Cayley-Sylvester Resultant Matrix by Weikun Sun and Hongbo Li
  11. Implicitization of Rational Curves by Yongli Sun and Jianping Yu
  12. Operator Calculus Approach to Solving Analytic Systems by Philip Feinsilver and René Schott
  13. Solving Dynamic Geometric Constraints Involving Inequalities by Hoon Hong, Liyun Li, Tielin Liang, and Dongming Wang
  14. Constraints for Continuous Reachability in the Verification of Hybrid Systems by Stefan Ratschan and Zhikun She
  15. Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances by Sheng Liu and Jian Zhang
  16. Finding Relations Among Linear Constraints by Jun Yan, Jian Zhang, and Zhongxing Xu
  17. A Search Engine for Mathematical Formulae by Michael Kohlhase and Ioan Sucan
  18. Hierarchical Representations with Signatures for Large Expression Management by Wenqin Zhou, Jacques Carette, David J. Jeffrey, and Michael Monagan