Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.).

By: (8th : AISC (Conference) (8th : 2006 : Beijing, China)
Contributor(s): Calmet, Jacques | Ida, Tetsuo | Wang, Dongming, 1961-
Material type: TextTextSeries: SerienbezeichnungLNCS sublibrary: ; Lecture notes in computer science: 4120.; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, 2006Description: 1 online resource (xiii, 268 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540397304; 3540397302; 3540397280; 9783540397281Other title: AISC 2006Subject(s): Artificial intelligence -- Congresses | Logic, Symbolic and mathematical -- Congresses | Intelligence artificielle -- Congrès | Logique symbolique et mathématique -- Congrès | Logic, Symbolic and mathematical | Artificial intelligence | Informatique | Artificial intelligence | Logic, Symbolic and mathematical | wiskunde | mathematics | computertechnieken | computer techniques | computerwetenschappen | computer sciences | kunstmatige intelligentie | artificial intelligence | logica | logic | numerieke methoden | numerical methods | algebra | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Artificial intelligence and symbolic computation.DDC classification: 006.3 LOC classification: Q334 | .A525 2006ebOther classification: 54.72 | TP18-532 Online resources: Click here to access online
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

There are no comments for this item.

to post a comment.

Other editions of this work

Artificial Intelligence and Symbolic Computation. ©1998

Powered by Koha