Stop the war!Остановите войну!
for scientists:
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
- 2023
[j99]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)- 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]