Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
| Σειρά: | Lecture Notes in Computer Science,
4120 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
