ALGEBRAIC METHODS FOR GEOMETRIC REASONING

被引：29

作者：

BUCHBERGER, B ^{[1
]}

COLLINS, GE ^{[1
]}

KUTZLER, B ^{[1
]}

机构：

[1] OHIO STATE UNIV,DEPT COMP SCI,COLUMBUS,OH 43210

来源：

关键词：

D O I：

10.1146/annurev.cs.03.060188.000505

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：85 / 119

页数：35

相关论文

共 67 条

[31]

HOPCROFT JE, 1986, ADV ROBOTICS, V1

[32]

KAPUR D, 1986, JUL P S SYMB ALG COM, P202

[33]

Knuth D. E., 1969, ART COMPUTER PROGRAM, V2

[34]

KO HP, 1985, 85CRD139 GEN EL TECH

[35]

KOZEN D, 1989, IN PRESS J SYMB COMP

[36]

KREDEL H, 1987, JUN P EUR C COMP ALG

[37]

KUSCHE K, 1987, JUN P EUR C COMP ALG

[38]

KUTZLER B, 1986, JUL P COMP MATH STAN

[39]

KUTZLER B, 1986, JUL P S SYMB ALG COM, P209

[40]

KUTZLER B, 1988, THESIS U LINZ AUSTRI