Cargando…
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Lecture Notes in Artificial Intelligence,
4120 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.