Shang-Ching Chou

52 papers A* 2A 6B 5C 3Journal 23Unranked 11

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. J. Autom. Reason. Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2010	J	`jnl`	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. Reason. Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2008	—	`conf`	An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2007	J	`jnl`	Conflicts classification and solving for collaborative feature modeling. Adv. Eng. Informatics Min Tang, Shang-Ching Chou, Jinxiang Dong
2006	J	`jnl`	Quadratic approximation to plane parametric curves and its application in approximate implicitization. Vis. Comput. Ming Li, Xiao-Shan Gao, Shang-Ching Chou
2006	C	`conf`	Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. Computer Graphics International Min Tang, Jinxiang Dong, Shang-Ching Chou
2005	—	`conf`	An Effective Approach to Compression and Transmission of Feature-Based Models. CSCWD (Selected papers) Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou
2005	—	`conf`	Concurrency conflicts solving for collaborative feature modeling. CSCWD (1) Min Tang, Shang-Ching Chou, Jinxiang Dong
2005	—	`conf`	Model compression and transmission in collaborative CAD. CSCWD (1) Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou
2005	—	`conf`	Real-Time Rain Simulation. CSCWD (Selected papers) Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
2005	—	`conf`	Real-time rain simulation in cartoon style. CAD/Graphics Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
2005	—	`conf`	Real-time rendering of raining animation based on the graphics hardware acceleration. CSCWD (2) Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou
2004	—	`conf`	Collaborative virtual environment for feature based modeling. VRCAI Min Tang, Shang-Ching Chou, Jinxiang Dong
2004	—	`conf`	Real-Time Selective Scene Transfer. CSCWD (Selected papers) Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong
2001	—	`ch.`	Automated Reasoning in Geometry. Handbook of Automated Reasoning Shang-Ching Chou, Xiao-Shan Gao
2000	J	`jnl`	A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1999	J	`jnl`	Geometric constraint satisfaction using optimization methods. Comput. Aided Des. Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao
1998	J	`jnl`	Solving geometric constraint systems. I. A global propagation approach. Comput. Aided Des. Xiao-Shan Gao, Shang-Ching Chou
1998	J	`jnl`	Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Comput. Aided Des. Xiao-Shan Gao, Shang-Ching Chou
1996	A	`conf`	An Introduction to Geometry Expert. CADE Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1996	J	`jnl`	Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao
1996	J	`jnl`	Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1996	—	`conf`	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
1995	J	`jnl`	Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. Ann. Math. Artif. Intell. Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao
1995	J	`jnl`	Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1994	—	`book`	Machine proofs in geometry - automated production of readable proofs for geometry theorems. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1994	A	`conf`	Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. CADE Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao
1993	J	`jnl`	A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. Xiao-Shan Gao, Shang-Ching Chou
1993	B	`conf`	Automated Geometry Theorem Proving by Vector Calculation. ISSAC Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1993	A*	`conf`	Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1993	J	`jnl`	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. Reason. Shang-Ching Chou, Xiao-Shan Gao
1993	J	`jnl`	Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao
1993	C	`conf`	Automatic Theorem Generation in Plane Geometry. ISMIS Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
1993	C	`conf`	Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou
1992	A	`conf`	A Geometry Theorem Prover for Macintoshes. CADE Shang-Ching Chou
1992	—	`conf`	Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR Shang-Ching Chou, Xiao-Shan Gao
1992	J	`jnl`	Implicitization of Rational Parametric Equations. J. Symb. Comput. Xiao-Shan Gao, Shang-Ching Chou
1992	J	`jnl`	On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. Xiao-Shan Gao, Shang-Ching Chou
1992	A	`conf`	Proving Geometry Statements of Constructive Type. CADE Shang-Ching Chou, Xiao-Shan Gao
1992	B	`conf`	Solving Parametric Algebraic Systems. ISSAC Xiao-Shan Gao, Shang-Ching Chou
1991	B	`conf`	Computations with Parametric Equations. ISSAC Xiao-Shan Gao, Shang-Ching Chou
1991	J	`jnl`	On the normal parametrization of curves and surfaces. Int. J. Comput. Geom. Appl. Xiao-Shan Gao, Shang-Ching Chou
1990	J	`jnl`	An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. Algorithmica Shang-Ching Chou, William F. Schelter, Jin-Gen Yang
1990	B	`conf`	Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. ISSAC Shang-Ching Chou
1990	B	`conf`	Methods for Mechanical Geometry Formula Deriving. ISSAC Shang-Ching Chou, Xiao-Shan Gao
1990	A	`conf`	Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE Shang-Ching Chou, Xiao-Shan Gao
1989	J	`jnl`	On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. Algorithmica Shang-Ching Chou, Jin-Gen Yang
1988	J	`jnl`	An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. J. Autom. Reason. Shang-Ching Chou
1987	J	`jnl`	A Method for the Mechanical Derivation of Formulas in Elementary Geometry. J. Autom. Reason. Shang-Ching Chou
1986	A	`conf`	GEO-Prover - A Geometry Theorem Prover Developed at UT. CADE Shang-Ching Chou
1986	A*	`conf`	On Mechanical Theorem Proving in Minkowskian Plane Geometry LICS Shang-Ching Chou, Hai-Ping Ko
1986	J	`jnl`	Proving Geometry Theorems with Rewrite Rules. J. Autom. Reason. Shang-Ching Chou, William F. Schelter