The SCEAS System
| |||||||

## Search the dblp DataBase
Xiao-Shan Gao:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Xiao-Shan Gao
**Automated Geometry Diagram Construction and Engineering Geometry.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:232-257 [Conf] - Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
**A Hybrid Method for Solving Geometric Constraint Problems.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:16-25 [Conf] - Xiao-Shan Gao, Qiang Lin
**MMP/Geometer - A Software Package for Automated Geometric Reasoning.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2002, pp:44-66 [Conf] - Gui-Fang Zhang, Xiao-Shan Gao
**Planar Generalized Stewart Platforms and Their Direct Kinematics.**[Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2004, pp:198-211 [Conf] - 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] - Shang-Ching Chou, Xiao-Shan Gao
**Proving Geometry Statements of Constructive Type.**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:20-34 [Conf] - 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] - 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] - Ruyong Feng, Xiao-Shan Gao
**Polynomial General Solutions for First Order Autonomous ODEs.**[Citation Graph (0, 0)][DBLP] IWMM/GIAE, 2004, pp:5-17 [Conf] - Xiao-Shan Gao, Ming Li
**Construct Piecewise Hermite Interpolation Surface with Blending Methods.**[Citation Graph (0, 0)][DBLP] GMP, 2002, pp:53-59 [Conf] - Xiao-Shan Gao, Ming Li
**Rational Quadratic Approximation to Real Plane Algebraic Curves.**[Citation Graph (0, 0)][DBLP] GMP, 2004, pp:93-102 [Conf] - Jin-San Cheng, Xiao-Shan Gao, Ming Li
**Determining the Topology of Real Algebraic Surfaces.**[Citation Graph (0, 0)][DBLP] IMA Conference on the Mathematics of Surfaces, 2005, pp:121-146 [Conf] - J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao
**Algebraic general solutions of algebraic ordinary differential equations.**[Citation Graph (0, 0)][DBLP] ISSAC, 2005, pp:29-36 [Conf] - Shang-Ching Chou, Xiao-Shan Gao
**Methods for Mechanical Geometry Formula Deriving.**[Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:265-270 [Conf] - 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] - Ruyong Feng, Xiao-Shan Gao
**Rational general solutions of algebraic ordinary differential equations.**[Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:155-162 [Conf] - Xiao-Shan Gao, Shang-Ching Chou
**Computations with Parametric Equations.**[Citation Graph (0, 0)][DBLP] ISSAC, 1991, pp:122-127 [Conf] - Xiao-Shan Gao, Shang-Ching Chou
**Solving Parametric Algebraic Systems.**[Citation Graph (0, 0)][DBLP] ISSAC, 1992, pp:335-341 [Conf] - Xiao-Shan Gao, Mingbo Zhang
**Decomposition of differential polynomials with constant coefficients.**[Citation Graph (0, 0)][DBLP] ISSAC, 2004, pp:175-182 [Conf] - Xiao-Shan Gao, Chun-Ming Yuan
**Resolvent systems of difference polynomial ideals.**[Citation Graph (0, 0)][DBLP] ISSAC, 2006, pp:101-108 [Conf] - 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] - Xiao-Shan Gao
**An Introduction to Wu's Method of Mechanical Geometry Theorem Proving.**[Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:13-22 [Conf] - 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] - Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
**Editorial message: technical track on geometric computing and reasoning.**[Citation Graph (0, 0)][DBLP] SAC, 2006, pp:962- [Conf] - Gui-Fang Zhang, Xiao-Shan Gao
**Spatial geometric constraint solving based on k-connected graph decomposition.**[Citation Graph (0, 0)][DBLP] SAC, 2006, pp:979-983 [Conf] - Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
**Solving spatial basic geometric constraint configurations with locus intersection.**[Citation Graph (0, 0)][DBLP] Symposium on Solid Modeling and Applications, 2002, pp:95-104 [Conf] - Xiao-Shan Gao, Gui-Fang Zhang
**Geometric constraint solving via C-tree decomposition.**[Citation Graph (0, 0)][DBLP] Symposium on Solid Modeling and Applications, 2003, pp:45-55 [Conf] - Xiao-Shan Gao, Gui-Fang Zhang
**Classification and Solving of Merge Patterns in Geometric Constraint Solving.**[Citation Graph (0, 0)][DBLP] Shape Modeling International, 2003, pp:89-98 [Conf] - Xinchao Zhao, Xiao-Shan Gao
**A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems.**[Citation Graph (0, 0)][DBLP] SNPD, 2004, pp:12-18 [Conf] - 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] - 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] - 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] - 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] - Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
**Solving spatial basic geometric constraint configurations with locus intersection.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 2004, v:36, n:2, pp:111-122 [Journal] - Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu
**Geometric constraint solving with conics and linkages.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 2002, v:34, n:6, pp:421-433 [Journal] - Xiao-Shan Gao, Qiang Lin, Gui-Fang Zhang
**A C-tree decomposition algorithm for 2D and 3D geometric constraint solving.**[Citation Graph (0, 0)][DBLP] Computer-Aided Design, 2006, v:38, n:1, pp:1-13 [Journal] - 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] - Xiao-Shan Gao, Ming Li
**Rational quadratic approximation to real algebraic curves.**[Citation Graph (0, 0)][DBLP] , 2004, v:, n:, pp:805-828 [Journal] - Eng-Wee Chionh, Xiao-Shan Gao, Liyong Shen
**Inherently improper surface parametric supports.**[Citation Graph (0, 0)][DBLP] Computer Aided Geometric Design, 2006, v:23, n:8, pp:629-639 [Journal] - Jimin Wang, Xiao-Shan Gao
**An algorithm for solving partial differential parametric systems.**[Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2004, v:136, n:1, pp:105-116 [Journal] - Xinchao Zhao, Xiao-Shan Gao
**Affinity genetic algorithm.**[Citation Graph (0, 0)][DBLP] J. Heuristics, 2007, v:13, n:2, pp:133-150 [Journal] - 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] - Xiao-Shan Gao, Dominique Michelucci
**Guest Editors' Foreword.**[Citation Graph (0, 0)][DBLP] Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:377-378 [Journal] - Gui-Fang Zhang, Xiao-Shan Gao
**Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems.**[Citation Graph (0, 0)][DBLP] Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:461-478 [Journal] - Xiao-Shan Gao
**Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:4, pp:403-417 [Journal] - 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] - 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] - 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] - 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] - 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] - 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] - Xiao-Shan Gao, Hangfei Chen
**New Algorithms for the Perspective-Three-Point Problem.**[Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2001, v:16, n:3, pp:194-207 [Journal] - Ming Li, Xiao-Shan Gao, Jin-San Cheng
**Generating Symbolic Interpolants for Scattered Data with Normal Vectors.**[Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2005, v:20, n:6, pp:861-874 [Journal] - Wen-tsun Wu, Xiao-Shan Gao
**Automated Reasoning and Equation Solving with the Characteristic Set Method.**[Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2006, v:21, n:5, pp:756-764 [Journal] - Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama
**Editorial.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2004, v:38, n:4, pp:1167-1168 [Journal] - Xiao-Shan Gao
**Implicitization of differential rational parametric equations.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2003, v:36, n:5, pp:811-824 [Journal] - Ruyong Feng, Xiao-Shan Gao
**A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:7, pp:739-762 [Journal] - 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] - 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] - Xiao-Shan Gao, Xiaorong Hou, Jianliang Tang, Hang-Fei Cheng
**Complete Solution Classification for the Perspective-Three-Point Problem.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Pattern Anal. Mach. Intell., 2003, v:25, n:8, pp:930-943 [Journal] - Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap
**Complete numerical isolation of real zeros in zero-dimensional triangular systems.**[Citation Graph (0, 0)][DBLP] ISSAC, 2007, pp:92-99 [Conf] - 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] **Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities.**[Citation Graph (, )][DBLP]**Decomposition of Differential Polynomials.**[Citation Graph (, )][DBLP]**Root isolation for bivariate polynomial systems with local generic position method.**[Citation Graph (, )][DBLP]**Special track on Geometric Constraints and Reasoning: editorial message.**[Citation Graph (, )][DBLP]**Topology determination and isolation for implicit plane curves.**[Citation Graph (, )][DBLP]**Properties of Ascending Chains for Partial Difference Polynomial Systems.**[Citation Graph (, )][DBLP]**A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.**[Citation Graph (, )][DBLP]**Decomposition of ordinary differential polynomials.**[Citation Graph (, )][DBLP]**Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |