E-Book, Englisch, 269 Seiten, eBook
Calmet / Ida / Wang Artificial Intelligence and Symbolic Computation
2006
ISBN: 978-3-540-39730-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
E-Book, Englisch, 269 Seiten, eBook
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-39730-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
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.