Author of the publication

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method.

, , and . J. Autom. Reason., 59 (3): 331-344 (2017)

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

Dual Context-Guided Continuous Prompt Tuning for Few-Shot Learning., , , , , and . ACL (Findings), page 79-84. Association for Computational Linguistics, (2022)Chinese character structure analysis based on complex networks, and . Physica A: Statistical Mechanics and its Applications, (Jul 1, 2007)Efficient routing on multilayered communication networks, , and . CoRR, (2013)Corrections to "Efficient Motion Vector Interpolation for Error Concealment of H.264/AVC" Mar 11 75-80., , and . TBC, 57 (2): 326 (2011)Inter-annual and inter-decadal variability of early- and late-summer precipitation over northeast China and their background circulation, , , , and . International Journal of Climatology, (Mar 14, 2018)State Estimation for Dynamic Systems With Unknown Process Inputs and Applications., , and . IEEE Access, (2018)Multiresolution and Wide-Scope Depth Estimation Using a Dual-PTZ-Camera System., and . IEEE Trans. Image Processing, 18 (3): 677-682 (2009)Minimax Robust Optimal Estimation Fusion in Distributed Multisensor Systems With Uncertainties., , , and . IEEE Signal Process. Lett., 17 (9): 811-814 (2010)Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks., , , and . ISNN (1), volume 6063 of Lecture Notes in Computer Science, page 152-160. Springer, (2010)Optimization of Centralized Power Control by Genetic Algorithm in a DS-CDMA Cellular System., , , and . ICNC (3), volume 3612 of Lecture Notes in Computer Science, page 684-687. Springer, (2005)