Abstract is missing.
- Interactive Mathematical DocumentsArjeh M. Cohen. 1 [doi]
- Algebra and GeometryHeisuke Hironaka. 2 [doi]
- An Inductive Inference System and Its RationalityWei Li. 3-17 [doi]
- Semantic Guidance for Saturation ProversWilliam McCune. 18-24 [doi]
- Labeled @-Calculus: Formalism for Time-Concerned Human FactorsTetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. 25-39 [doi]
- Enhanced Theorem Reuse by Partial Theory InclusionsImmanuel Normann. 40-52 [doi]
- Extension of First-Order Theories into TreesKhalil Djelloul, Thi-Bich-Hanh Dao. 53-67 [doi]
- The Confluence Problem for Flat TRSsIchiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard. 68-81 [doi]
- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSerYong-Bin Li. 82-93 [doi]
- A New Definition for Passivity and Its Relation to CoherenceMoritz Minzlaff, Jacques Calmet. 94-105 [doi]
- A Full System of Invariants for Third-Order Linear Partial Differential OperatorsEkaterina Shemyakova. 106-115 [doi]
- An Algorithm for Computing the Complete Root Classification of a Parametric PolynomialSongxin Liang, David J. Jeffrey. 116-130 [doi]
- Quantifier Elimination for QuarticsLu Yang, Bican Xia. 131-145 [doi]
- On the Mixed Cayley-Sylvester Resultant MatrixWeikun Sun, Hongbo Li. 146-159 [doi]
- Implicitization of Rational CurvesYongli Sun, Jianping Yu. 160-169 [doi]
- Operator Calculus Approach to Solving Analytic SystemsPhilip Feinsilver, René Schott. 170-180 [doi]
- Solving Dynamic Geometric Constraints Involving InequalitiesHoon Hong, Liyun Li, Tielin Liang, Dongming Wang. 181-195 [doi]
- Constraints for Continuous Reachability in the Verification of Hybrid SystemsStefan Ratschan, Zhikun She. 196-210 [doi]
- Using Hajós Construction to Generate Hard Graph 3-Colorability InstancesSheng Liu, Jian Zhang. 211-225 [doi]
- Finding Relations Among Linear ConstraintsJun Yan, Jian Zhang, Zhongxing Xu. 226-240 [doi]
- A Search Engine for Mathematical FormulaeMichael Kohlhase, Ioan Sucan. 241-253 [doi]
- Hierarchical Representations with Signatures for Large Expression ManagementWenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan. 254-268 [doi]