- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 51 |      | Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao: Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. J. Autom. Reasoning 45(3): 213-241 (2010) |
| 50 | | Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao: Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. J. Autom. Reasoning 45(3): 243-266 (2010) |
| 2008 | ||
| 49 | | Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao: An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry 2008: 189-195 |
| 2007 | ||
| 48 | | Min Tang, Shang-Ching Chou, Jinxiang Dong: Conflicts classification and solving for collaborative feature modeling. Advanced Engineering Informatics 21(2): 211-219 (2007) |
| 2006 | ||
| 47 | | Min Tang, Jinxiang Dong, Shang-Ching Chou: Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. Computer Graphics International 2006: 538-545 |
| 46 | | Ming Li, Xiao-Shan Gao, Shang-Ching Chou: Quadratic approximation to plane parametric curves and its application in approximate implicitization. The Visual Computer 22(9-11): 906-917 (2006) |
| 2005 | ||
| 45 | | Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou: Real-time rain simulation in cartoon style. CAD/Graphics 2005: 6 |
| 44 | | Min Tang, Shang-Ching Chou, Jinxiang Dong: Concurrency conflicts solving for collaborative feature modeling. CSCWD (1) 2005: 50-55 |
| 43 | | Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou: Model compression and transmission in collaborative CAD. CSCWD (1) 2005: 582-587 |
| 42 | | Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou: Real-time rendering of raining animation based on the graphics hardware acceleration. CSCWD (2) 2005: 734-739 |
| 41 | | Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou: An Effective Approach to Compression and Transmission of Feature-Based Models. CSCWD (Selected papers) 2005: 424-433 |
| 40 | | Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou: Real-Time Rain Simulation. CSCWD (Selected papers) 2005: 626-635 |
| 2004 | ||
| 39 | | Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong: Real-Time Selective Scene Transfer. CSCWD (Selected papers) 2004: 299-308 |
| 38 | | Min Tang, Shang-Ching Chou, Jinxiang Dong: Collaborative virtual environment for feature based modeling. VRCAI 2004: 120-126 |
| 2001 | ||
| 37 |  | Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Geometry. Handbook of Automated Reasoning 2001: 707-749 |
| 2000 | ||
| 36 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reasoning 25(3): 219-246 (2000) |
| 1999 | ||
| 35 | | Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao: Geometric constraint satisfaction using optimization methods. Computer-Aided Design 31(14): 867-879 (1999) |
| 1998 | ||
| 34 | | Xiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. I. A global propagation approach. Computer-Aided Design 30(1): 47-54 (1998) |
| 33 | | Xiao-Shan Gao, Shang-Ching Chou: Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Computer-Aided Design 30(2): 115-122 (1998) |
| 1996 | ||
| 32 | | Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang: Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry 1996: 171-188 |
| 31 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: An Introduction to Geometry Expert. CADE 1996: 235-239 |
| 30 | | Shang-Ching Chou, Xiao-Shan Gao: Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reasoning 17(3): 325-347 (1996) |
| 29 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reasoning 17(3): 349-370 (1996) |
| 1995 | ||
| 28 | | Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao: Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. Ann. Math. Artif. Intell. 13(1-2): 109-138 (1995) |
| 27 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reasoning 14(2): 257-291 (1995) |
| 1994 | ||
| 26 | | Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao: Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. CADE 1994: 401-415 |
| 1993 | ||
| 25 | | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI 1993: 354-358 |
| 24 | | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Automatic Theorem Generation in Plane Geometry. ISMIS 1993: 415-424 |
| 23 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Geometry Theorem Proving by Vector Calculation. ISSAC 1993: 284-291 |
| 22 | | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS 1993: 48-56 |
| 21 | | 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. J. Autom. Reasoning 10(2): 161-172 (1993) |
| 20 | | Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. J. Autom. Reasoning 10(2): 173-189 (1993) |
| 19 | | Xiao-Shan Gao, Shang-Ching Chou: A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16(6): 585-595 (1993) |
| 1992 | ||
| 18 | | Shang-Ching Chou, Xiao-Shan Gao: Proving Geometry Statements of Constructive Type. CADE 1992: 20-34 |
| 17 | | Shang-Ching Chou: A Geometry Theorem Prover for Macintoshes. CADE 1992: 686-690 |
| 16 | | Xiao-Shan Gao, Shang-Ching Chou: Solving Parametric Algebraic Systems. ISSAC 1992: 335-341 |
| 15 | | Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12 |
| 14 | | Xiao-Shan Gao, Shang-Ching Chou: On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. 3: 27-38 (1992) |
| 13 | | Xiao-Shan Gao, Shang-Ching Chou: Implicitization of Rational Parametric Equations. J. Symb. Comput. 14(5): 459-470 (1992) |
| 1991 | ||
| 12 | | Xiao-Shan Gao, Shang-Ching Chou: Computations with Parametric Equations. ISSAC 1991: 122-127 |
| 11 | | Xiao-Shan Gao, Shang-Ching Chou: On the normal parametrization of curves and surfaces. Int. J. Comput. Geometry Appl. 1(2): 125-136 (1991) |
| 1990 | ||
| 10 | | Shang-Ching Chou, Xiao-Shan Gao: Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220 |
| 9 | | Shang-Ching Chou: Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. ISSAC 1990: 255-260 |
| 8 | | Shang-Ching Chou, Xiao-Shan Gao: Methods for Mechanical Geometry Formula Deriving. ISSAC 1990: 265-270 |
| 7 | | Shang-Ching Chou, William F. Schelter, Jin-Gen Yang: An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. Algorithmica 5(2): 147-154 (1990) |
| 1989 | ||
| 6 | | Shang-Ching Chou, Jin-Gen Yang: On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. Algorithmica 4(2): 237-262 (1989) |
| 1988 | ||
| 5 | | Shang-Ching Chou: An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. J. Autom. Reasoning 4(3): 237-267 (1988) |
| 1987 | ||
| 4 | | Shang-Ching Chou: A Method for the Mechanical Derivation of Formulas in Elementary Geometry. J. Autom. Reasoning 3(3): 291-299 (1987) |
| 1986 | ||
| 3 | | Shang-Ching Chou: GEO-Prover - A Geometry Theorem Prover Developed at UT. CADE 1986: 679-680 |
| 2 | | Shang-Ching Chou, Hai-Ping Ko: On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS 1986: 187-192 |
| 1 | | Shang-Ching Chou, William F. Schelter: Proving Geometry Theorems with Rewrite Rules. J. Autom. Reasoning 2(3): 253-273 (1986) |
| 1 | Rajiv Bagai | [24] [25] |
| 2 | Rong-Qin Chen | [41] [43] |
| 3 | Jinxiang Dong | [38] [39] [40] [41] [42] [43] [44] [45] [47] [48] |
| 4 | Zhong-Xin Feng | [40] [42] [45] |
| 5 | Xiao-Shan Gao | [8] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [46] [49] [50] [51] |
| 6 | Jian-Xin Ge | [35] |
| 7 | Hai-Ping Ko | [2] |
| 8 | Ming Li | [46] |
| 9 | Nicholas Freitag McPhee | [26] |
| 10 | William F. Schelter | [1] [7] |
| 11 | Vasant Shanbhogue | [24] [25] |
| 12 | Min Tang | [38] [39] [40] [41] [42] [43] [44] [45] [47] [48] |
| 13 | Jin-Gen Yang | [6] [7] |
| 14 | Lu Yang | [32] |
| 15 | Zheng Ye | [49] [50] [51] |
| 16 | Zhengming Ying | [39] |
| 17 | Jing-Zhong Zhang | [22] [23] [27] [28] [29] [31] [32] [36] |
| 18 | Jan M. Zytkow | [24] [25] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page