| Publication | Date of Publication | Type |
|---|
Self-evident automated geometric theorem proving based on complex number identity
Journal of Automated Reasoning | 2024-02-06 | Paper |
Proximity‐Effect‐Induced Superconductivity in Nb/Sb2Te3‐Nanoribbon/Nb Junctions
Annalen der Physik | 2023-11-13 | Paper |
CWOA: a novel complex-valued encoding whale optimization algorithm
Mathematics and Computers in Simulation | 2023-06-26 | Paper |
| scientific article; zbMATH DE number 7478116 (Why is no real title available?) | 2022-02-22 | Paper |
| scientific article; zbMATH DE number 7478037 (Why is no real title available?) | 2022-02-22 | Paper |
| scientific article; zbMATH DE number 7478073 (Why is no real title available?) | 2022-02-22 | Paper |
Automated discovery of geometric theorems based on vector equations
Journal of Automated Reasoning | 2021-11-23 | Paper |
Nature-inspired approach: an enhanced whale optimization algorithm for global optimization
Mathematics and Computers in Simulation | 2021-04-07 | Paper |
Path planning for autonomous underwater vehicle based on an enhanced water wave optimization algorithm
Mathematics and Computers in Simulation | 2021-03-06 | Paper |
Self-evident automated proving based on point geometry from the perspective of Wu's method identity
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
An introduction to geometry expert
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Exact polynomial factorization by approximate high degree algebraic numbers
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
Finding exact minimal polynomial by approximations
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
| Multi-class probabilistic extreme learning machine and its application in remaining useful life prediction | 2016-08-10 | Paper |
Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots
Journal of Systems Science and Complexity | 2015-04-27 | Paper |
| The set of \(m\)-th equal partition points of \(n\)-simplex and decision of the zero polynomial | 2015-02-11 | Paper |
| A note on fixed point free automorphisms of groups related to finite fields | 2014-09-13 | Paper |
Parallel computation of real solving bivariate polynomial systems by zero-matching method
Applied Mathematics and Computation | 2014-06-03 | Paper |
A review and prospect of readable machine proofs for geometry theorems
Journal of Systems Science and Complexity | 2014-03-18 | Paper |
Obtaining exact interpolation multivariate polynomial by approximation
Journal of Systems Science and Complexity | 2013-01-31 | Paper |
A complete algorithm to find exact minimal polynomial by approximations
International Journal of Computer Mathematics | 2013-01-18 | Paper |
Reconstructing a minimal polynomial from approximate algebraic numbers
Journal of Systems Science and Mathematical Sciences | 2012-10-05 | Paper |
| The expansion of real forms on the simplex and applications | 2012-09-13 | Paper |
Readable machine proofs for mass point geometry
Journal of Computer Applications | 2012-08-30 | Paper |
| A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra | 2012-01-27 | Paper |
Automated generation of readable proofs for constructive geometry statements with the mass point method
Automated Deduction in Geometry | 2011-11-25 | Paper |
| Preliminary study on the basis of geometric algebra from a new perspective | 2011-02-05 | Paper |
| Detecting Simultaneous Integer Relations for Several Real Vectors | 2010-10-10 | Paper |
| Exact Bivariate Polynomial Factorization in Q by Approximation of Roots | 2010-08-20 | Paper |
| Automatic theorem proving for three decades | 2010-07-08 | Paper |
| Axiomatic method for the definition of definite integral | 2008-08-06 | Paper |
Obtaining exact value by approximate computations
Science in China. Series A | 2007-12-19 | Paper |
| Multivariate Polynomial Factorization by Interpolation Method | 2007-01-24 | Paper |
| An Improved Algorithm for Recovering Exact Value from its Approximation | 2007-01-24 | Paper |
Computer Algebra and Geometric Algebra with Applications
Lecture Notes in Computer Science | 2005-11-29 | Paper |
| scientific article; zbMATH DE number 2219627 (Why is no real title available?) | 2005-10-27 | Paper |
On number of circles intersected by a line
Journal of Combinatorial Theory. Series A | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1860738 (Why is no real title available?) | 2003-01-28 | Paper |
The educational software for chemistry based on automated reasoning
Systems Science and Mathematical Sciences | 2002-06-02 | Paper |
| scientific article; zbMATH DE number 1263331 (Why is no real title available?) | 2001-08-28 | Paper |
A deductive database approach to automated geometry theorem proving and discovering
Journal of Automated Reasoning | 2001-06-10 | Paper |
A complete discrimination system for polynomials with complex coefficients and its automatic generation
Science in China. Series E | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1465122 (Why is no real title available?) | 2000-06-26 | Paper |
| scientific article; zbMATH DE number 1189075 (Why is no real title available?) | 1999-04-19 | 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 |
| scientific article; zbMATH DE number 850969 (Why is no real title available?) | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 847114 (Why is no real title available?) | 1996-02-25 | 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 |
| scientific article; zbMATH DE number 800143 (Why is no real title available?) | 1995-09-25 | Paper |
A criterion for dependency of algebraic equations with applications to automated theorem proving
Science in China. Series A | 1995-07-03 | Paper |
| scientific article; zbMATH DE number 713445 (Why is no real title available?) | 1995-05-02 | Paper |
| scientific article; zbMATH DE number 622670 (Why is no real title available?) | 1995-03-05 | Paper |
The realization of elementary configurations in Euclidean space
Science in China. Series A | 1995-01-17 | Paper |
A note on Wu's non-degenerate condition
Chinese Science Bulletin | 1993-08-17 | Paper |
| scientific article; zbMATH DE number 169536 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 95106 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 95107 (Why is no real title available?) | 1993-01-16 | Paper |
The criterion algorithm of relation of implication between periodic orbits. I
Applied Mathematics and Mechanics. (English Edition) | 1992-06-26 | Paper |
Converse theorems of convexity for Bernstein polynomials over triangles
Journal of Approximation Theory | 1992-06-25 | Paper |
What can we do with only a pair of rusty compasses?
Geometriae Dedicata | 1991-01-01 | Paper |
The parallel numerical method of mechanical theorem proving
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4143100 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4133164 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4058904 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4015694 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4054584 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4022038 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4034716 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3933916 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4062053 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4044790 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4134928 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3947194 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3938101 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3897702 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4007587 (Why is no real title available?) | 1985-01-01 | Paper |
Metric spaces which cannot be isometrically embedded in Hilbert space
Bulletin of the Australian Mathematical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3840529 (Why is no real title available?) | 1983-01-01 | Paper |
A generalisation to several dimensions of the Neuberg-Pedoe inequality, with applications
Bulletin of the Australian Mathematical Society | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3838826 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3832764 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3822566 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3776524 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827090 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3772453 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3798573 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3822567 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3826644 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3759044 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3714486 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3838814 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3827089 (Why is no real title available?) | 1980-01-01 | Paper |
