| Publication | Date of Publication | Type |
|---|
| Self-evident automated geometric theorem proving based on complex number identity | 2024-02-06 | Paper |
| Proximity‐Effect‐Induced Superconductivity in Nb/Sb2Te3‐Nanoribbon/Nb Junctions | 2023-11-13 | Paper |
| CWOA: a novel complex-valued encoding whale optimization algorithm | 2023-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5032681 | 2022-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5035533 | 2022-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5035585 | 2022-02-22 | Paper |
| Automated discovery of geometric theorems based on vector equations | 2021-11-23 | Paper |
| Nature-inspired approach: an enhanced whale optimization algorithm for global optimization | 2021-04-07 | Paper |
| Path planning for autonomous underwater vehicle based on an enhanced water wave optimization algorithm | 2021-03-06 | Paper |
| Self-evident automated proving based on point geometry from the perspective of Wu's method identity | 2019-03-06 | Paper |
| An introduction to geometry expert | 2019-01-15 | Paper |
| Exact polynomial factorization by approximate high degree algebraic numbers | 2017-02-03 | Paper |
| Finding exact minimal polynomial by approximations | 2017-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993750 | 2016-08-10 | Paper |
| Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots | 2015-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5499089 | 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 | 2014-06-03 | Paper |
| A review and prospect of readable machine proofs for geometry theorems | 2014-03-18 | Paper |
| Obtaining exact interpolation multivariate polynomial by approximation | 2013-01-31 | Paper |
| A complete algorithm to find exact minimal polynomial by approximations | 2013-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2917058 | 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 | 2012-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3110290 | 2012-01-27 | Paper |
| Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method | 2011-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3073344 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3571252 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518099 | 2008-08-06 | Paper |
| Obtaining exact value by approximate computations | 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 | 2005-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698400 | 2005-10-27 | Paper |
| On number of circles intersected by a line | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790469 | 2003-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2747399 | 2002-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234209 | 2001-08-28 | Paper |
| A deductive database approach to automated geometry theorem proving and discovering | 2001-06-10 | Paper |
| A complete discrimination system for polynomials with complex coefficients and its automatic generation | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486136 | 2000-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838777 | 1999-04-19 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4867574 | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864924 | 1996-02-25 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4848888 | 1995-09-25 | Paper |
| A criterion for dependency of algebraic equations with applications to automated theorem proving | 1995-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320225 | 1995-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4303118 | 1995-03-05 | Paper |
| The realization of elementary configurations in Euclidean space | 1995-01-17 | Paper |
| A note on Wu's non-degenerate condition | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038243 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4021269 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4021270 | 1993-01-16 | Paper |
| The criterion algorithm of relation of implication between periodic orbits. I | 1992-06-26 | Paper |
| Converse theorems of convexity for Bernstein polynomials over triangles | 1992-06-25 | Paper |
| What can we do with only a pair of rusty compasses? | 1991-01-01 | Paper |
| The parallel numerical method of mechanical theorem proving | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3473856 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3034560 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793762 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027902 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764807 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774603 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790311 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468226 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706093 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717832 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782479 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796316 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676732 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709507 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757270 | 1985-01-01 | Paper |
| Metric spaces which cannot be isometrically embedded in Hilbert space | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3038091 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310513 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3311052 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668386 | 1983-01-01 | Paper |
| A generalisation to several dimensions of the Neuberg-Pedoe inequality, with applications | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672990 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3952742 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956120 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743383 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668387 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672593 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941967 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310501 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672989 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906054 | 1980-01-01 | Paper |
