default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th AISC 2006: Beijing, China
- Jacques Calmet, Tetsuo Ida, Dongming Wang:
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Lecture Notes in Computer Science 4120, Springer 2006, ISBN 3-540-39728-0
Invited Presentations
- Arjeh M. Cohen:
Interactive Mathematical Documents. 1 - Heisuke Hironaka:
Algebra and Geometry. 2 - Wei Li:
An Inductive Inference System and Its Rationality. 3-17 - William McCune:
Semantic Guidance for Saturation Provers. 18-24
Artificial Intelligence and Theorem Proving
- Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio:
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. 25-39 - Immanuel Normann
:
Enhanced Theorem Reuse by Partial Theory Inclusions. 40-52 - Khalil Djelloul, Thi-Bich-Hanh Dao:
Extension of First-Order Theories into Trees. 53-67 - Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard:
The Confluence Problem for Flat TRSs. 68-81
Symbolic Computation
- Yong-Bin Li:
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer. 82-93 - Moritz Minzlaff, Jacques Calmet:
A New Definition for Passivity and Its Relation to Coherence. 94-105 - Ekaterina Shemyakova:
A Full System of Invariants for Third-Order Linear Partial Differential Operators. 106-115 - Songxin Liang, David J. Jeffrey:
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. 116-130 - Lu Yang, Bican Xia:
Quantifier Elimination for Quartics. 131-145 - Weikun Sun, Hongbo Li:
On the Mixed Cayley-Sylvester Resultant Matrix. 146-159 - Yongli Sun, Jianping Yu:
Implicitization of Rational Curves. 160-169 - Philip Feinsilver, René Schott:
Operator Calculus Approach to Solving Analytic Systems. 170-180
Constraint Satisfaction/Solving
- Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities. 181-195 - Stefan Ratschan, Zhikun She:
Constraints for Continuous Reachability in the Verification of Hybrid Systems. 196-210 - Sheng Liu, Jian Zhang:
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. 211-225 - Jun Yan, Jian Zhang, Zhongxing Xu:
Finding Relations Among Linear Constraints. 226-240
Mathematical Knowledge Management
- Michael Kohlhase, Ioan Sucan:
A Search Engine for Mathematical Formulae. 241-253 - Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan:
Hierarchical Representations with Signatures for Large Expression Management. 254-268
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
