default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiao-Shan Gao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j102]Qiao-Long Huang, Ke Ye
, Xiao-Shan Gao:
Skew-polynomial-sparse matrix multiplication. J. Symb. Comput. 121: 102240 (2024)- [c66]Yifan Zhu, Lijia Yu, Xiao-Shan Gao:
Detection and Defense of Unlearnable Examples. AAAI 2024: 17211-17219 - [c65]Shuang Liu, Yihan Wang, Xiao-Shan Gao:
Game-Theoretic Unlearnable Example Generator. AAAI 2024: 21349-21358 - [c64]Lijia Yu, Xiao-Shan Gao, Lijun Zhang:
Optimal robust Memorization with ReLU Neural Networks. ICLR 2024 - [c63]Shuyu Cheng, Yibo Miao, Yinpeng Dong, Xiao Yang, Xiao-Shan Gao, Jun Zhu:
Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. ICML 2024 - [c62]Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang:
Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. ICML 2024 - [c61]Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao:
Toward Availability Attacks in 3D Point Clouds. ICML 2024 - [c60]Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao:
Proving Information Inequalities by Gaussian Elimination. ISIT 2024: 3172-3177 - [i55]Yihan Wang, Shuang Liu, Xiao-Shan Gao:
Data-Dependent Stability Analysis of Adversarial Training. CoRR abs/2401.03156 (2024) - [i54]Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao:
Proving Information Inequalities by Gaussian Elimination. CoRR abs/2401.14916 (2024) - [i53]Shuang Liu, Yihan Wang, Xiao-Shan Gao:
Game-Theoretic Unlearnable Example Generator. CoRR abs/2401.17523 (2024) - [i52]Yihan Wang, Yifan Zhu, Xiao-Shan Gao:
Efficient Availability Attacks against Supervised and Contrastive Learning Simultaneously. CoRR abs/2402.04010 (2024) - [i51]Shuyu Cheng, Yibo Miao, Yinpeng Dong, Xiao Yang, Xiao-Shan Gao, Jun Zhu:
Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. CoRR abs/2405.19098 (2024) - [i50]Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang:
Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. CoRR abs/2406.00588 (2024) - [i49]Yihan Wang, Yiwei Lu, Guojun Zhang, Franziska Boenisch, Adam Dziedzic, Yaoliang Yu, Xiao-Shan Gao:
Alignment Calibration: Machine Unlearning for Contrastive Learning under Auditing. CoRR abs/2406.03603 (2024) - [i48]Yibo Miao, Yifan Zhu, Yinpeng Dong, Lijia Yu, Jun Zhu, Xiao-Shan Gao:
T2VSafetyBench: Evaluating the Safety of Text-to-Video Generative Models. CoRR abs/2407.05965 (2024) - [i47]Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao:
Toward Availability Attacks in 3D Point Clouds. CoRR abs/2407.11011 (2024) - 2023
- [j101]Qin Wu, Chun-Ming Yuan, Li-Yong Shen, Shitao He, Xiao-Shan Gao:
Cubic time-spline fitting and interpolation for five-axis CNC machining. J. Comput. Des. Eng. 10(6): 2345-2360 (2023) - [j100]Lijia Yu, Xiao-Shan Gao:
Improve Robustness and Accuracy of Deep Neural Network with L2,∞ Normalization. J. Syst. Sci. Complex. 36(1): 3-28 (2023) - [j99]Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao:
Proving Information Inequalities and Identities With Symbolic Computation. IEEE Trans. Inf. Theory 69(8): 4799-4811 (2023) - [c59]Lijia Yu, Yihan Wang, Xiao-Shan Gao:
Adversarial Parameter Attack on Deep Neural Networks. ICML 2023: 40354-40372 - [c58]Yihan Wang, Lijia Yu, Xiao-Shan Gao:
Restore Translation Using Equivariant Neural Networks. ICONIP (8) 2023: 583-603 - [c57]Qiao-Long Huang, Xiao-Shan Gao:
New Sparse Multivariate Polynomial Factorization Algorithms over Integers. ISSAC 2023: 315-324 - [i46]Yihan Wang, Lijia Yu, Xiao-Shan Gao:
Restore Translation Using Equivariant Neural Networks. CoRR abs/2306.16938 (2023) - [i45]Yifan Zhu, Lijia Yu, Xiao-Shan Gao:
Detection and Defense of Unlearnable Examples. CoRR abs/2312.08898 (2023) - 2022
- [j98]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. Entropy 24(8): 1155 (2022) - [j97]Hong-Yu Ma, Chun-Ming Yuan, Li-Yong Shen, Xiao-Shan Gao:
Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints. J. Comput. Des. Eng. 9(6): 2355-2374 (2022) - [j96]Yu-Ao Chen, Xiao-Shan Gao:
Quantum Algorithm for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. J. Syst. Sci. Complex. 35(1): 373-412 (2022) - [c56]Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao:
Proving Information Inequalities and Identities with Symbolic Computation. ISIT 2022: 772-777 - [c55]Yibo Miao, Yinpeng Dong, Jun Zhu, Xiao-Shan Gao:
Isometric 3D Adversarial Examples in the Physical World. NeurIPS 2022 - [i44]Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao:
Proving Information Inequalities and Identities with Symbolic Computation. CoRR abs/2202.02786 (2022) - [i43]Lijia Yu, Yihan Wang, Xiao-Shan Gao:
Adversarial Parameter Attack on Deep Neural Networks. CoRR abs/2203.10502 (2022) - [i42]Qiao-Long Huang, Ke Ye, Xiao-Shan Gao:
Skew-sparse matrix multiplication. CoRR abs/2205.06429 (2022) - [i41]Xiao-Shan Gao, Shuang Liu, Lijia Yu:
Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game. CoRR abs/2207.08137 (2022) - [i40]Qiao-Long Huang, Xiao-Shan Gao:
Bit Complexity of Polynomial GCD on Sparse Representation. CoRR abs/2207.13874 (2022) - [i39]Yibo Miao, Yinpeng Dong, Jun Zhu, Xiao-Shan Gao:
Isometric 3D Adversarial Examples in the Physical World. CoRR abs/2210.15291 (2022) - 2021
- [j95]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
A Generalization of the Concavity of Rényi Entropy Power. Entropy 23(12): 1593 (2021) - [j94]Youren Hu, Xiao-Shan Gao:
Tropical Differential Gröbner Bases. Math. Comput. Sci. 15(2): 255-269 (2021) - [j93]Chen Zhao, Xiao-Shan Gao:
QDNN: deep neural networks with quantum layers. Quantum Mach. Intell. 3(1): 1-9 (2021) - [j92]Chen Zhao, Xiao-Shan Gao:
Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus. Quantum 5: 466 (2021) - [c54]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
Lower Bound for Derivatives of Costa's Differential Entropy. ISIT 2021: 1516-1521 - [c53]Xiao-Shan Gao:
New Developments of Mathematics Mechanization. ISSAC 2021: 9 - [i38]Chen Zhao, Xiao-Shan Gao:
Analyzing the barren plateau phenomenon in training quantum neural network with the ZX-calculus. CoRR abs/2102.01828 (2021) - [i37]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
A Generalization of the Concavity of Rényi Entropy Powe. CoRR abs/2103.06650 (2021) - [i36]Lijia Yu, Xiao-Shan Gao:
A Robust Classification-autoencoder to Defend Outliers and Adversaries. CoRR abs/2106.15927 (2021) - [i35]Lijia Yu, Xiao-Shan Gao:
Robust and Information-theoretically Safe Bias Classifier against Adversarial Attacks. CoRR abs/2111.04404 (2021) - 2020
- [j91]Qiao-Long Huang, Xiao-Shan Gao:
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs. J. Symb. Comput. 101: 367-386 (2020) - [i34]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming. CoRR abs/2004.08543 (2020) - [i33]Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao:
Lower Bound on Derivatives of Costa's Differential Entropy. CoRR abs/2007.10145 (2020) - [i32]Lijia Yu, Xiao-Shan Gao:
Improve the Robustness and Accuracy of Deep Neural Network with L2, ∞ Normalization. CoRR abs/2010.04912 (2020)
2010 – 2019
- 2019
- [j90]Xiao-Shan Gao, Hongbo Li, Dongming Wang:
Foreword to the Special Issue. J. Syst. Sci. Complex. 32(1): 1-2 (2019) - [j89]Youren Hu, Xiao-Shan Gao:
Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems. J. Syst. Sci. Complex. 32(1): 62-77 (2019) - [j88]Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao:
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. Theor. Comput. Sci. 755: 89-109 (2019) - [c52]Qiao-Long Huang, Xiao-Shan Gao:
Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. CASC 2019: 215-235 - [i31]Youren Hu, Xiao-Shan Gao:
Tropical Differential Groebner Basis. CoRR abs/1904.02275 (2019) - [i30]Chen Zhao, Xiao-Shan Gao:
QDNN: DNN with Quantum Neural Network Layers. CoRR abs/1912.12660 (2019) - 2018
- [j87]Xiao-Shan Gao:
Preface. J. Symb. Comput. 85: 1-3 (2018) - [i29]Yu-Ao Chen, Xiao-Shan Gao, Chun-Ming Yuan:
Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields. CoRR abs/1802.03856 (2018) - [i28]Yu-Ao Chen, Xiao-Shan Gao:
Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. IACR Cryptol. ePrint Arch. 2018: 8 (2018) - 2017
- [j86]Xiao-Shan Gao:
Wen-Tsun Wu: His Life and Legacy. ACM Commun. Comput. Algebra 51(2): 73-79 (2017) - [j85]Xiao-Shan Gao, Jie Chen, Jun Shao, Shouyang Wang:
Preface - Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity. J. Syst. Sci. Complex. 30(1): 1-3 (2017) - [j84]Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan:
Toric difference variety. J. Syst. Sci. Complex. 30(1): 173-195 (2017) - [j83]Wei Zhu, Xiao-Shan Gao:
A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity. J. Syst. Sci. Complex. 30(2): 464-483 (2017) - [j82]Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan:
Binomial difference ideals. J. Symb. Comput. 80: 665-706 (2017) - [j81]Ming-Yong Zhao, Xiao-Shan Gao, Qiang Zhang:
An efficient stochastic approach for robust time-optimal trajectory planning of robotic manipulators under limited actuation. Robotica 35(12): 2400-2417 (2017) - [c51]Youren Hu, Xiao-Shan Gao:
Characteristic Set Method for Laurent Differential Polynomial Systems. CASC 2017: 183-195 - [c50]Qiao-Long Huang, Xiao-Shan Gao:
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. CASC 2017: 196-209 - [c49]Yu-Ao Chen, Xiao-Shan Gao:
Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. ISSAC 2017: 93-100 - [c48]Qiao-Long Huang, Xiao-Shan Gao:
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. MACIS 2017: 227-242 - [i27]Yu-Ao Chen, Xiao-Shan Gao:
Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals. CoRR abs/1701.06248 (2017) - [i26]Qiao-Long Huang, Xiao-Shan Gao:
Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. CoRR abs/1704.04359 (2017) - [i25]Qiao-Long Huang, Xiao-Shan Gao:
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. CoRR abs/1706.00914 (2017) - [i24]Qiao-Long Huang, Xiao-Shan Gao:
Faster Deterministic Sparse Interpolation Algorithms for Straight-Line Program Multivariate Polynomials. CoRR abs/1709.08979 (2017) - [i23]Qiao-Long Huang, Xiao-Shan Gao:
Sparse Interpolation of Black-box Multivariate Polynomials using Kronecker Type Substitutions. CoRR abs/1710.01301 (2017) - [i22]Qiao-Long Huang, Xiao-Shan Gao:
Revisit Randomized Kronecker Substitution based Sparse Polynomial Interpolation. CoRR abs/1712.05481 (2017) - [i21]Yu-Ao Chen, Xiao-Shan Gao:
Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. CoRR abs/1712.06239 (2017) - 2016
- [j80]Xiao-Shan Gao, Zhenyu Huang:
Solving Boolean equation systems and applications in cryptanalysis. Sci. China Inf. Sci. 59(5): 050104:1-050104:2 (2016) - [j79]Qiang Zhang, Shurong Li, Jian-Xin Guo, Xiao-Shan Gao:
Time-optimal path tracking for robots under dynamics constraints based on convex optimization. Robotica 34(9): 2116-2139 (2016) - [c47]Qiang Zhang, Xiao-Shan Gao:
Practical feedrate optimization for planar high precision contouring. ICIA 2016: 1872-1877 - [e2]Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao:
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016. ACM 2016, ISBN 978-1-4503-4380-0 [contents] - [i20]Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao:
A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. CoRR abs/1601.01067 (2016) - [i19]Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan:
Binomial Difference Ideals. CoRR abs/1603.03987 (2016) - [i18]Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan:
Toric Difference Variety. CoRR abs/1604.01958 (2016) - 2015
- [j78]Zhengyuan Yang, Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao:
Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines. Comput. Aided Des. 66: 62-72 (2015) - [j77]Xiao-Shan Gao:
Binomial difference ideal and toric difference variety. ACM Commun. Comput. Algebra 49(1): 24 (2015) - [j76]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials. Found. Comput. Math. 15(2): 451-517 (2015) - [j75]Qiang Zhang, Shurong Li, Jian-Xin Guo, Xiao-Shan Gao:
Tractable Algorithm for Robust Time-Optimal Trajectory Planning of Robotic Manipulators under Confined Torque. Int. J. Comput. Commun. Control 10(1): 123-135 (2015) - [j74]Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao, Hongbo Li:
Time optimal feedrate generation with confined tracking error based on linear programming. J. Syst. Sci. Complex. 28(1): 80-95 (2015) - [j73]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse difference resultant. J. Symb. Comput. 68: 169-203 (2015) - [c46]Kai Jin, Jin-San Cheng, Xiao-Shan Gao:
On the Topology and Visualization of Plane Algebraic Curves. CASC 2015: 245-259 - [i17]Wei Zhu, Xiao-Shan Gao:
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity. CoRR abs/1503.04380 (2015) - 2014
- [j72]Jin-San Cheng, Xiao-Shan Gao:
Multiplicity-preserving triangular set decomposition of two polynomials. J. Syst. Sci. Complex. 27(6): 1320-1344 (2014) - [i16]Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan:
Binomial Difference Ideal and Toric Difference Variety. CoRR abs/1404.7580 (2014) - 2013
- [j71]Jian-Xin Guo, Ke Zhang, Qiang Zhang, Xiao-Shan Gao:
Efficient time-optimal feedrate planning under dynamic constraints for a high-order CNC servo system. Comput. Aided Des. 45(12): 1538-1546 (2013) - [j70]Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao:
Tracking error reduction in CNC machining by reshaping the kinematic trajectory. J. Syst. Sci. Complex. 26(5): 817-835 (2013) - [c45]Qiang Zhang, Shurong Li, Xiao-Shan Gao:
Practical smooth minimum time trajectory planning for path following robotic manipulators. ACC 2013: 2778-2783 - [c44]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse difference resultant. ISSAC 2013: 275-282 - 2012
- [j69]Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo:
Editorial message. Comput. Aided Geom. Des. 29(1): 1 (2012) - [j68]Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao:
Certified approximation of parametric space curves with cubic B-spline curves. Comput. Aided Geom. Des. 29(8): 648-663 (2012) - [j67]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse differential resultant for laurent differential polynomials. ACM Commun. Comput. Algebra 46(3/4): 110-111 (2012) - [j66]Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci:
Special issue on geometric constraints and reasoning. Comput. Geom. 45(8): 383-384 (2012) - [j65]Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao:
On functional decomposition of multivariate polynomials with differentiation and homogenization. J. Syst. Sci. Complex. 25(2): 329-347 (2012) - [j64]Xiao-Shan Gao, Deepak Kapur:
Preface. J. Symb. Comput. 47(6): 583-585 (2012) - [j63]Xiao-Shan Gao, Deepak Kapur:
A brief introduction to Wen-Tsun Wu's academic career. J. Symb. Comput. 47(6): 586-588 (2012) - [j62]Xiao-Shan Gao, Zhenyu Huang:
Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. 47(6): 655-679 (2012) - [j61]Jin-San Cheng, Xiao-Shan Gao, Leilei Guo:
Root isolation of zero-dimensional polynomial systems with linear univariate representation. J. Symb. Comput. 47(7): 843-858 (2012) - [j60]Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun:
Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Math. Comput. Sci. 6(3): 327-344 (2012) - [c43]Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao:
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. ASCM 2012: 479-503 - [i15]Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao:
Certified Approximation of Parametric Space Curves with Cubic B-spline Curves. CoRR abs/1203.0478 (2012) - [i14]Jin-San Cheng, Kai Jin, Xiao-Shan Gao, Daniel Lazard:
Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method. CoRR abs/1204.0905 (2012) - [i13]Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao:
Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials. CoRR abs/1204.3773 (2012) - [i12]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Difference Resultant. CoRR abs/1212.3090 (2012) - 2011
- [j59]Mei Zhang, Wei Yan, Chun-Ming Yuan, Dingkang Wang, Xiao-Shan Gao:
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. Sci. China Inf. Sci. 54(7): 1407-1418 (2011) - [j58]Liyong Shen, Eng-Wee Chionh, Xiao-Shan Gao, Jia Li:
Proper reparametrization for inherently improper unirational varieties. J. Syst. Sci. Complex. 24(2): 367-380 (2011) - [c42]Wei Li, Xiao-Shan Gao, Chun-Ming Yuan:
Sparse differential resultant. ISSAC 2011: 225-232 - [i11]Jin-San Cheng, Xiao-Shan Gao:
Multiplicity Preserving Triangular Set Decomposition of Two Polynomials. CoRR abs/1101.3603 (2011) - [i10]Jin-San Cheng, Xiao-Shan Gao, Leilei Guo:
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation. CoRR abs/1102.4681 (2011) - [i9]Wei Li, Xiao-Shan Gao:
Differential Chow Form for Projective Differential Variety. CoRR abs/1107.3205 (2011) - [i8]Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials. CoRR abs/1111.1084 (2011) - 2010
- [j57]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) - [j56]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) - [c41]Li Han, Xiao-Shan Gao:
Articulation-constrained Skeleton Extraction. IPCV 2010: 441-446 - [i7]Xiao-Shan Gao, Wei Li, Chun-Ming Yuan:
Intersection Theory for Generic Differential Polynomials and Differential Chow Form. CoRR abs/1009.0148 (2010) - [i6]Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao:
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization. CoRR abs/1011.5545 (2010) - [i5]Xiao-Shan Gao, Zhenyu Huang:
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis. CoRR abs/1011.6505 (2010) - [i4]Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao:
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization. IACR Cryptol. ePrint Arch. 2010: 604 (2010)
2000 – 2009
- 2009
- [j55]Chun-Ming Yuan, Xiao-Shan Gao:
A criterion for testing whether a difference ideal is prime. J. Syst. Sci. Complex. 22(4): 627-635 (2009) - [j54]Xiao-Shan Gao, Yong Luo, Chun-Ming Yuan:
A characteristic set method for ordinary difference polynomial systems. J. Symb. Comput. 44(3): 242-260 (2009) - [j53]Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap:
Complete numerical isolation of real roots in zero-dimensional triangular systems. J. Symb. Comput. 44(7): 768-785 (2009) - [j52]Xiao-Shan Gao, Joris van der Hoeven, Chun-Ming Yuan, Gui-Lin Zhang:
Characteristic set method for differential-difference polynomial systems. J. Symb. Comput. 44(9): 1137-1163 (2009) - [j51]Mingbo Zhang, Xiao-Shan Gao:
Decomposition of ordinary difference polynomials. J. Symb. Comput. 44(10): 1394-1409 (2009) - [j50]Shang-Wei Zhao, Xiao-Shan Gao:
Minimal achievable approximation ratio for MAX-MQ in finite fields. Theor. Comput. Sci. 410(21-23): 2285-2290 (2009) - [c40]Li Han, Xiao-Shan Gao, Hongbo Li, Lixian Zhang, Jie Liu:
Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. CAD/Graphics 2009: 435-441 - [c39]Jin-San Cheng, Xiao-Shan Gao, Jia Li:
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC 2009: 89-93 - [c38]Jin-San Cheng, Xiao-Shan Gao, Jia Li:
Root isolation for bivariate polynomial systems with local generic position method. ISSAC 2009: 103-110 - [c37]Jin-San Cheng, Xiao-Shan Gao, Jia Li:
Topology determination and isolation for implicit plane curves. SAC 2009: 1140-1141 - [i3]Jin-San Cheng, Xiao-Shan Gao, Jia Li:
Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities. CoRR abs/0903.3524 (2009) - [i2]Xiao-Shan Gao, Zhenyu Huang:
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. IACR Cryptol. ePrint Arch. 2009: 637 (2009) - 2008
- [j49]Xiao-Shan Gao, Mingbo Zhang:
Decomposition of ordinary differential polynomials. Appl. Algebra Eng. Commun. Comput. 19(1): 1-25 (2008) - [j48]Xiao-Shan Gao, Zhenyu Huang:
A characteristic set method for equation solving over finite fields. ACM Commun. Comput. Algebra 42(3): 149-150 (2008) - [j47]Xiao-Shan Gao, Dantong Ouyang, Ji-gui Sun, Sanjiang Li, Tian-shun Yao, Ruzhan Lu, Chun-Yi Shi, Zhangang Han, Jue Wang, Cun-gen Cao, Ruqian Lu:
AI in China: A Survey. IEEE Intell. Syst. 23(6): 26-32 (2008) - [j46]Jia Li, Liyong Shen, Xiao-Shan Gao:
Proper Reparametrization of Rational Ruled Surface. J. Comput. Sci. Technol. 23(2): 290-297 (2008) - [j45]Fengjuan Chai, Xiao-Shan Gao, Chun-Ming Yuan:
A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. J. Syst. Sci. Complex. 21(2): 191-208 (2008) - [j44]Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang:
Rational solutions of ordinary difference equations. J. Symb. Comput. 43(10): 746-763 (2008) - [c36]Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao:
An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry 2008: 189-195 - [c35]Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815 - 2007
- [j43]Xinchao Zhao, Xiao-Shan Gao, Ze-Chun Hu:
Evolutionary programming based on non-uniform mutation. Appl. Math. Comput. 192(1): 1-11 (2007) - [j42]Wenjun Wu, Xiao-Shan Gao:
Mathematics mechanization and applications after thirty years. Frontiers Comput. Sci. China 1(1): 1-8 (2007) - [j41]Xinchao Zhao, Xiao-Shan Gao:
Affinity genetic algorithm. J. Heuristics 13(2): 133-150 (2007) - [c34]Jia Li, Xiao-Shan Gao:
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. ASCM 2007: 246-262 - [c33]Gui-Lin Zhang, Xiao-Shan Gao:
Properties of Ascending Chains for Partial Difference Polynomial Systems. ASCM 2007: 307-321 - [c32]Jia Li, Liyong Shen, Xiao-Shan Gao:
Proper Reparametrization of Rational Ruled Surface. CAD/Graphics 2007: 26 - [c31]Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap:
Complete numerical isolation of real zeros in zero-dimensional triangular systems. ISSAC 2007: 92-99 - 2006
- [j40]Xiao-Shan Gao, Qiang Lin, Gui-Fang Zhang:
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. Comput. Aided Des. 38(1): 1-13 (2006) - [j39]Eng-Wee Chionh, Xiao-Shan Gao, Liyong Shen:
Inherently improper surface parametric supports. Comput. Aided Geom. Des. 23(8): 629-639 (2006) - [j38]Xiao-Shan Gao:
Wen-Tsun Wu's academic career. ACM Commun. Comput. Algebra 40(2): 60-64 (2006) - [j37]Xiao-Shan Gao, Dominique Michelucci:
Guest Editors' Foreword. Int. J. Comput. Geom. Appl. 16(5-6): 377-378 (2006) - [j36]Gui-Fang Zhang, Xiao-Shan Gao:
Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems. Int. J. Comput. Geom. Appl. 16(5-6): 461-478 (2006) - [j35]Wen-tsun Wu, Xiao-Shan Gao:
Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006) - [j34]Xiao-Shan Gao, Jianliang Tang:
On the Probability of the Number of Solutions for the P4P Problem. J. Math. Imaging Vis. 25(1): 79-86 (2006) - [j33]Jia Li, Xiao-Shan Gao:
The Proper Parametrization of a Special Class of Rational Parametric Equations. J. Syst. Sci. Complex. 19(3): 331-339 (2006) - [j32]Ruyong Feng, Xiao-Shan Gao:
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. J. Symb. Comput. 41(7): 739-762 (2006) - [j31]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) - [c30]Xiao-Shan Gao, Chun-Ming Yuan:
Resolvent systems of difference polynomial ideals. ISSAC 2006: 101-108 - [c29]Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962 - [c28]Gui-Fang Zhang, Xiao-Shan Gao:
Spatial geometric constraint solving based on k-connected graph decomposition. SAC 2006: 979-983 - [i1]Xiao-Shan Gao, Mingbo Zhang:
Decomposition of Differential Polynomials. Challenges in Symbolic Computation Software 2006 - 2005
- [j30]Jin-San Cheng, Xiao-Shan Gao, Ming Li:
Intrinsic topological representation of real algebraic surfaces. SIGSAM Bull. 39(3): 80-81 (2005) - [j29]Xiao-Shan Gao, Gui-Fang Zhang:
2D and 3D generalized Stewart Platforms. SIGSAM Bull. 39(3): 92-93 (2005) - [j28]Ming Li, Xiao-Shan Gao, Jin-San Cheng:
Generating Symbolic Interpolants for Scattered Data with Normal Vectors. J. Comput. Sci. Technol. 20(6): 861-874 (2005) - [j27]Xiao-Shan Gao, Deli Lei, Qizheng Liao, Gui-Fang Zhang:
Generalized Stewart-Gough platforms and their direct kinematics. IEEE Trans. Robotics 21(2): 141-151 (2005) - [c27]Jin-San Cheng, Xiao-Shan Gao, Ming Li:
Determining the Topology of Real Algebraic Surfaces. IMA Conference on the Mathematics of Surfaces 2005: 121-146 - [c26]J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao:
Algebraic general solutions of algebraic ordinary differential equations. ISSAC 2005: 29-36 - 2004
- [j26]Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang:
Solving spatial basic geometric constraint configurations with locus intersection. Comput. Aided Des. 36(2): 111-122 (2004) - [j25]Xiao-Shan Gao, Ming Li:
Rational quadratic approximation to real algebraic curves. Comput. Aided Geom. Des. 21: 805-828 (2004) - [j24]Jimin Wang, Xiao-Shan Gao:
An algorithm for solving partial differential parametric systems. Discret. Appl. Math. 136(1): 105-116 (2004) - [j23]Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama:
Editorial. J. Symb. Comput. 38(4): 1167-1168 (2004) - [c25]Gui-Fang Zhang, Xiao-Shan Gao:
Planar Generalized Stewart Platforms and Their Direct Kinematics. Automated Deduction in Geometry 2004: 198-211 - [c24]Ruyong Feng, Xiao-Shan Gao:
Polynomial General Solutions for First Order Autonomous ODEs. IWMM/GIAE 2004: 5-17 - [c23]Xiao-Shan Gao, Ming Li:
Rational Quadratic Approximation to Real Plane Algebraic Curves. GMP 2004: 93-102 - [c22]Ruyong Feng, Xiao-Shan Gao:
Rational general solutions of algebraic ordinary differential equations. ISSAC 2004: 155-162 - [c21]Xiao-Shan Gao, Mingbo Zhang:
Decomposition of differential polynomials with constant coefficients. ISSAC 2004: 175-182 - [c20]Xinchao Zhao, Xiao-Shan Gao:
A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems. SNPD 2004: 12-18 - 2003
- [j22]Ruyong Feng, Xiao-Shan Gao:
Polynomial solutions for first order ODEs with constant coefficients. SIGSAM Bull. 37(3): 71-72 (2003) - [j21]Xiao-Shan Gao:
Implicitization of differential rational parametric equations. J. Symb. Comput. 36(5): 811-824 (2003) - [j20]Xiao-Shan Gao, Xiaorong Hou, Jianliang Tang, Hang-Fei Cheng:
Complete Solution Classification for the Perspective-Three-Point Problem. IEEE Trans. Pattern Anal. Mach. Intell. 25(8): 930-943 (2003) - [c19]Xiao-Shan Gao, Gui-Fang Zhang:
Geometric constraint solving via C-tree decomposition. Symposium on Solid Modeling and Applications 2003: 45-55 - [c18]Xiao-Shan Gao, Gui-Fang Zhang:
Classification and Solving of Merge Patterns in Geometric Constraint Solving. Shape Modeling International 2003: 89-98 - 2002
- [j19]Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu:
Geometric constraint solving with conics and linkages. Comput. Aided Des. 34(6): 421-433 (2002) - [c17]Xiao-Shan Gao, Qiang Lin:
MMP/Geometer - A Software Package for Automated Geometric Reasoning. Automated Deduction in Geometry 2002: 44-66 - [c16]Xiao-Shan Gao, Ming Li:
Construct Piecewise Hermite Interpolation Surface with Blending Methods. GMP 2002: 53-59 - [c15]Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang:
Solving spatial basic geometric constraint configurations with locus intersection. Symposium on Solid Modeling and Applications 2002: 95-104 - 2001
- [j18]Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang:
Geometric constraint solving with geometric transformation. Sci. China Ser. F Inf. Sci. 44(1): 50-59 (2001) - [j17]Xiao-Shan Gao, Hangfei Chen:
New Algorithms for the Perspective-Three-Point Problem. J. Comput. Sci. Technol. 16(3): 194-207 (2001) - [p1]Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Geometry. Handbook of Automated Reasoning 2001: 707-749 - 2000
- [j16]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) - [c14]Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang:
A Hybrid Method for Solving Geometric Constraint Problems. Automated Deduction in Geometry 2000: 16-25
1990 – 1999
- 1999
- [j15]Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao:
Geometric constraint satisfaction using optimization methods. Comput. Aided Des. 31(14): 867-879 (1999) - [j14]Xiao-Shan Gao, Changcai Zhu:
Automated generation of Kempe linkage and its complexity. J. Comput. Sci. Technol. 14(5): 460-467 (1999) - [e1]Xiao-Shan Gao, Dongming Wang, Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 [contents] - 1998
- [j13]Xiao-Shan Gao, Shang-Ching Chou:
Solving geometric constraint systems. I. A global propagation approach. Comput. Aided Des. 30(1): 47-54 (1998) - [j12]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) - [c13]Xiao-Shan Gao:
Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry 1998: 232-257 - 1996
- [j11]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) - [j10]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) - [c12]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 - [c11]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
An Introduction to Geometry Expert. CADE 1996: 235-239 - 1995
- [j9]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) - [j8]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 - [c10]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
- [j7]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) - [j6]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) - [j5]Xiao-Shan Gao, Shang-Ching Chou:
A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. 16(6): 585-595 (1993) - [c9]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Geometry Theorem Proving by Vector Calculation. ISSAC 1993: 284-291 - [c8]Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Production of Traditional Proofs for Constructive Geometry Theorems. LICS 1993: 48-56 - 1992
- [j4]Xiao-Shan Gao, Shang-Ching Chou:
On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. 3: 27-38 (1992) - [j3]Xiao-Shan Gao, Shang-Ching Chou:
Implicitization of Rational Parametric Equations. J. Symb. Comput. 14(5): 459-470 (1992) - [c7]Shang-Ching Chou, Xiao-Shan Gao:
Proving Geometry Statements of Constructive Type. CADE 1992: 20-34 - [c6]Xiao-Shan Gao, Shang-Ching Chou:
Solving Parametric Algebraic Systems. ISSAC 1992: 335-341 - [c5]Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12 - [c4]Xiao-Shan Gao:
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. IWAR 1992: 13-22 - 1991
- [j2]Xiao-Shan Gao, Shang-Ching Chou:
On the normal parametrization of curves and surfaces. Int. J. Comput. Geom. Appl. 1(2): 125-136 (1991) - [c3]Xiao-Shan Gao, Shang-Ching Chou:
Computations with Parametric Equations. ISSAC 1991: 122-127 - 1990
- [j1]Xiao-Shan Gao:
Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries. J. Autom. Reason. 6(4): 403-417 (1990) - [c2]Shang-Ching Chou, Xiao-Shan Gao:
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990: 207-220 - [c1]Shang-Ching Chou, Xiao-Shan Gao:
Methods for Mechanical Geometry Formula Deriving. ISSAC 1990: 265-270
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-10-12 22:57 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:
