Improving Adversarial Robustness of Deep Neural Networks via Linear Programming | 0 | 0.34 | 2022 |
On Geometric Property of Fermat-Torricelli Points on Sphere. | 0 | 0.34 | 2021 |
A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems. | 0 | 0.34 | 2021 |
Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere. | 0 | 0.34 | 2021 |
A Maple Exploration of Problem 6 of the IMO 88. | 0 | 0.34 | 2020 |
The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric - A Symbolic Solution with Maple. | 0 | 0.34 | 2019 |
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). | 0 | 0.34 | 2018 |