8. AISC 2006: Beijing, China

Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.): Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Lecture Notes in Computer Science 4120 Springer 2006, ISBN 3-540-39728-0 BibTeX

Invited Presentations

Arjeh M. Cohen:
Interactive Mathematical Documents. 1
Electronic Edition (link) BibTeX
Heisuke Hironaka:
Algebra and Geometry. 2
Electronic Edition (link) BibTeX
Wei Li:
An Inductive Inference System and Its Rationality. 3-17
Electronic Edition (link) BibTeX
William McCune:
Semantic Guidance for Saturation Provers. 18-24
Electronic Edition (link) BibTeX

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio:
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. 25-39
Electronic Edition (link) BibTeX
Immanuel Normann:
Enhanced Theorem Reuse by Partial Theory Inclusions. 40-52
Electronic Edition (link) BibTeX
Khalil Djelloul, Thi-Bich-Hanh Dao:
Extension of First-Order Theories into Trees. 53-67
Electronic Edition (link) BibTeX
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard:
The Confluence Problem for Flat TRSs. 68-81
Electronic Edition (link) BibTeX

Yong-Bin Li:
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer. 82-93
Electronic Edition (link) BibTeX
Moritz Minzlaff, Jacques Calmet:
A New Definition for Passivity and Its Relation to Coherence. 94-105
Electronic Edition (link) BibTeX
Ekaterina Shemyakova:
A Full System of Invariants for Third-Order Linear Partial Differential Operators. 106-115
Electronic Edition (link) BibTeX
Songxin Liang, David J. Jeffrey:
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. 116-130
Electronic Edition (link) BibTeX
Lu Yang, Bican Xia:
Quantifier Elimination for Quartics. 131-145
Electronic Edition (link) BibTeX
Weikun Sun, Hongbo Li:
On the Mixed Cayley-Sylvester Resultant Matrix. 146-159
Electronic Edition (link) BibTeX
Yongli Sun, Jianping Yu:
Implicitization of Rational Curves. 160-169
Electronic Edition (link) BibTeX
Philip Feinsilver, René Schott:
Operator Calculus Approach to Solving Analytic Systems. 170-180
Electronic Edition (link) BibTeX

Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities. 181-195
Electronic Edition (link) BibTeX
Stefan Ratschan, Zhikun She:
Constraints for Continuous Reachability in the Verification of Hybrid Systems. 196-210
Electronic Edition (link) BibTeX
Sheng Liu, Jian Zhang:
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. 211-225
Electronic Edition (link) BibTeX
Jun Yan, Jian Zhang, Zhongxing Xu:
Finding Relations Among Linear Constraints. 226-240
Electronic Edition (link) BibTeX

Michael Kohlhase, Ioan Sucan:
A Search Engine for Mathematical Formulae. 241-253
Electronic Edition (link) BibTeX
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan:
Hierarchical Representations with Signatures for Large Expression Management. 254-268
Electronic Edition (link) BibTeX