default search action
Shang-Ching Chou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [j23]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. Reason. 45(3): 213-241 (2010) - [j22]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. Reason. 45(3): 243-266 (2010)
2000 – 2009
- 2008
- [c27]Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao:
An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry 2008: 189-195 - 2007
- [j21]Min Tang, Shang-Ching Chou, Jinxiang Dong:
Conflicts classification and solving for collaborative feature modeling. Adv. Eng. Informatics 21(2): 211-219 (2007) - 2006
- [j20]Ming Li, Xiao-Shan Gao, Shang-Ching Chou:
Quadratic approximation to plane parametric curves and its application in approximate implicitization. Vis. Comput. 22(9-11): 906-917 (2006) - [c26]Min Tang, Jinxiang Dong, Shang-Ching Chou:
Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models. Computer Graphics International 2006: 538-545 - 2005
- [c25]Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou:
Real-time rain simulation in cartoon style. CAD/Graphics 2005: 6 - [c24]Min Tang, Shang-Ching Chou, Jinxiang Dong:
Concurrency conflicts solving for collaborative feature modeling. CSCWD (1) 2005: 50-55 - [c23]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 - [c22]Rong-Qin Chen, Min Tang, Jinxiang Dong, Shang-Ching Chou:
Model compression and transmission in collaborative CAD. CSCWD (1) 2005: 582-587 - [c21]Zhong-Xin Feng, Min Tang, Jinxiang Dong, Shang-Ching Chou:
Real-Time Rain Simulation. CSCWD (Selected papers) 2005: 626-635 - [c20]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 - 2004
- [c19]Min Tang, Zhengming Ying, Shang-Ching Chou, Jinxiang Dong:
Real-Time Selective Scene Transfer. CSCWD (Selected papers) 2004: 299-308 - [c18]Min Tang, Shang-Ching Chou, Jinxiang Dong:
Collaborative virtual environment for feature based modeling. VRCAI 2004: 120-126 - 2001
- [p1]Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Geometry. Handbook of Automated Reasoning 2001: 707-749 - 2000
- [j19]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reason. 25(3): 219-246 (2000)
1990 – 1999
- 1999
- [j18]Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao:
Geometric constraint satisfaction using optimization methods. Comput. Aided Des. 31(14): 867-879 (1999) - 1998
- [j17]Xiao-Shan Gao, Shang-Ching Chou:
Solving geometric constraint systems. I. A global propagation approach. Comput. Aided Des. 30(1): 47-54 (1998) - [j16]Xiao-Shan Gao, Shang-Ching Chou:
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Comput. Aided Des. 30(2): 115-122 (1998) - 1996
- [j15]Shang-Ching Chou, Xiao-Shan Gao:
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reason. 17(3): 325-347 (1996) - [j14]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reason. 17(3): 349-370 (1996) - [c17]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 - [c16]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
An Introduction to Geometry Expert. CADE 1996: 235-239 - 1995
- [j13]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) - [j12]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reason. 14(2): 257-291 (1995) - 1994
- [b1]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Machine proofs in geometry - automated production of readable proofs for geometry theorems. Series on applied mathematics 6, World Scientific 1994, ISBN 978-981-02-1584-2, pp. I-XVII, 1-461 - [c15]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
- [j11]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. Reason. 10(2): 161-172 (1993) - [j10]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. Reason. 10(2): 173-189 (1993) - [j9]Xiao-Shan Gao, Shang-Ching Chou:
A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16(6): 585-595 (1993) - [c14]Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou:
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI 1993: 354-358 - [c13]Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou:
Automatic Theorem Generation in Plane Geometry. ISMIS 1993: 415-424 - [c12]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation. ISSAC 1993: 284-291 - [c11]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Production of Traditional Proofs for Constructive Geometry Theorems. LICS 1993: 48-56 - 1992
- [j8]Xiao-Shan Gao, Shang-Ching Chou:
On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. 3: 27-38 (1992) - [j7]Xiao-Shan Gao, Shang-Ching Chou:
Implicitization of Rational Parametric Equations. J. Symb. Comput. 14(5): 459-470 (1992) - [c10]Shang-Ching Chou, Xiao-Shan Gao:
Proving Geometry Statements of Constructive Type. CADE 1992: 20-34 - [c9]Shang-Ching Chou:
A Geometry Theorem Prover for Macintoshes. CADE 1992: 686-690 - [c8]Xiao-Shan Gao, Shang-Ching Chou:
Solving Parametric Algebraic Systems. ISSAC 1992: 335-341 - [c7]Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12 - 1991
- [j6]Xiao-Shan Gao, Shang-Ching Chou:
On the normal parametrization of curves and surfaces. Int. J. Comput. Geom. Appl. 1(2): 125-136 (1991) - [c6]Xiao-Shan Gao, Shang-Ching Chou:
Computations with Parametric Equations. ISSAC 1991: 122-127 - 1990
- [j5]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) - [c5]Shang-Ching Chou, Xiao-Shan Gao:
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220 - [c4]Shang-Ching Chou:
Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. ISSAC 1990: 255-260 - [c3]Shang-Ching Chou, Xiao-Shan Gao:
Methods for Mechanical Geometry Formula Deriving. ISSAC 1990: 265-270
1980 – 1989
- 1989
- [j4]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
- [j3]Shang-Ching Chou:
An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. J. Autom. Reason. 4(3): 237-267 (1988) - 1987
- [j2]Shang-Ching Chou:
A Method for the Mechanical Derivation of Formulas in Elementary Geometry. J. Autom. Reason. 3(3): 291-299 (1987) - 1986
- [j1]Shang-Ching Chou, William F. Schelter:
Proving Geometry Theorems with Rewrite Rules. J. Autom. Reason. 2(3): 253-273 (1986) - [c2]Shang-Ching Chou:
GEO-Prover - A Geometry Theorem Prover Developed at UT. CADE 1986: 679-680 - [c1]Shang-Ching Chou, Hai-Ping Ko:
On Mechanical Theorem Proving in Minkowskian Plane Geometry. LICS 1986: 187-192
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: