04301nam 22006975 450 99646615200331620200705000014.03-540-39730-210.1007/11856290(CKB)1000000000283738(SSID)ssj0000316350(PQKBManifestationID)11224852(PQKBTitleCode)TC0000316350(PQKBWorkID)10263919(PQKB)10727101(DE-He213)978-3-540-39730-4(MiAaPQ)EBC3068240(PPN)123138108(EXLCZ)99100000000028373820100301d2006 u| 0engurnn|008mamaatxtccrArtificial Intelligence and Symbolic Computation[electronic resource] 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /edited by Jaques Calmet, Tetsuo Ida, Dongming Wang1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XIII, 269 p.) Lecture Notes in Artificial Intelligence ;4120Bibliographic Level Mode of Issuance: Monograph3-540-39728-0 Includes bibliographical references and index.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.Lecture Notes in Artificial Intelligence ;4120Artificial intelligenceComputer science—MathematicsNumerical analysisMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Computer science—Mathematics.Numerical analysis.Mathematical logic.Artificial Intelligence.Symbolic and Algebraic Manipulation.Numeric Computing.Discrete Mathematics in Computer Science.Mathematical Logic and Formal Languages.006.3Calmet Jaquesedthttp://id.loc.gov/vocabulary/relators/edtIda Tetsuoedthttp://id.loc.gov/vocabulary/relators/edtWang Dongmingedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466152003316Artificial Intelligence and Symbolic Computation772740UNISA