Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / edited by Jaques Calmet, Tetsuo Ida, Dongming Wang.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Calmet, Jaques (Editor), Ida, Tetsuo (Editor), Wang, Dongming (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:	1st ed. 2006.
Series:	Lecture Notes in Artificial Intelligence ; 4120 Springer eBook Collection.
Subjects:	Artificial intelligence. Computer science—Mathematics. Numerical analysis. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of 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.

Similar Items