( en | de | ru )

 

Disambiguation of "Chou, Shang-Ching"

Author of the publication

copydeleteadd this publication to your clipboard
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.

, , , and . ICCI, page 354-358. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ching-Tung Chou

Wilhelm Ching

Paisal Chingduang

Ching-Ching Pan

Li Shang

 

Other publications of authors with the same name

Automated Geometry Theorem Proving by Vector Calculation., , and . ISSAC, page 284-291. ACM, (1993)Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.. ISSAC, page 255-260. ACM, (1990)Quadratic approximation to plane parametric curves and its application in approximate implicitization., , and . Vis. Comput., 22 (9-11): 906-917 (2006)Automated Generation of Readable Proofs with Geometric Invariants., , and . J. Autom. Reason., 17 (3): 349-370 (1996)Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation., and . J. Autom. Reason., 17 (3): 325-347 (1996)Machine proofs in geometry - automated production of readable proofs for geometry theorems., , and . Series on applied mathematics World Scientific, (1994)An Introduction to Geometry Expert., , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 235-239. Springer, (1996)Automatic Theorem Generation in Plane Geometry., , , and . ISMIS, volume 689 of Lecture Notes in Computer Science, page 415-424. Springer, (1993)On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving., and . Algorithmica, 4 (2): 237-262 (1989)On the Parameterization of Algebraic Curves., and . Appl. Algebra Eng. Commun. Comput., (1992)