| Publication | Date of Publication | Type |
|---|
Bit complexity of polynomial GCD on sparse representation
Mathematics of Computation | 2025-09-18 | Paper |
| New developments of mathematics mechanization | 2025-01-20 | Paper |
Proving information inequalities and identities with symbolic computation
IEEE Transactions on Information Theory | 2024-07-18 | Paper |
New Sparse Multivariate Polynomial Factorization Algorithms over Integers
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
| Ritt-Wu's decomposition algorithm and geometry theorem proving | 2023-04-28 | Paper |
Improve robustness and accuracy of deep neural network with \(L_{2,\infty}\) normalization
Journal of Systems Science and Complexity | 2023-04-26 | Paper |
Achieving optimal adversarial accuracy for adversarial deep learning using Stackelberg games
Acta Mathematica Scientia. Series B. (English Edition) | 2022-10-12 | Paper |
Quantum algorithm for Boolean equation solving and quantum algebraic attack on cryptosystems
Journal of Systems Science and Complexity | 2022-04-01 | Paper |
Deterministic sparse interpolation of black-box multivariate polynomials using Kronecker type substitutions
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
Tropical differential Gröbner bases
Mathematics in Computer Science | 2021-06-25 | Paper |
Criteria for finite difference Gröbner bases of normal binomial difference ideals
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs
Journal of Symbolic Computation | 2020-06-15 | Paper |
Revisit sparse polynomial interpolation based on randomized Kronecker substitution
(available as arXiv preprint) | 2020-04-29 | Paper |
| Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming | 2020-04-18 | Paper |
Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Sparse rational function interpolation with finitely many values for the coefficients
Mathematical Aspects of Computer and Information Sciences | 2019-03-14 | Paper |
Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x\)]
Theoretical Computer Science | 2019-02-14 | Paper |
Binomial difference ideals
Journal of Symbolic Computation | 2019-01-21 | Paper |
An introduction to geometry expert
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Wen-Tsun Wu: His Life and Legacy
ACM Communications in Computer Algebra | 2018-08-03 | Paper |
| Characteristic set method for Laurent differential polynomial systems | 2018-02-23 | Paper |
Sparse polynomial interpolation with finitely many values for the coefficients
(available as arXiv preprint) | 2018-02-23 | Paper |
Toric difference variety
Journal of Systems Science and Complexity | 2017-09-06 | Paper |
A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
Journal of Systems Science and Complexity | 2017-09-01 | Paper |
Wen-Tsun Wu's academic career
ACM Communications in Computer Algebra | 2017-06-27 | Paper |
Sparse difference resultant
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Resolvent systems of difference polynomial ideals
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Matrix formulae of differential resultant for first order generic ordinary differential polynomials
Computer Mathematics | 2016-04-12 | Paper |
On the topology and visualization of plane algebraic curves
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Sparse differential resultant for Laurent differential polynomials
Foundations of Computational Mathematics | 2015-06-26 | Paper |
Sparse differential resultant
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Time optimal feedrate generation with confined tracking error based on linear programming
Journal of Systems Science and Complexity | 2015-04-27 | Paper |
Multiplicity-preserving triangular set decomposition of two polynomials
Journal of Systems Science and Complexity | 2015-04-27 | Paper |
On functional decomposition of multivariate polynomials with differentiation and homogenization
Journal of Systems Science and Complexity | 2015-01-27 | Paper |
Sparse difference resultant
Journal of Symbolic Computation | 2014-12-09 | Paper |
A criterion for testing whether a difference ideal is prime
Journal of Systems Science and Complexity | 2014-11-21 | Paper |
Tracking error reduction in CNC machining by reshaping the kinematic trajectory
Journal of Systems Science and Complexity | 2014-09-15 | Paper |
| Binomial Difference Ideal and Toric Difference Variety | 2014-04-29 | Paper |
The decidability of functional decomposition problem
Journal of Systems Science and Mathematical Sciences | 2013-11-19 | Paper |
A new method to estimate the intrinsic error of CNC machining
Journal of Systems Science and Mathematical Sciences | 2013-11-19 | Paper |
Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
Transactions of the American Mathematical Society | 2013-09-04 | Paper |
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Science China Information Sciences | 2013-07-03 | Paper |
Chow form for projective differential variety
Journal of Algebra | 2013-05-13 | Paper |
Discrete interpolation of G01 codes in 2D machining under bounded accelerations
Mathematics in Computer Science | 2013-04-24 | Paper |
Certified approximation of parametric space curves with cubic \(B\)-spline curves
Computer Aided Geometric Design | 2012-10-11 | Paper |
Root isolation of zero-dimensional polynomial systems with linear univariate representation
Journal of Symbolic Computation | 2012-05-23 | Paper |
Root isolation for bivariate polynomial systems with local generic position method
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
A brief introduction to Wen-Tsun Wu's Academic career
Journal of Symbolic Computation | 2012-05-07 | Paper |
Characteristic set algorithms for equation solving in finite fields
Journal of Symbolic Computation | 2012-05-07 | Paper |
| Local optimization based on kinematic curve and global optimization based on look-ahead scheme in CNC interpolation | 2012-01-27 | Paper |
Proper reparametrization for inherently improper unirational varieties
Journal of Systems Science and Complexity | 2011-11-17 | Paper |
Involutive characteristic sets of algebraic partial differential equation systems
Science in China. Series A | 2011-06-25 | Paper |
An introduction to Java geometry expert. (Extended abstract)
Automated Deduction in Geometry | 2011-05-26 | Paper |
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
CAD. Computer-Aided Design | 2011-03-04 | Paper |
Geometric constraint solving with conics and linkages
CAD. Computer-Aided Design | 2011-03-04 | Paper |
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
Journal of Automated Reasoning | 2011-01-12 | Paper |
Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
Journal of Automated Reasoning | 2011-01-12 | Paper |
Computation of the probability on the number of solution for the P3P problem
Intelligent Computing in Signal Processing and Pattern Recognition | 2010-12-30 | Paper |
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
Journal of Systems Science and Complexity | 2010-12-14 | Paper |
Evolutionary programming based on non-uniform mutation
Applied Mathematics and Computation | 2010-09-01 | Paper |
| Mechanized methods for differential and difference equations | 2010-07-08 | Paper |
A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering
Acta Mathematica Scientia. Series B. (English Edition) | 2010-07-08 | Paper |
| Root isolation of zero-dimensional polynomial systems with linear univariate representation | 2010-03-10 | Paper |
| scientific article; zbMATH DE number 5666939 (Why is no real title available?) | 2010-02-05 | Paper |
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Decomposition of ordinary difference polynomials
Journal of Symbolic Computation | 2009-09-14 | Paper |
Conservation Laws of K ( m,n ) and mK ( m,n ) Equations
Communications in Theoretical Physics | 2009-07-22 | Paper |
Applications of Computer Algebra in Solving Nonlinear Evolution Equations
Communications in Theoretical Physics | 2009-07-22 | Paper |
A Computational Approach to the New Type Solutions of Whitham–Broer–Kaup Equation in Shallow Water
Communications in Theoretical Physics | 2009-07-22 | Paper |
Complete numerical isolation of real roots in zero-dimensional triangular systems
Journal of Symbolic Computation | 2009-06-18 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Minimal achievable approximation ratio for MAX-MQ in finite fields
Theoretical Computer Science | 2009-05-28 | Paper |
A characteristic set method for ordinary difference polynomial systems
Journal of Symbolic Computation | 2009-03-25 | Paper |
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals
Computer Mathematics | 2009-01-29 | Paper |
Properties of Ascending Chains for Partial Difference Polynomial Systems
Computer Mathematics | 2009-01-29 | Paper |
| scientific article; zbMATH DE number 5494027 (Why is no real title available?) | 2009-01-20 | Paper |
Rational solutions of ordinary difference equations
Journal of Symbolic Computation | 2008-10-22 | Paper |
Decomposition of ordinary differential polynomials
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
Journal of Symbolic Computation | 2007-10-23 | Paper |
The proper parametrization of a special class of rational parametric equations
Journal of Systems Science and Complexity | 2007-05-24 | Paper |
Geometric constraint solving with geometric transformation
Science in China. Series F | 2007-02-20 | Paper |
WELL-CONSTRAINED COMPLETION AND DECOMPOSITION FOR UNDER-CONSTRAINED GEOMETRIC CONSTRAINT PROBLEMS
International Journal of Computational Geometry & Applications | 2007-02-09 | Paper |
On the probability of the number of solutions for the P4P problem
Journal of Mathematical Imaging and Vision | 2006-11-22 | Paper |
Mathematics of Surfaces XI
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Inherently improper surface parametric supports
Computer Aided Geometric Design | 2006-10-25 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Exact special solitary solutions with compact support for the nonlinear dispersive \(K\)(\(m\), \(n\)) equations
Chaos, Solitons and Fractals | 2006-02-13 | Paper |
Computer Algebra and Geometric Algebra with Applications
Lecture Notes in Computer Science | 2005-11-29 | Paper |
Rational quadratic approximation to real algebraic curves
Computer Aided Geometric Design | 2005-09-14 | Paper |
Decomposition of differential polynomials with constant coefficients
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Rational general solutions of algebraic ordinary differential equations
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2112377 (Why is no real title available?) | 2004-10-28 | Paper |
Exact travelling wave solutions for a class of nonlinear partial differential equations
Chaos, Solitons and Fractals | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 1880793 (Why is no real title available?) | 2004-03-28 | Paper |
Implicitization of differential rational parametric equations.
Journal of Symbolic Computation | 2004-03-14 | Paper |
ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS
Computer Mathematics | 2004-01-28 | Paper |
An algorithm for solving partial differential parametric systems.
Discrete Applied Mathematics | 2004-01-26 | Paper |
Geometric constraint satisfaction using optimization methods.
CAD. Computer-Aided Design | 2003-10-14 | Paper |
| scientific article; zbMATH DE number 1782448 (Why is no real title available?) | 2002-12-03 | Paper |
| Automated reasoning in geometry | 2002-08-27 | Paper |
Automated generation of Kempe linkages for algebraic curves and surfaces
Mechanism and Machine Theory | 2002-07-02 | Paper |
| scientific article; zbMATH DE number 1745032 (Why is no real title available?) | 2002-05-23 | Paper |
New algorithms for the perspective-three-point problem
Journal of Computer Science and Technology | 2002-04-03 | Paper |
Lüroth's theorem in differential fields
Journal of Systems Science and Complexity | 2002-01-01 | Paper |
Involutive directions and new involutive divisions
Computers & Mathematics with Applications | 2001-11-12 | Paper |
| scientific article; zbMATH DE number 1263331 (Why is no real title available?) | 2001-08-28 | Paper |
| Ordering in solving systems of equations | 2001-07-12 | Paper |
A deductive database approach to automated geometry theorem proving and discovering
Journal of Automated Reasoning | 2001-06-10 | Paper |
Automated generation of Kempe linkage and its complexity
Journal of Computer Science and Technology | 2001-02-11 | Paper |
| scientific article; zbMATH DE number 1348459 (Why is no real title available?) | 1999-10-07 | Paper |
| scientific article; zbMATH DE number 1273649 (Why is no real title available?) | 1999-07-25 | Paper |
| scientific article; zbMATH DE number 1189075 (Why is no real title available?) | 1999-04-19 | Paper |
On the theory of resolvents and its applications.
Systems Science and Mathematical Sciences | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 994741 (Why is no real title available?) | 1997-07-06 | Paper |
Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
Journal of Automated Reasoning | 1997-02-20 | Paper |
Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
Annals of Mathematics and Artificial Intelligence | 1997-01-27 | Paper |
On the dimension of an arbitrary ascending chain
Chinese Science Bulletin | 1996-09-11 | Paper |
Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
Journal of Automated Reasoning | 1996-01-01 | Paper |
Machine Proofs in Geometry
Series on Applied Mathematics | 1995-12-06 | Paper |
Automated production of traditional proofs in solid geometry
Journal of Automated Reasoning | 1995-11-09 | Paper |
On the automatic derivation of a set of geometric formulae
Journal of Geometry | 1995-09-17 | Paper |
A zero structure theorem for differential parametric systems
Journal of Symbolic Computation | 1995-01-31 | Paper |
| scientific article; zbMATH DE number 500492 (Why is no real title available?) | 1994-02-24 | Paper |
Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
Journal of Automated Reasoning | 1994-01-23 | Paper |
Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
Journal of Automated Reasoning | 1994-01-23 | Paper |
| scientific article; zbMATH DE number 167286 (Why is no real title available?) | 1993-05-16 | Paper |
Implicitization of rational parametric equations
Journal of Symbolic Computation | 1993-05-16 | Paper |
On the parameterization of algebraic curves
Applicable Algebra in Engineering, Communication and Computing | 1993-01-16 | Paper |
ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES
International Journal of Computational Geometry & Applications | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 12003 (Why is no real title available?) | 1992-06-25 | Paper |
Transcendental functions and mechanical theorem proving in elementary geometries
Journal of Automated Reasoning | 1990-01-01 | Paper |
The minimal characteristic basis of a differential polynomial ideal
Chinese Science Bulletin | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4022662 (Why is no real title available?) | 1987-01-01 | Paper |
