Some results in combinatorial geometry

von Zeng, Zhenbing
Veröffentlicht 1993

Labelling algorithms for paired-domination problems in block and interval graphs

von Chen, Lei
Veröffentlicht in Journal of combinatorial optimization (2010)

The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple

von Guo, Xiaofeng
Veröffentlicht in Maple Conference (3. : 2019 : Waterloo, Ontario) Maple in mathematics education and research (2020)

On Goldberg's conjecture : computing the first several Heilbronn numbers

von Yang, Lu
Veröffentlicht 1991

On exact values of Heilbronn numbers for triangular regions

von Yang, Lu
Veröffentlicht 1991

On Goldberg's conjecture : computing the first several Heilbronn numbers

von Yang, Lu
Veröffentlicht 1991

On exact values of Heilbronn numbers for triangular regions

von Yang, Lu
Veröffentlicht 1991

Vertices in all minimum paired-dominating sets of block graphs

von Chen, Lei
Veröffentlicht in Journal of combinatorial optimization (2012)

On Geometric Property of Fermat-Torricelli Points on Sphere

von Zeng, Zhenbing
Veröffentlicht in CASC (23. : 2021 : Sotschi; Online) Computer algebra in scientific computing (2021)

An Isometric Embedding of the Impossible Triangle into the Euclidean Space of Lowest Dimension

von Zeng, Zhenbing
Veröffentlicht in Maple Conference (4. : 2020 : Online) Maple in mathematics education and research (2021)

A Heilbronn Type Inequality for Plane Nonagons

von Zeng, Zhenbing
Veröffentlicht in Maple Conference (3. : 2019 : Waterloo, Ontario) Maple in mathematics education and research (2020)

Improving Adversarial Robustness of Deep Neural Networks via Linear Programming

von Tang, Xiaochao
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

A Maple Exploration of Problem 6 of the IMO 88

von Zeng, Zhenbing
Veröffentlicht in Maple Conference (4. : 2020 : Online) Maple in mathematics education and research (2021)

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation

von Yang, Zhengfeng
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)