The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiao-Shan Gao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Xiao-Shan Gao
    Automated Geometry Diagram Construction and Engineering Geometry. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 1998, pp:232-257 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Shang-Ching Chou, Xiao-Shan Gao
    Proving Geometry Statements of Constructive Type. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:20-34 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Xiao-Shan Gao, Ming Li
    Construct Piecewise Hermite Interpolation Surface with Blending Methods. [Citation Graph (0, 0)][DBLP]
    GMP, 2002, pp:53-59 [Conf]
  12. Xiao-Shan Gao, Ming Li
    Rational Quadratic Approximation to Real Plane Algebraic Curves. [Citation Graph (0, 0)][DBLP]
    GMP, 2004, pp:93-102 [Conf]
  13. 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]
  14. 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]
  15. Shang-Ching Chou, Xiao-Shan Gao
    Methods for Mechanical Geometry Formula Deriving. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:265-270 [Conf]
  16. 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]
  17. Ruyong Feng, Xiao-Shan Gao
    Rational general solutions of algebraic ordinary differential equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:155-162 [Conf]
  18. Xiao-Shan Gao, Shang-Ching Chou
    Computations with Parametric Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:122-127 [Conf]
  19. Xiao-Shan Gao, Shang-Ching Chou
    Solving Parametric Algebraic Systems. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:335-341 [Conf]
  20. Xiao-Shan Gao, Mingbo Zhang
    Decomposition of differential polynomials with constant coefficients. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:175-182 [Conf]
  21. Xiao-Shan Gao, Chun-Ming Yuan
    Resolvent systems of difference polynomial ideals. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2006, pp:101-108 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. Xiao-Shan Gao, Ming Li
    Rational quadratic approximation to real algebraic curves. [Citation Graph (0, 0)][DBLP]
    , 2004, v:, n:, pp:805-828 [Journal]
  40. 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]
  41. 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]
  42. Xinchao Zhao, Xiao-Shan Gao
    Affinity genetic algorithm. [Citation Graph (0, 0)][DBLP]
    J. Heuristics, 2007, v:13, n:2, pp:133-150 [Journal]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]

  64. Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. [Citation Graph (, )][DBLP]


  65. Decomposition of Differential Polynomials. [Citation Graph (, )][DBLP]


  66. Root isolation for bivariate polynomial systems with local generic position method. [Citation Graph (, )][DBLP]


  67. Special track on Geometric Constraints and Reasoning: editorial message. [Citation Graph (, )][DBLP]


  68. Topology determination and isolation for implicit plane curves. [Citation Graph (, )][DBLP]


  69. Properties of Ascending Chains for Partial Difference Polynomial Systems. [Citation Graph (, )][DBLP]


  70. A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. [Citation Graph (, )][DBLP]


  71. Decomposition of ordinary differential polynomials. [Citation Graph (, )][DBLP]


  72. Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities [Citation Graph (, )][DBLP]


Search in 0.755secs, Finished in 0.757secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002