| Publication | Date of Publication | Type |
|---|
| A probabilistic algorithm for verification of geometric theorems | 2024-02-23 | Paper |
| On the structure of discrete metric spaces isometric to circles | 2024-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191872 | 2024-02-12 | Paper |
| Local critical analysis of inequalities related to the sum of distances between \(n\) points on the unit hemisphere for \(n=4,5\) | 2024-01-08 | Paper |
| Heilbronn's problem of eight points in the square | 2023-09-22 | Paper |
| Further inequalities and properties of p-inner parallel bodies | 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 | 2022-03-21 | Paper |
| Inequalities for quermassintegrals of (new) p-parallel bodies | 2022-02-17 | Paper |
| The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations | 2021-08-05 | Paper |
| On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas | 2020-09-10 | Paper |
| Determining the Heilbronn configuration of seven points in triangles via symbolic computation | 2020-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196274 | 2019-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5196284 | 2019-10-02 | Paper |
| A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry | 2019-10-01 | Paper |
| On Brunn-Minkowski type inequality | 2019-07-22 | Paper |
| Computing sparse GCD of multivariate polynomials via polynomial interpolation | 2018-11-08 | Paper |
| Resultant elimination via implicit equation interpolation | 2018-01-25 | Paper |
| Some inequalities for radial Blaschke-Minkowski homomorphisms | 2017-09-06 | Paper |
| Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing | 2017-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2804794 | 2016-05-04 | Paper |
| A cognitive network for oracle bone characters related to animals | 2016-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461161 | 2016-01-15 | Paper |
| Analyzing ultimate positivity for solvable systems | 2015-12-08 | Paper |
| An open problem on metric invariants of tetrahedra | 2015-07-16 | Paper |
| An upper bound of Heilbronn number for eight points in triangles | 2015-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2924294 | 2014-11-03 | Paper |
| Vertices in all minimum paired-dominating sets of block graphs | 2013-01-03 | Paper |
| Differential elimination with Dixon resultants | 2012-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3110290 | 2012-01-27 | Paper |
| On the Heilbronn Optimal Configuration of Seven Points in the Square | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075207 | 2011-02-10 | Paper |
| TERMINATION ANALYSIS OF LINEAR LOOPS | 2011-01-19 | Paper |
| A linear-time algorithm for paired-domination problem in strongly chordal graphs | 2010-09-02 | Paper |
| Labelling algorithms for paired-domination problems in block and interval graphs | 2010-08-13 | Paper |
| Real Root Isolation of Multi-Exponential Polynomials with Application | 2010-02-09 | Paper |
| Automatic generation of non-linear loop invariants | 2009-11-22 | Paper |
| Constructive characterizations of \( (\gamma_p,\gamma)\)-and \( (\gamma_p, \gamma_{pr})\)-trees | 2009-11-11 | Paper |
| Hardness results and approximation algorithms for (weighted) paired-domination in graphs | 2009-11-06 | Paper |
| Distance paired-domination problems on subclasses of chordal graphs | 2009-11-06 | Paper |
| Retrieval of plane geometry resource database based on dynamic geometry | 2009-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614397 | 2009-03-06 | Paper |
| Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method? | 2009-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3521732 | 2008-08-26 | Paper |
| Automated and readable simplification of trigonometric expressions | 2008-04-17 | Paper |
| Constructing a Tetrahedron with Prescribed Heights and Widths | 2008-04-01 | Paper |
| Solution to the generalized champagne problem on simultaneous stabilization of linear systems | 2007-12-06 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408376 | 2003-06-29 | Paper |
| A recursive algorithm for constructing generalized Sturm sequence | 2002-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2725961 | 2002-03-27 | Paper |
| Weak centers and bifurcation of critical periods in reversible cubic systems | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883379 | 1998-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883378 | 1998-01-18 | Paper |
| A complete discrimination system for polynomials | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855601 | 1995-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320225 | 1995-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038243 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3473856 | 1990-01-01 | Paper |
| On a geometric inequality | 1990-01-01 | Paper |
