Author of the publication

Automated Discovering and Proving for Geometric Inequalities.

, , and . Automated Deduction in Geometry, volume 1669 of Lecture Notes in Computer Science, page 30-46. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Completeness of the WDS method in Checking Positivity of Integral Forms, and . CoRR, (2009)Fixed-resolution representation network for human pose estimation., and . Multim. Syst., 28 (5): 1597-1609 (2022)基于高斯分布的大气光估计算法 (Estimation Algorithm of Atmospheric Light Based on Gaussian Distribution)., and . 计算机科学, 45 (4): 301-305 (2018)Some geometric properties of successive difference substitutions., , and . Sci. China Inf. Sci., 54 (4): 778-786 (2011)A complete algorithm for automated discovering of a class of inequality-type theorems., , and . Sci. China Ser. F Inf. Sci., 44 (1): 33-49 (2001)Drug treatments for covid-19: living systematic review and network meta-analysis, , , , , , , , , and 48 other author(s). BMJ, (2020)Spatial-Temporal Pyramid Graph Reasoning for Action Recognition., , , , , and . IEEE Trans. Image Process., (2022)Heuristic adaptive threshold detection method for neuronal spikes., , , and . IET Signal Process., (April 2023)Design of Parametric Controller for Two-Dimensional Polynomial Systems Described by the Fornasini-Marchesini Second Model., and . IEEE Access, (2019)Multi-Objective Robust Control for Vehicle Active Suspension Systems via Parameterized Controller., , , and . IEEE Access, (2020)