Author of the publication

Parallel computation of determinants of matrices with multivariate polynomial entries.

, and . Sci. China Inf. Sci., 56 (11): 1-16 (2013)

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

Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5., , , , and . Ann. Math. Artif. Intell., 91 (6): 865-898 (December 2023)Automatic Generation of Mathematical Expressions of Printed Chinese Characters., , and . Computational Intelligence, page 404-408. IASTED/ACTA Press, (2005)Constructing a Tetrahedron with Prescribed Heights and Widths., and . Automated Deduction in Geometry, volume 4869 of Lecture Notes in Computer Science, page 203-211. Springer, (2006)A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 73-86. Springer, (1997)Labelling algorithms for paired-domination problems in block and interval graphs., , and . J. Comb. Optim., 19 (4): 457-470 (2010)Vertices in all minimum paired-dominating sets of block graphs., , and . J. Comb. Optim., 24 (3): 176-191 (2012)Differential elimination with Dixon resultants., , and . Appl. Math. Comput., 218 (21): 10679-10690 (2012)Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation., , , and . Sci. China Inf. Sci., 60 (3): 39102 (2017)Analyzing ultimate positivity for solvable systems., , , and . Theor. Comput. Sci., (2016)Hardness results and approximation algorithms for (weighted) paired-domination in graphs., , and . Theor. Comput. Sci., 410 (47-49): 5063-5071 (2009)