Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2006

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Editors:

  1. Jacques Calmet

    1. Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tetsuo Ida

    1. Department of Computer Science, University of Tsukuba, Tsukuba, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dongming Wang

    1. LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4120)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): AISC: International Conference on Artificial Intelligence and Symbolic Computation

Conference proceedings info: AISC 2006.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    PDF

  2. Invited Presentations

    1. Interactive Mathematical Documents

      • Arjeh M. Cohen
      Pages 1-1

    2. Algebra and Geometry

      • Heisuke Hironaka
      Pages 2-2

    4. Semantic Guidance for Saturation Provers

      • William McCune
      Pages 18-24

  3. Contributed Papers

    1. Artificial Intelligence and Theorem Proving

      1. Labeled @-Calculus: Formalism for Time-Concerned Human Factors
        • Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
        Pages 25-39
      3. Extension of First-Order Theories into Trees
        • Khalil Djelloul, Thi-Bich-Hanh Dao
        Pages 53-67
      4. The Confluence Problem for Flat TRSs
        • Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard
        Pages 68-81

    2. Symbolic Computation

      2. A New Definition for Passivity and Its Relation to Coherence
        • Moritz Minzlaff, Jacques Calmet
        Pages 94-105
      5. Quantifier Elimination for Quartics
        • Lu Yang, Bican Xia
        Pages 131-145
      6. On the Mixed Cayley-Sylvester Resultant Matrix
        • Weikun Sun, Hongbo Li
        Pages 146-159
      7. Implicitization of Rational Curves
        • Yongli Sun, Jianping Yu
        Pages 160-169
      8. Operator Calculus Approach to Solving Analytic Systems
        • Philip Feinsilver, René Schott
        Pages 170-180

    3. Constraint Satisfaction/Solving

      1. Solving Dynamic Geometric Constraints Involving Inequalities
        • Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
        Pages 181-195
Back to top

Other Volumes

  1. Artificial Intelligence and Symbolic Computation

Back to top

Keywords

Back to top

Editors and Affiliations

  • Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Karlsruhe, Germany

    Jacques Calmet

  • Department of Computer Science, University of Tsukuba, Tsukuba, Japan

    Tetsuo Ida

  • LMIB – SKLSDE – School of Science, Beihang University, Beijing, China

    Dongming Wang

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation