Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540397281, 9783540397304

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enhanced Theorem Reuse by Partial Theory Inclusions

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_6 ◽

2006 ◽

pp. 40-52

Author(s):

Immanuel Normann

Download Full-text

Semantic Guidance for Saturation Provers

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_4 ◽

2006 ◽

pp. 18-24 ◽

Cited By ~ 1

Author(s):

William McCune

Keyword(s):

Semantic Guidance

Download Full-text

A Full System of Invariants for Third-Order Linear Partial Differential Operators

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_11 ◽

2006 ◽

pp. 106-115 ◽

Cited By ~ 3

Author(s):

Ekaterina Shemyakova

Keyword(s):

Differential Operators ◽

Third Order ◽

Full System ◽

Partial Differential ◽

Order Linear ◽

Partial Differential Operators ◽

Linear Partial Differential Operators

Download Full-text

Quantifier Elimination for Quartics

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_13 ◽

2006 ◽

pp. 131-145 ◽

Cited By ~ 1

Author(s):

Lu Yang ◽

Bican Xia

Keyword(s):

Quantifier Elimination

Download Full-text

Solving Dynamic Geometric Constraints Involving Inequalities

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_17 ◽

2006 ◽

pp. 181-195

Author(s):

Hoon Hong ◽

Liyun Li ◽

Tielin Liang ◽

Dongming Wang

Keyword(s):

Geometric Constraints

Download Full-text

A New Definition for Passivity and Its Relation to Coherence

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_10 ◽

2006 ◽

pp. 94-105

Author(s):

Moritz Minzlaff ◽

Jacques Calmet

Download Full-text

Interactive Mathematical Documents

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_1 ◽

2006 ◽

pp. 1-1

Author(s):

Arjeh M. Cohen

Download Full-text

Finding Relations Among Linear Constraints

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_20 ◽

2006 ◽

pp. 226-240 ◽

Cited By ~ 4

Author(s):

Jun Yan ◽

Jian Zhang ◽

Zhongxing Xu

Keyword(s):

Linear Constraints

Download Full-text

Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_9 ◽

2006 ◽

pp. 82-93 ◽

Cited By ~ 4

Author(s):

Yong-Bin Li

Download Full-text

Implicitization of Rational Curves

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_15 ◽

2006 ◽

pp. 160-169

Author(s):

Yongli Sun ◽

Jianping Yu

Keyword(s):

Rational Curves

Download Full-text

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Enhanced Theorem Reuse by Partial Theory Inclusions

Semantic Guidance for Saturation Provers

A Full System of Invariants for Third-Order Linear Partial Differential Operators

Quantifier Elimination for Quartics

Solving Dynamic Geometric Constraints Involving Inequalities

A New Definition for Passivity and Its Relation to Coherence

Interactive Mathematical Documents

Finding Relations Among Linear Constraints

Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer

Implicitization of Rational Curves

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications