The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Shang-Ching Chou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Shang-Ching Chou
    GEO-Prover - A Geometry Theorem Prover Developed at UT. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:679-680 [Conf]
  3. Shang-Ching Chou
    A Geometry Theorem Prover for Macintoshes. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:686-690 [Conf]
  4. 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]
  5. Shang-Ching Chou, Xiao-Shan Gao
    Proving Geometry Statements of Constructive Type. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:20-34 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Shang-Ching Chou, Xiao-Shan Gao
    Methods for Mechanical Geometry Formula Deriving. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:265-270 [Conf]
  16. 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]
  17. Xiao-Shan Gao, Shang-Ching Chou
    Computations with Parametric Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:122-127 [Conf]
  18. Xiao-Shan Gao, Shang-Ching Chou
    Solving Parametric Algebraic Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:335-341 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]

  43. Concurrency conflicts solving for collaborative feature modeling. [Citation Graph (, )][DBLP]


  44. Model compression and transmission in collaborative CAD. [Citation Graph (, )][DBLP]


  45. Real-time rendering of raining animation based on the graphics hardware acceleration. [Citation Graph (, )][DBLP]


  46. Collaborative virtual environment for feature based modeling. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002