Buch, Englisch, 269 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 441 g
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Buch, Englisch, 269 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 441 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-39728-1
Verlag: Springer Berlin Heidelberg
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.
The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.
