8. AISC 2006: Beijing, China

Invited Presentations

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

Artificial Intelligence and Theorem Proving

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

Symbolic Computation

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

Constraint Satisfaction/Solving

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

Mathematical Knowledge Management

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

Last update Wed Feb 15 03:58:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page