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.065secs, Finished in 0.070secs