The SCEAS System
| |||||||

## Search the dblp DataBase
Shang-Ching Chou:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
**Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1996, pp:171-188 [Conf] - Shang-Ching Chou
**GEO-Prover - A Geometry Theorem Prover Developed at UT.**[Citation Graph (0, 0)][DBLP] CADE, 1986, pp:679-680 [Conf] - Shang-Ching Chou
**A Geometry Theorem Prover for Macintoshes.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:686-690 [Conf] - Shang-Ching Chou, Xiao-Shan Gao
**Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:207-220 [Conf] - Shang-Ching Chou, Xiao-Shan Gao
**Proving Geometry Statements of Constructive Type.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:20-34 [Conf] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**An Introduction to Geometry Expert.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:235-239 [Conf] - Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao
**Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:401-415 [Conf] - Min Tang, Jinxiang Dong, Shang-Ching Chou
**Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models.**[Citation Graph (0, 0)][DBLP] Computer Graphics International, 2006, pp:538-545 [Conf] - Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong
**Real-Time Selective Scene Transfer.**[Citation Graph (0, 0)][DBLP] CSCWD (Selected papers), 2004, pp:299-308 [Conf] - Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou
**An Effective Approach to Compression and Transmission of Feature-Based Models.**[Citation Graph (0, 0)][DBLP] CSCWD (Selected papers), 2005, pp:424-433 [Conf] - Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
**Real-Time Rain Simulation.**[Citation Graph (0, 0)][DBLP] CSCWD (Selected papers), 2005, pp:626-635 [Conf] - Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
**Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.**[Citation Graph (0, 0)][DBLP] ICCI, 1993, pp:354-358 [Conf] - Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
**Automatic Theorem Generation in Plane Geometry.**[Citation Graph (0, 0)][DBLP] ISMIS, 1993, pp:415-424 [Conf] - Shang-Ching Chou
**Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.**[Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:255-260 [Conf] - Shang-Ching Chou, Xiao-Shan Gao
**Methods for Mechanical Geometry Formula Deriving.**[Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:265-270 [Conf] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**Automated Geometry Theorem Proving by Vector Calculation.**[Citation Graph (0, 0)][DBLP] ISSAC, 1993, pp:284-291 [Conf] - Xiao-Shan Gao, Shang-Ching Chou
**Computations with Parametric Equations.**[Citation Graph (0, 0)][DBLP] ISSAC, 1991, pp:122-127 [Conf] - Xiao-Shan Gao, Shang-Ching Chou
**Solving Parametric Algebraic Systems.**[Citation Graph (0, 0)][DBLP] ISSAC, 1992, pp:335-341 [Conf] - Shang-Ching Chou, Xiao-Shan Gao
**Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.**[Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:1-12 [Conf] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**Automated Production of Traditional Proofs for Constructive Geometry Theorems**[Citation Graph (0, 0)][DBLP] LICS, 1993, pp:48-56 [Conf] - Shang-Ching Chou, Hai-Ping Ko
**On Mechanical Theorem Proving in Minkowskian Plane Geometry**[Citation Graph (0, 0)][DBLP] LICS, 1986, pp:187-192 [Conf] - Xiao-Shan Gao, Shang-Ching Chou
**On the Parameteriation of Algebraic Curves.**[Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 1992, v:3, n:, pp:27-38 [Journal] - Shang-Ching Chou, William F. Schelter, Jin-Gen Yang
**An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry.**[Citation Graph (0, 0)][DBLP] Algorithmica, 1990, v:5, n:2, pp:147-154 [Journal] - Shang-Ching Chou, Jin-Gen Yang
**On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving.**[Citation Graph (0, 0)][DBLP] Algorithmica, 1989, v:4, n:2, pp:237-262 [Journal] - Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao
**Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:13, n:1-2, pp:109-138 [Journal] - Xiao-Shan Gao, Shang-Ching Chou
**Solving geometric constraint systems. I. A global propagation approach.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 1998, v:30, n:1, pp:47-54 [Journal] - Xiao-Shan Gao, Shang-Ching Chou
**Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 1998, v:30, n:2, pp:115-122 [Journal] - Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao
**Geometric constraint satisfaction using optimization methods.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 1999, v:31, n:14, pp:867-879 [Journal] - Xiao-Shan Gao, Shang-Ching Chou
**On the normal parametrization of curves and surfaces.**[Citation Graph (0, 0)][DBLP] Int. J. Comput. Geometry Appl., 1991, v:1, n:2, pp:125-136 [Journal] - Shang-Ching Chou
**A Method for the Mechanical Derivation of Formulas in Elementary Geometry.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:3, pp:291-299 [Journal] - Shang-Ching Chou
**An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1988, v:4, n:3, pp:237-267 [Journal] - Shang-Ching Chou, Xiao-Shan Gao
**Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:2, pp:161-172 [Journal] - Shang-Ching Chou, Xiao-Shan Gao
**Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:2, pp:173-189 [Journal] - Shang-Ching Chou, Xiao-Shan Gao
**Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:17, n:3, pp:325-347 [Journal] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:25, n:3, pp:219-246 [Journal] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**Automated Production of Traditional Proofs in Solid Geometry.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1995, v:14, n:2, pp:257-291 [Journal] - Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
**Automated Generation of Readable Proofs with Geometric Invariants.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:17, n:3, pp:349-370 [Journal] - Shang-Ching Chou, William F. Schelter
**Proving Geometry Theorems with Rewrite Rules.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:3, pp:253-273 [Journal] - Xiao-Shan Gao, Shang-Ching Chou
**Implicitization of Rational Parametric Equations.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1992, v:14, n:5, pp:459-470 [Journal] - Xiao-Shan Gao, Shang-Ching Chou
**A Zero Structure Theorem for Differential Parametric Systems.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:16, n:6, pp:585-595 [Journal] - Min Tang, Shang-Ching Chou, Jinxiang Dong
**Conflicts classification and solving for collaborative feature modeling.**[Citation Graph (0, 0)][DBLP] Advanced Engineering Informatics, 2007, v:21, n:2, pp:211-219 [Journal] - Ming Li, Xiao-Shan Gao, Shang-Ching Chou
**Quadratic approximation to plane parametric curves and its application in approximate implicitization.**[Citation Graph (0, 0)][DBLP] The Visual Computer, 2006, v:22, n:9-11, pp:906-917 [Journal] **Concurrency conflicts solving for collaborative feature modeling.**[Citation Graph (, )][DBLP]**Model compression and transmission in collaborative CAD.**[Citation Graph (, )][DBLP]**Real-time rendering of raining animation based on the graphics hardware acceleration.**[Citation Graph (, )][DBLP]**Collaborative virtual environment for feature based modeling.**[Citation Graph (, )][DBLP]
Search in 0.000secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |