| Publication | Date of Publication | Type |
|---|
| New developments of mathematics mechanization | 2025-01-20 | Paper |
| Proving information inequalities and identities with symbolic computation | 2024-07-18 | Paper |
| New Sparse Multivariate Polynomial Factorization Algorithms over Integers | 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 | 2023-04-26 | Paper |
| Achieving optimal adversarial accuracy for adversarial deep learning using Stackelberg games | 2022-10-12 | Paper |
| Quantum algorithm for Boolean equation solving and quantum algebraic attack on cryptosystems | 2022-04-01 | Paper |
| Deterministic sparse interpolation of black-box multivariate polynomials using Kronecker type substitutions | 2022-03-21 | Paper |
| Tropical differential Gröbner bases | 2021-06-25 | Paper |
| Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals | 2020-09-09 | Paper |
| Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs | 2020-06-15 | Paper |
| Revisit sparse polynomial interpolation based on randomized Kronecker substitution | 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 | 2020-01-21 | Paper |
| Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients | 2019-03-14 | Paper |
| Ritt-Wu characteristic set method for Laurent partial differential polynomial systems | 2019-03-06 | Paper |
| A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x]\) | 2019-02-14 | Paper |
| Binomial difference ideals | 2019-01-21 | Paper |
| An introduction to geometry expert | 2019-01-15 | Paper |
| Wen-Tsun Wu: His Life and Legacy | 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 | 2018-02-23 | Paper |
| Toric difference variety | 2017-09-06 | Paper |
| A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity | 2017-09-01 | Paper |
| Wen-Tsun Wu's academic career | 2017-06-27 | Paper |
| Sparse difference resultant | 2017-02-10 | Paper |
| Resolvent systems of difference polynomial ideals | 2017-02-03 | Paper |
| Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials | 2016-04-12 | Paper |
| On the Topology and Visualization of Plane Algebraic Curves | 2015-11-25 | Paper |
| Sparse differential resultant for Laurent differential polynomials | 2015-06-26 | Paper |
| Sparse differential resultant | 2015-06-09 | Paper |
| Multiplicity-preserving triangular set decomposition of two polynomials | 2015-04-27 | Paper |
| Time optimal feedrate generation with confined tracking error based on linear programming | 2015-04-27 | Paper |
| On functional decomposition of multivariate polynomials with differentiation and homogenization | 2015-01-27 | Paper |
| Sparse difference resultant | 2014-12-09 | Paper |
| A criterion for testing whether a difference ideal is prime | 2014-11-21 | Paper |
| Tracking error reduction in CNC machining by reshaping the kinematic trajectory | 2014-09-15 | Paper |
| Binomial Difference Ideal and Toric Difference Variety | 2014-04-29 | Paper |
| A new method to estimate the intrinsic error of CNC machining | 2013-11-19 | Paper |
| The decidability of functional decomposition problem | 2013-11-19 | Paper |
| Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form | 2013-09-04 | Paper |
| Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines | 2013-07-03 | Paper |
| Chow form for projective differential variety | 2013-05-13 | Paper |
| Discrete interpolation of G01 codes in 2D machining under bounded accelerations | 2013-04-24 | Paper |
| Certified approximation of parametric space curves with cubic \(B\)-spline curves | 2012-10-11 | Paper |
| Root isolation of zero-dimensional polynomial systems with linear univariate representation | 2012-05-23 | Paper |
| Root isolation for bivariate polynomial systems with local generic position method | 2012-05-13 | Paper |
| A brief introduction to Wen-Tsun Wu's Academic career | 2012-05-07 | Paper |
| Characteristic set algorithms for equation solving in finite fields | 2012-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3110301 | 2012-01-27 | Paper |
| Proper reparametrization for inherently improper unirational varieties | 2011-11-17 | Paper |
| Involutive characteristic sets of algebraic partial differential equation systems | 2011-06-25 | Paper |
| An Introduction to Java Geometry Expert | 2011-05-26 | Paper |
| A C-tree decomposition algorithm for 2D and 3D geometric constraint solving | 2011-03-04 | Paper |
| Geometric constraint solving with conics and linkages | 2011-03-04 | Paper |
| Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method | 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 | 2011-01-12 | Paper |
| Computation of the Probability on the Number of Solution for the P3P Problem | 2010-12-30 | Paper |
| A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers | 2010-12-14 | Paper |
| Evolutionary programming based on non-uniform mutation | 2010-09-01 | Paper |
| A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571259 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188270 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400735 | 2010-02-05 | Paper |
| Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities | 2009-11-10 | Paper |
| Decomposition of ordinary difference polynomials | 2009-09-14 | Paper |
| Applications of Computer Algebra in Solving Nonlinear Evolution Equations | 2009-07-22 | Paper |
| A Computational Approach to the New Type Solutions of Whitham–Broer–Kaup Equation in Shallow Water | 2009-07-22 | Paper |
| Conservation Laws of K ( m,n ) and mK ( m,n ) Equations | 2009-07-22 | Paper |
| Complete numerical isolation of real roots in zero-dimensional triangular systems | 2009-06-18 | Paper |
| Automated Deduction in Geometry | 2009-06-04 | Paper |
| Minimal achievable approximation ratio for MAX-MQ in finite fields | 2009-05-28 | Paper |
| A characteristic set method for ordinary difference polynomial systems | 2009-03-25 | Paper |
| Properties of Ascending Chains for Partial Difference Polynomial Systems | 2009-01-29 | Paper |
| A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals | 2009-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301656 | 2009-01-20 | Paper |
| Rational solutions of ordinary difference equations | 2008-10-22 | Paper |
| Decomposition of ordinary differential polynomials | 2008-09-10 | Paper |
| A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs | 2007-10-23 | Paper |
| The proper parametrization of a special class of rational parametric equations | 2007-05-24 | Paper |
| Geometric constraint solving with geometric transformation | 2007-02-20 | Paper |
| WELL-CONSTRAINED COMPLETION AND DECOMPOSITION FOR UNDER-CONSTRAINED GEOMETRIC CONSTRAINT PROBLEMS | 2007-02-09 | Paper |
| On the probability of the number of solutions for the P4P problem | 2006-11-22 | Paper |
| Mathematics of Surfaces XI | 2006-10-25 | Paper |
| Inherently improper surface parametric supports | 2006-10-25 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| Exact special solitary solutions with compact support for the nonlinear dispersive \(K\)(\(m\), \(n\)) equations | 2006-02-13 | Paper |
| Computer Algebra and Geometric Algebra with Applications | 2005-11-29 | Paper |
| Rational quadratic approximation to real algebraic curves | 2005-09-14 | Paper |
| Decomposition of differential polynomials with constant coefficients | 2005-03-14 | Paper |
| Rational general solutions of algebraic ordinary differential equations | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823871 | 2004-10-28 | Paper |
| Exact travelling wave solutions for a class of nonlinear partial differential equations | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798728 | 2004-03-28 | Paper |
| Implicitization of differential rational parametric equations. | 2004-03-14 | Paper |
| ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS | 2004-01-28 | Paper |
| An algorithm for solving partial differential parametric systems. | 2004-01-26 | Paper |
| Geometric constraint satisfaction using optimization methods. | 2003-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4545702 | 2002-12-03 | Paper |
| Automated reasoning in geometry | 2002-08-27 | Paper |
| Automated generation of Kempe linkages for algebraic curves and surfaces | 2002-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531852 | 2002-05-23 | Paper |
| New algorithms for the perspective-three-point problem | 2002-04-03 | Paper |
| Lüroth's theorem in differential fields | 2002-01-01 | Paper |
| Involutive directions and new involutive divisions | 2001-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234209 | 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 | 2001-06-10 | Paper |
| Automated generation of Kempe linkage and its complexity | 2001-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264711 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237379 | 1999-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838777 | 1999-04-19 | Paper |
| On the theory of resolvents and its applications. | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126572 | 1997-07-06 | Paper |
| Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles | 1997-02-20 | Paper |
| Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems | 1997-01-27 | Paper |
| On the dimension of an arbitrary ascending chain | 1996-09-11 | Paper |
| Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation | 1996-01-01 | Paper |
| Machine Proofs in Geometry | 1995-12-06 | Paper |
| Automated production of traditional proofs in solid geometry | 1995-11-09 | Paper |
| On the automatic derivation of a set of geometric formulae | 1995-09-17 | Paper |
| A zero structure theorem for differential parametric systems | 1995-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279027 | 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 | 1994-01-23 | Paper |
| Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving | 1994-01-23 | Paper |
| Implicitization of rational parametric equations | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4034331 | 1993-05-16 | Paper |
| On the parameterization of algebraic curves | 1993-01-16 | Paper |
| ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974709 | 1992-06-25 | Paper |
| Transcendental functions and mechanical theorem proving in elementary geometries | 1990-01-01 | Paper |
| The minimal characteristic basis of a differential polynomial ideal | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765261 | 1987-01-01 | Paper |
