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

Factorizations for a class of multivariate polynomial matrices., , and . Multidimens. Syst. Signal Process., 31 (3): 989-1004 (2020)On General Factorization Problems of n-D Polynomial Matrices., , , and . IEEE Trans. Circuits Syst. II Express Briefs, 70 (3): 1219-1223 (March 2023)On the Construction of Involutory MDS Matrices over \(F_2^m\)., , and . J. Syst. Sci. Complex., 33 (3): 836-848 (2020)Hilbert Problem 15 and Ritt-Wu Method (II)., and . J. Syst. Sci. Complex., 33 (6): 2124-2138 (2020)New Results on the Equivalence of Bivariate Polynomial Matrices., , , and . J. Syst. Sci. Complex., 36 (1): 77-95 (February 2023)Semantic segmentation of microscopic neuroanatomical data by combining topological priors with encoder-decoder deep networks., , , , , , , , , and 3 other author(s). Nat. Mach. Intell., 2 (10): 585-594 (2020)Directionally Controlled Time-of-Flight Ranging for Mobile Sensing Platforms., , , and . Robotics: Science and Systems, (2018)An Integrated Forward-View 2-Axis Mems Scanner for Compact 3D Lidar., , , , , and . NEMS, page 185-188. IEEE, (2018)A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases., , and . J. Syst. Sci. Complex., 32 (1): 234-255 (2019)Solving Multivariate Polynomial Matrix Diophantine Equations with Gröbner Basis Method., , and . J. Syst. Sci. Complex., 35 (1): 413-426 (2022)