| Publication | Date of Publication | Type |
|---|
Global optimization for Heilbronn problem of convex polygons based on bilinear matrix inequalities solving
Journal of Systems Science and Complexity | 2026-01-30 | Paper |
An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints
Information and Computation | 2025-12-15 | Paper |
| A quantum-inspired mechanical method for proving of Ramsey's theorem by symbolic computation over the finite field \(GF(2)\) | 2025-05-23 | Paper |
| Maximizing the sum of the distances between four points on the unit hemisphere | 2024-12-17 | Paper |
A probabilistic algorithm for verification of geometric theorems
Algorithmic Aspects in Information and Management | 2024-02-23 | Paper |
On the structure of discrete metric spaces isometric to circles
Algorithmic Aspects in Information and Management | 2024-02-23 | Paper |
| On the maximum of the sum of the distances of four points on the hemisphere | 2024-02-12 | Paper |
| Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints | 2024-02-01 | Paper |
Local critical analysis of inequalities related to the sum of distances between \(n\) points on the unit hemisphere for \(n=4,5\)
Annals of Mathematics and Artificial Intelligence | 2024-01-08 | Paper |
Heilbronn's problem of eight points in the square
Journal of Systems Science and Complexity | 2023-09-22 | Paper |
Further inequalities and properties of \(p\)-inner parallel bodies
Canadian Journal of Mathematics | 2022-05-12 | Paper |
| An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation | 2022-03-25 | Paper |
A mechanical proof of the C. T. Yang's Theorem related to a property of derived sets in general topology
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
Inequalities for quermassintegrals of (new) p-parallel bodies
Mathematical Inequalities & Applications | 2022-02-17 | Paper |
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
Journal of Symbolic Computation | 2021-08-05 | Paper |
On the number of congruent classes of the tetrahedra determined by given volume, circumradius and face areas
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
| Determining the Heilbronn configuration of seven points in triangles via symbolic computation | 2020-04-29 | Paper |
| The Fermat-Torricelli problem on sphere with Euclidean metric | 2019-10-02 | Paper |
| A mechanization of the impossible puzzle raised by Hans Freudenthal from intelligent agents point of view | 2019-10-02 | Paper |
A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
On Brunn-Minkowski type inequality
The Journal of Nonlinear Sciences and Applications | 2019-07-22 | Paper |
Computing sparse GCD of multivariate polynomials via polynomial interpolation
Journal of Systems Science and Complexity | 2018-11-08 | Paper |
Resultant elimination via implicit equation interpolation
Journal of Systems Science and Complexity | 2018-01-25 | Paper |
Some inequalities for radial Blaschke-Minkowski homomorphisms
Czechoslovak Mathematical Journal | 2017-09-06 | Paper |
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing
Journal of Global Optimization | 2017-05-22 | Paper |
Safety verification of nonlinear systems based on rational invariants
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation | 2016-09-29 | Paper |
Graphs with unique minimum paired-dominating set.
Ars Combinatoria | 2016-05-04 | Paper |
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations
Computer Mathematics | 2016-04-12 | Paper |
A cognitive network for oracle bone characters related to animals
International Journal of Modern Physics B | 2016-04-06 | Paper |
| A geometry prover based on a combined probabilistic checking model | 2016-01-15 | Paper |
Analyzing ultimate positivity for solvable systems
Theoretical Computer Science | 2015-12-08 | Paper |
An open problem on metric invariants of tetrahedra
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
An upper bound of Heilbronn number for eight points in triangles
Journal of Combinatorial Optimization | 2015-01-21 | Paper |
How to draw a better approximate ellipse with eight piecewise circular arcs?
Mathematics in Practice and Theory | 2014-11-03 | Paper |
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
Journal of Systems Science and Complexity | 2014-01-27 | Paper |
Vertices in all minimum paired-dominating sets of block graphs
Journal of Combinatorial Optimization | 2013-01-03 | Paper |
Differential elimination with Dixon resultants
Applied Mathematics and Computation | 2012-09-13 | Paper |
| A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra | 2012-01-27 | Paper |
On the Heilbronn Optimal Configuration of Seven Points in the Square
Automated Deduction in Geometry | 2011-05-26 | Paper |
| scientific article; zbMATH DE number 5850072 (Why is no real title available?) | 2011-02-10 | Paper |
TERMINATION ANALYSIS OF LINEAR LOOPS
International Journal of Foundations of Computer Science | 2011-01-19 | Paper |
A linear-time algorithm for paired-domination problem in strongly chordal graphs
Information Processing Letters | 2010-09-02 | Paper |
Labelling algorithms for paired-domination problems in block and interval graphs
Journal of Combinatorial Optimization | 2010-08-13 | Paper |
Real root isolation of multi-exponential polynomials with application
WALCOM: Algorithms and Computation | 2010-02-09 | Paper |
Automatic generation of non-linear loop invariants
Journal of Computer Applications | 2009-11-22 | Paper |
Constructive characterizations of \( (\gamma_p,\gamma)\)-and \( (\gamma_p, \gamma_{pr})\)-trees
Applied Mathematics. Series B (English Edition) | 2009-11-11 | Paper |
Hardness results and approximation algorithms for (weighted) paired-domination in graphs
Theoretical Computer Science | 2009-11-06 | Paper |
Distance paired-domination problems on subclasses of chordal graphs
Theoretical Computer Science | 2009-11-06 | Paper |
Retrieval of plane geometry resource database based on dynamic geometry
Journal of Computer Applications | 2009-10-26 | Paper |
| Generalization of on Erdös question under conic | 2009-03-06 | Paper |
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?
Computer Mathematics | 2009-01-29 | Paper |
| A new mechanical algorithm for solving nonlinear equations | 2008-08-26 | Paper |
Automated and readable simplification of trigonometric expressions
Mathematical and Computer Modelling | 2008-04-17 | Paper |
Constructing a Tetrahedron with Prescribed Heights and Widths
Automated Deduction in Geometry | 2008-04-01 | Paper |
Solution to the generalized champagne problem on simultaneous stabilization of linear systems
Science in China. Series F | 2007-12-06 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 1941204 (Why is no real title available?) | 2003-06-29 | Paper |
A recursive algorithm for constructing generalized Sturm sequence
Science in China. Series E | 2002-05-08 | Paper |
| Equi-Cevaline points of triangles | 2002-03-27 | Paper |
Weak centers and bifurcation of critical periods in reversible cubic systems
Computers & Mathematics with Applications | 2001-01-14 | Paper |
| scientific article; zbMATH DE number 895367 (Why is no real title available?) | 1998-01-25 | Paper |
| scientific article; zbMATH DE number 895366 (Why is no real title available?) | 1998-01-18 | Paper |
A complete discrimination system for polynomials
Science in China. Series E | 1997-03-06 | Paper |
| scientific article; zbMATH DE number 815758 (Why is no real title available?) | 1995-11-14 | Paper |
| scientific article; zbMATH DE number 713445 (Why is no real title available?) | 1995-05-02 | Paper |
| scientific article; zbMATH DE number 169536 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 4143100 (Why is no real title available?) | 1990-01-01 | Paper |
On a geometric inequality
Chinese Science Bulletin | 1990-01-01 | Paper |
