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