E-LIB Suche - Ergebnisse für: Chou, Shang-Ching

1

Visually Dynamic Presentation of Proofs in Plane Geometry: ..:

Ye, Zheng ; Chou, Shang-Ching ; Gao, Xiao-Shan
Journal of Automated Reasoning. 45 (2009) 3 - p. 243-266 , 2009

Link: https://doi.org/10.1007/..

2

Visually Dynamic Presentation of Proofs in Plane Geometry: ..:

Ye, Zheng ; Chou, Shang-Ching ; Gao, Xiao-Shan
Journal of Automated Reasoning. 45 (2009) 3 - p. 213-241 , 2009

Link: https://doi.org/10.1007/..

3

Conflicts classification and solving for collaborative feat..:

Tang, Min ; Chou, Shang-Ching ; Dong, Jin-Xiang
Advanced Engineering Informatics. 21 (2007) 2 - p. 211-219 , 2007

Link: https://doi.org/10.1016/..

4

Quadratic approximation to plane parametric curves and its ..:

Li, Ming ; Gao, Xiao-Shan ; Chou, Shang-Ching
The Visual Computer. 22 (2006) 9-11 - p. 906-917 , 2006

Link: https://doi.org/10.1007/..

5

Collaborative virtual environment for feature based modelin:

, In: Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry,

Tang, Min ; Chou, Shang-Ching ; Dong, Jin-Xiang - p. 120-126 , 2004

Link: https://dl.acm.org/doi/1..

6

Automated Reasoning in Geometry:

, In: Handbook of Automated Reasoning,

Chou, Shang-Ching ; Gao, Xiao-Shan - p. 707-749 , 2001

Link: https://doi.org/10.1016/..

7

Automated generation of Kempe linkages for algebraic curves..:

Gao, Xiao-Shan ; Zhu, Chang-Cai ; Chou, Shang-Ching.
Mechanism and Machine Theory. 36 (2001) 9 - p. 1019-1033 , 2001

Link: https://doi.org/10.1016/..

8

Geometric theorem provers and algebraic equation solvers:

, In: Mathematics Mechanization and Applications,

Chou, Shang-Ching ; Xiao-Shan, Gao ; Zhuo-Jun, Liu.. - p. 491-505 , 2000

Link: https://doi.org/10.1016/..

9

Geometric constraint satisfaction using optimization method:

Ge, Jian-Xin ; Chou, Shang-Ching ; Gao, Xiao-Shan
Computer-Aided Design. 31 (1999) 14 - p. 867-879 , 1999

Link: https://doi.org/10.1016/..

10

Solving geometric constraint systems. I. A global propagati..:

Gao, Xiao-Shan ; Chou, Shang-Ching
Computer-Aided Design. 30 (1998) 1 - p. 47-54 , 1998

Link: https://doi.org/10.1016/..

11

Solving geometric constraint systems. II. A symbolic approa..:

Gao, Xiao-Shan ; Chou, Shang-Ching
Computer-Aided Design. 30 (1998) 2 - p. 115-122 , 1998

Link: https://doi.org/10.1016/..

12

Automated production of readable proofs for theorems in non..:

, In: Automated Deduction in Geometry; Lecture Notes in Computer Science,

Yang, Lu ; Gao, Xiao-Shan ; Chou, Shang-Ching. - p. 171-188 , 1997

Link: https://doi.org/10.1007/..

13

Automated generation of readable proofs with geometric inva..:

Chou, Shang-Ching ; Gao, Xiao-Shan ; Zhang, Jing-Zhong
Journal of Automated Reasoning. 17 (1996) 3 - p. 349-370 , 1996

Link: https://doi.org/10.1007/..

14

Automated generation of readable proofs with geometric inva..:

Chou, Shang-Ching ; Gao, Xiao-Shan ; Zhang, Jing-Zhong
Journal of Automated Reasoning. 17 (1996) 3 - p. 325-347 , 1996

Link: https://doi.org/10.1007/..

15

Automated production of traditional proofs for theorems in ..:

Zhang, Jing-Zhong ; Chou, Shang-Ching ; Gao, Xiao-Shan
Annals of Mathematics and Artificial Intelligence. 13 (1995) 1-2 - p. 109-137 , 1995

Link: https://doi.org/10.1007/..