| Publication | Date of Publication | Type |
|---|
Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization
Annals of Mathematics and Artificial Intelligence | 2026-01-19 | Paper |
Jacobi stability analysis for systems of ODEs with symbolic computation
Journal of Symbolic Computation | 2025-12-02 | Paper |
| Comprehensive characteristic decomposition of parametric polynomial systems | 2025-01-20 | Paper |
Zero-Hopf bifurcation of limit cycles in certain differential systems
Bulletin des Sciences Mathématiques | 2024-08-23 | Paper |
| Geometry machines: from AI to SMC | 2024-06-21 | Paper |
: A Linear Algebra Textbook System
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
On W-characteristic sets of lexicographic Gröbner bases
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
SMS Nanning and RWTH Aachen: in memory of Vladimir Gerdt (1947--2021)
Mathematics in Computer Science | 2022-12-14 | Paper |
Symbolic computation for the qualitative theory of differential equations
Acta Mathematica Scientia. Series B. (English Edition) | 2022-10-12 | Paper |
A strategy for speeding-up the computation of characteristic sets
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
| Zero-Hopf Bifurcation of Limit Cycles in Certain Differential Systems | 2022-05-28 | Paper |
Characteristic decomposition of polynomial sets
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
A framework for improving uniformity of parameterizations of curves
Science China Information Sciences | 2021-12-15 | Paper |
The second discriminant of a univariate polynomial
Science China. Mathematics | 2021-07-08 | Paper |
On \(n\)-sectors of the angles of an arbitrary triangle
Mathematics in Computer Science | 2021-02-25 | Paper |
Computing strong regular characteristic pairs with Gröbner bases
Journal of Symbolic Computation | 2021-02-18 | Paper |
| Continuous semi-flows with the average-shadowing property | 2020-10-27 | Paper |
Decomposition of polynomial sets into characteristic pairs
Mathematics of Computation | 2020-04-08 | Paper |
| Firefly algorithm for min-max colored traveling salesman problem | 2020-01-22 | Paper |
Algebraic factoring and geometry theorem proving
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Retrieving geometric information from images: the case of hand-drawn diagrams
Data Mining and Knowledge Discovery | 2019-05-03 | Paper |
Characteristic decomposition: from regular sets to normal sets
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
GEOTHER: A geometry theorem prover
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Data Throughputs of Noise-Limited MIMO Cellular Systems
IEEE Transactions on Signal Processing | 2018-06-27 | Paper |
On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
Mathematics in Computer Science | 2017-07-25 | Paper |
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Searching for geometric theorems using features retrieved from diagrams
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
\textsf{ImUp}: a Maple package for uniformity-improved reparameterization of plane curves
Computer Mathematics | 2016-04-12 | Paper |
Discovering geometric theorems from scanned and photographed images of diagrams
Automated Deduction in Geometry | 2015-11-11 | Paper |
Automated generation of geometric theorems from images of diagrams
Annals of Mathematics and Artificial Intelligence | 2015-07-27 | Paper |
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Formalization and specification of geometric knowledge objects
Mathematics in Computer Science | 2015-02-04 | Paper |
Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
Journal of Mathematical Economics | 2014-10-22 | Paper |
Opengeo: an open geometric knowledge base
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Algebraic analysis of stability and bifurcation of a self-assembling micelle system
Applied Mathematics and Computation | 2014-06-27 | Paper |
Improving angular speed uniformity by reparameterization
Computer Aided Geometric Design | 2014-04-04 | Paper |
| Weakly \(SS\)-quasinormally supplemented subgroups of finite groups. | 2014-02-28 | Paper |
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization
Automated Deduction in Geometry | 2013-09-20 | Paper |
Stability analysis for discrete biological models using algebraic methods
Mathematics in Computer Science | 2013-08-23 | Paper |
| Simple decomposition of polynomial sets over finite fields | 2013-06-20 | Paper |
Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
Theoretical Computer Science | 2013-02-19 | Paper |
A new algorithmic scheme for computing characteristic sets
Journal of Symbolic Computation | 2013-01-10 | Paper |
Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems
International Journal of Control | 2012-12-27 | Paper |
Improving angular speed uniformity by optimal \(C ^{0}\) piecewise reparameterization
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases
Computer Aided Geometric Design | 2012-06-11 | Paper |
| The rotation surfaces with principal curvature satisfying \(\frac 1{\kappa_1}-\frac 1{\kappa_2}=c\) in \(\mathbb R^3\) | 2012-01-27 | Paper |
Solution formulas for cubic equations without or with constraints
Journal of Symbolic Computation | 2011-06-29 | Paper |
On the design and implementation of a geometric knowledge base
Automated Deduction in Geometry | 2011-05-26 | Paper |
Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
Computers & Mathematics with Applications | 2011-03-19 | Paper |
| scientific article; zbMATH DE number 5679828 (Why is no real title available?) | 2010-03-10 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
Algebraic Biology | 2009-02-03 | Paper |
Solving Dynamic Geometric Constraints Involving Inequalities
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Algebraic approaches to stability analysis of biological systems
Mathematics in Computer Science | 2008-05-27 | Paper |
Towards an Electronic Geometry Textbook
Automated Deduction in Geometry | 2008-04-01 | Paper |
A simple method for implicitizing rational curves and surfaces
Journal of Symbolic Computation | 2007-08-24 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2247473 (Why is no real title available?) | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2110642 (Why is no real title available?) | 2004-10-26 | Paper |
Unmixed and prime decomposition of radicals of polynomial ideals
ACM SIGSAM Bulletin | 2004-09-01 | Paper |
| scientific article; zbMATH DE number 1961548 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1795751 (Why is no real title available?) | 2003-07-08 | Paper |
Computing triangular systems and regular systems
Journal of Symbolic Computation | 2003-03-09 | Paper |
| scientific article; zbMATH DE number 1860740 (Why is no real title available?) | 2003-01-28 | Paper |
| scientific article; zbMATH DE number 1745039 (Why is no real title available?) | 2002-05-23 | Paper |
Coherent, regular and simple systems in zero decompositions of partial differential systems.
Systems Science and Mathematical Sciences | 2002-03-11 | Paper |
``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
The Mathematical Intelligencer | 2001-11-18 | Paper |
| scientific article; zbMATH DE number 1421059 (Why is no real title available?) | 2001-09-13 | Paper |
| Subresultants with the Bézout matrix | 2001-07-12 | Paper |
| scientific article; zbMATH DE number 1542850 (Why is no real title available?) | 2001-02-26 | Paper |
Polynomial systems from certain differential equations
Journal of Symbolic Computation | 2000-11-14 | Paper |
A class of cubic systems with two centers or two foci
Journal of Mathematical Analysis and Applications | 2000-08-28 | Paper |
| scientific article; zbMATH DE number 1419241 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1421057 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1389649 (Why is no real title available?) | 2000-01-17 | Paper |
Elimination methods
Texts & Monographs in Symbolic Computation | 1999-12-08 | Paper |
| scientific article; zbMATH DE number 1273712 (Why is no real title available?) | 1999-08-11 | Paper |
| scientific article; zbMATH DE number 1303337 (Why is no real title available?) | 1999-06-17 | Paper |
Decomposing polynomial systems into simple systems
Journal of Symbolic Computation | 1999-06-07 | Paper |
| scientific article; zbMATH DE number 1189073 (Why is no real title available?) | 1999-01-05 | Paper |
| scientific article; zbMATH DE number 1222429 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 1163428 (Why is no real title available?) | 1998-08-10 | Paper |
Elimination procedures for mechanical theorem proving in geometry
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
| scientific article; zbMATH DE number 1185962 (Why is no real title available?) | 1996-01-01 | Paper |
| scientific article; zbMATH DE number 778203 (Why is no real title available?) | 1995-07-24 | Paper |
| scientific article; zbMATH DE number 778202 (Why is no real title available?) | 1995-07-24 | Paper |
Differentiation and integration of indefinite summations with respect to indexed variables - some rules and applications
Journal of Symbolic Computation | 1995-04-04 | Paper |
An elimination method for polynomial systems
Journal of Symbolic Computation | 1994-12-18 | Paper |
| scientific article; zbMATH DE number 421655 (Why is no real title available?) | 1994-10-30 | Paper |
Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
Computer Aided Geometric Design | 1993-01-18 | Paper |
Mechanical manipulation for a class of differential systems
Journal of Symbolic Computation | 1992-06-28 | Paper |
The structure of LaSalle's invariant set for Lotka-Volterra systems
Science in China. Series A | 1992-06-27 | Paper |
On the conditions of Kukles for the existence of a Centre
Bulletin of the London Mathematical Society | 1990-01-01 | Paper |
A new theorem discovered by computer prover
Journal of Geometry | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164190 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4101642 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4079376 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4104382 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4021099 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3968702 (Why is no real title available?) | 1986-01-01 | Paper |
