Artificial Intelligence and Symbolic Computation

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

288 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Presentations.- Interactive Mathematical Documents.- Algebra and Geometry.- An Inductive Inference System and Its Rationality.- Semantic Guidance for Saturation Provers.- Contributed Papers.- Labeled @-Calculus: Formalism for Time-Concerned Human Factors.- Enhanced Theorem Reuse by Partial Theory Inclusions.- Extension of First-Order Theories into Trees.- The Confluence Problem for Flat TRSs.- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer.- A New Definition for Passivity and Its Relation to Coherence.- A Full System of Invariants for Third-Order Linear Partial Differential Operators.- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial.- Quantifier Elimination for Quartics.- On the Mixed Cayley-Sylvester Resultant Matrix.- Implicitization of Rational Curves.- Operator Calculus Approach to Solving Analytic Systems.- Solving Dynamic Geometric Constraints Involving Inequalities.- Constraints for Continuous Reachability in the Verification of Hybrid Systems.- Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances.- Finding Relations Among Linear Constraints.- A Search Engine for Mathematical Formulae.- Hierarchical Representations with Signatures for Large Expression Management.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540397281
• Sprache: Englisch
• Erscheinungsdatum: 13.09.2006
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Dongming Wang, Jaques Calmet, Tetsuo Ida